C++: Correct annotation in test

jbj · jbj · commit 30b9d13a4524 · 2020-10-12T11:25:38.000+02:00
diff --git a/cpp/ql/test/library-tests/rangeanalysis/SimpleRangeAnalysis/test.c b/cpp/ql/test/library-tests/rangeanalysis/SimpleRangeAnalysis/test.c
@@ -643,11 +643,11 @@ void two_bounds_from_one_test(short ss, unsigned short us) {
 void guard_bound_out_of_range(void) {
   int i = 0;
   if (i < 0) {
-    out(i); // 0 .. 0 [BUG: is -max .. +max]
+    out(i); // unreachable [BUG: is -max .. +max]
   }
 
   unsigned int u = 0;
   if (u < 0) {
-    out(u); // 0 .. 0 [BUG: is 0 .. +max]
+    out(u); // unreachable [BUG: is 0 .. +max]
   }
 }

Original file line number	Diff line number	Diff line change
`@@ -643,11 +643,11 @@ void two_bounds_from_one_test(short ss, unsigned short us) {`
`643`	`643`	`void guard_bound_out_of_range(void) {`
`644`	`644`	`int i = 0;`
`645`	`645`	`if (i < 0) {`
`646`		`- out(i); // 0 .. 0 [BUG: is -max .. +max]`
	`646`	`+ out(i); // unreachable [BUG: is -max .. +max]`
`647`	`647`	`}`
`648`	`648`
`649`	`649`	`unsigned int u = 0;`
`650`	`650`	`if (u < 0) {`
`651`		`- out(u); // 0 .. 0 [BUG: is 0 .. +max]`
	`651`	`+ out(u); // unreachable [BUG: is 0 .. +max]`
`652`	`652`	`}`
`653`	`653`	`}`