C++: Accept semantic range analysis test changes due to extra loads in the IR

jketema · jketema · commit 8b8a2726d445 · 2023-10-19T10:45:13.000+02: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
@@ -672,7 +672,7 @@ void test17() {
   range(i); // $ range===50
 
   i = 20 + (j -= 10);
-  range(i); // $ range="==Store: ... += ... | Store: ... = ...+10" range===60
+  range(i); // $ range="==Store: ... += ... | Store: ... = ...+10" range===60 range="==Store: ... -= ...+20"
 }
 
 // Tests for unsigned multiplication.

Original file line number	Diff line number	Diff line change
`@@ -672,7 +672,7 @@ void test17() {`
`672`	`672`	`range(i); // $ range===50`
`673`	`673`
`674`	`674`	`i = 20 + (j -= 10);`
`675`		`- range(i); // $ range="==Store: ... += ... \| Store: ... = ...+10" range===60`
	`675`	`+ range(i); // $ range="==Store: ... += ... \| Store: ... = ...+10" range===60 range="==Store: ... -= ...+20"`
`676`	`676`	`}`
`677`	`677`
`678`	`678`	`// Tests for unsigned multiplication.`