C++: Accept test changes.

MathiasVP · MathiasVP · commit 68e3be187abb · 2024-07-16T13:03:22.000+01:00
diff --git a/cpp/ql/test/query-tests/Security/CWE/CWE-191/UnsignedDifferenceExpressionComparedZero/UnsignedDifferenceExpressionComparedZero.expected b/cpp/ql/test/query-tests/Security/CWE/CWE-191/UnsignedDifferenceExpressionComparedZero/UnsignedDifferenceExpressionComparedZero.expected
@@ -14,4 +14,3 @@
 | test.cpp:276:11:276:19 | ... > ... | Unsigned subtraction can never be negative. |
 | test.cpp:288:10:288:18 | ... > ... | Unsigned subtraction can never be negative. |
 | test.cpp:312:9:312:25 | ... > ... | Unsigned subtraction can never be negative. |
-| test.cpp:335:6:335:18 | ... > ... | Unsigned subtraction can never be negative. |
diff --git a/cpp/ql/test/query-tests/Security/CWE/CWE-191/UnsignedDifferenceExpressionComparedZero/test.cpp b/cpp/ql/test/query-tests/Security/CWE/CWE-191/UnsignedDifferenceExpressionComparedZero/test.cpp
@@ -332,7 +332,7 @@ void test20(int a, bool b, unsigned long c)
     x = a - c;
   }
 
-  if (a - c - x > 0) // GOOD [FALSE POSITIVE]
+  if (a - c - x > 0) // GOOD
   {
   }
 }

Original file line number	Diff line number	Diff line change
`@@ -332,7 +332,7 @@ void test20(int a, bool b, unsigned long c)`
`332`	`332`	`x = a - c;`
`333`	`333`	`}`
`334`	`334`
`335`		`- if (a - c - x > 0) // GOOD [FALSE POSITIVE]`
	`335`	`+ if (a - c - x > 0) // GOOD`
`336`	`336`	`{`
`337`	`337`	`}`
`338`	`338`	`}`