From cd65e73ade947c24f4060cd60d5067fca6cb39d4 Mon Sep 17 00:00:00 2001 From: Mathias Vorreiter Pedersen Date: Fri, 30 Sep 2022 17:04:23 +0100 Subject: [PATCH] C++: Fix database inconsistency issue from ODR violation. --- .../ir/range-analysis/SimpleRangeAnalysis_tests.cpp | 2 +- cpp/ql/test/library-tests/ir/range-analysis/test.cpp | 2 +- cpp/ql/test/library-tests/ir/range-analysis/test_util.h | 1 + 3 files changed, 3 insertions(+), 2 deletions(-) create mode 100644 cpp/ql/test/library-tests/ir/range-analysis/test_util.h 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 index d2806f995a2..38eaeab3b12 100644 --- 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 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 index 2c819885b13..5290fffc8fd 100644 --- 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 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 new file mode 100644 index 00000000000..3947dde3533 --- /dev/null +++ b/cpp/ql/test/library-tests/ir/range-analysis/test_util.h @@ -0,0 +1 @@ +template void range(T value); \ No newline at end of file