C++: Fix database inconsistency issue from ODR violation.

MathiasVP · MathiasVP · commit cd65e73ade94 · 2022-09-30T17:04:23.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
@@ -1,4 +1,4 @@
-template<typename T> void range(T);
+#include "test_util.h"
 
 struct List {
   struct List* next;
diff --git a/cpp/ql/test/library-tests/ir/range-analysis/test.cpp b/cpp/ql/test/library-tests/ir/range-analysis/test.cpp
@@ -1,4 +1,4 @@
-template<typename T> void range(T value);
+#include "test_util.h"
   int f1(int x, int y) {
     if (x < 500) {
       if (x > 400) {
diff --git a/cpp/ql/test/library-tests/ir/range-analysis/test_util.h b/cpp/ql/test/library-tests/ir/range-analysis/test_util.h
@@ -0,0 +1 @@
+template<typename T> void range(T value);

Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-template<typename T> void range(T);`
	`1`	`+#include "test_util.h"`
`2`	`2`
`3`	`3`	`struct List {`
`4`	`4`	`struct List* next;`
Original file line number	Diff line number	Diff line change
`@@ -1,4 +1,4 @@`
`1`		`-template<typename T> void range(T value);`
	`1`	`+#include "test_util.h"`
`2`	`2`	`int f1(int x, int y) {`
`3`	`3`	`if (x < 500) {`
`4`	`4`	`if (x > 400) {`
Original file line number	Diff line number	Diff line change
`@@ -0,0 +1 @@`
	`1`	`+template<typename T> void range(T value);`