Skip to content

Commit dab45c5

Browse files
committed
C++: cpp/incomplete-parity-check: medium precision
As reported in CPP-236, this query has false positives on signed integers that cannot be negative. It could possibly be improved with a local range analysis, but the query would most likely still have so many false positives that we would have to lower its precision. Under our current policy, this change will make the query hidden by default on LGTM.
1 parent 87f9ecb commit dab45c5

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

cpp/ql/src/Likely Bugs/Arithmetic/BadCheckOdd.ql

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -4,7 +4,7 @@
44
* negative numbers.
55
* @kind problem
66
* @problem.severity warning
7-
* @precision high
7+
* @precision medium
88
* @id cpp/incomplete-parity-check
99
* @tags reliability
1010
* correctness

0 commit comments

Comments
 (0)