C++: Correct test annotation.

MathiasVP · MathiasVP · commit 51d04cb5b333 · 2021-05-10T15:30:35.000+02:00
diff --git a/cpp/ql/test/query-tests/Security/CWE/CWE-190/semmle/ComparisonWithWiderType/test3.cpp b/cpp/ql/test/query-tests/Security/CWE/CWE-190/semmle/ComparisonWithWiderType/test3.cpp
@@ -3,5 +3,5 @@ void test_issue_5850(unsigned char small, unsigned int large1) {
 }
 
 void test_widening(unsigned char small, char large) {
-	for(; small < static_cast<unsigned int>(static_cast<short>(large) - 1); small++) { } // GOOD [FALSE POSITIVE]
+	for(; small < static_cast<unsigned int>(static_cast<short>(large) - 1); small++) { } // GOOD
 }

Original file line number	Diff line number	Diff line change
`@@ -3,5 +3,5 @@ void test_issue_5850(unsigned char small, unsigned int large1) {`
`3`	`3`	`}`
`4`	`4`
`5`	`5`	`void test_widening(unsigned char small, char large) {`
`6`		`- for(; small < static_cast<unsigned int>(static_cast<short>(large) - 1); small++) { } // GOOD [FALSE POSITIVE]`
	`6`	`+ for(; small < static_cast<unsigned int>(static_cast<short>(large) - 1); small++) { } // GOOD`
`7`	`7`	`}`