C++: Also add a FP test to 'OverflowStatic'.

MathiasVP · MathiasVP · commit 4d2a1ea1496f · 2023-03-21T09:50:47.000Z
diff --git a/cpp/ql/test/query-tests/Critical/OverflowStatic/test.cpp b/cpp/ql/test/query-tests/Critical/OverflowStatic/test.cpp
@@ -56,3 +56,8 @@ void f3() {
         }
     }
 }
+
+int unevaluated_test() {
+	char buffer[100];
+	return sizeof(buffer) / sizeof(buffer[101]); // GOOD [FALSE POSITIVE]
+}

Original file line number	Diff line number	Diff line change
`@@ -56,3 +56,8 @@ void f3() {`
`56`	`56`	`}`
`57`	`57`	`}`
`58`	`58`	`}`
	`59`	`+`
	`60`	`+int unevaluated_test() {`
	`61`	`+ char buffer[100];`
	`62`	`+ return sizeof(buffer) / sizeof(buffer[101]); // GOOD [FALSE POSITIVE]`
	`63`	`+}`