C++: Accept test changes.

MathiasVP · MathiasVP · commit a2c0e3606228 · 2023-03-29T14:25:05.000+01:00
diff --git a/cpp/ql/test/library-tests/ir/range-analysis/SimpleRangeAnalysis_tests.cpp b/cpp/ql/test/library-tests/ir/range-analysis/SimpleRangeAnalysis_tests.cpp
@@ -741,7 +741,7 @@ unsigned long mult_rounding() {
   range(y); // $ range===1000000003
   range(x); // $ range===1000000003
   xy = x * y;
-  range(xy); // $ range===2147483647
+  range(xy);
   return xy; // BUG: upper bound should be >= 1000000006000000009UL
 }
 

Original file line number	Diff line number	Diff line change
`@@ -741,7 +741,7 @@ unsigned long mult_rounding() {`
`741`	`741`	`range(y); // $ range===1000000003`
`742`	`742`	`range(x); // $ range===1000000003`
`743`	`743`	`xy = x * y;`
`744`		`- range(xy); // $ range===2147483647`
	`744`	`+ range(xy);`
`745`	`745`	`return xy; // BUG: upper bound should be >= 1000000006000000009UL`
`746`	`746`	`}`
`747`	`747`