From 28fec0c12951dc8a69acfb8c51c02341f33769a3 Mon Sep 17 00:00:00 2001 From: Mathias Vorreiter Pedersen Date: Tue, 27 Jan 2026 18:29:21 +0000 Subject: [PATCH] C++: Accept test changes. --- .../dataflow/dataflow-tests/test-source-sink.expected | 4 ---- .../test/library-tests/dataflow/dataflow-tests/test.cpp | 8 ++++---- 2 files changed, 4 insertions(+), 8 deletions(-) diff --git a/cpp/ql/test/library-tests/dataflow/dataflow-tests/test-source-sink.expected b/cpp/ql/test/library-tests/dataflow/dataflow-tests/test-source-sink.expected index 7b5c1cd0cf0..03a106208a5 100644 --- a/cpp/ql/test/library-tests/dataflow/dataflow-tests/test-source-sink.expected +++ b/cpp/ql/test/library-tests/dataflow/dataflow-tests/test-source-sink.expected @@ -378,11 +378,8 @@ irFlow | test.cpp:1195:10:1195:24 | *call to indirect_source | test.cpp:1224:19:1224:37 | ** ... | | test.cpp:1195:10:1195:24 | *call to indirect_source | test.cpp:1227:10:1227:29 | * ... | | test.cpp:1258:11:1258:16 | call to source | test.cpp:1259:8:1259:10 | ... ++ | -| test.cpp:1258:11:1258:16 | call to source | test.cpp:1260:8:1260:8 | x | | test.cpp:1262:7:1262:12 | call to source | test.cpp:1263:8:1263:10 | ... -- | -| test.cpp:1262:7:1262:12 | call to source | test.cpp:1264:8:1264:8 | x | | test.cpp:1284:11:1284:16 | call to source | test.cpp:1285:8:1285:20 | ... ? ... : ... | -| test.cpp:1284:11:1284:16 | call to source | test.cpp:1286:8:1286:8 | x | | test.cpp:1288:7:1288:12 | call to source | test.cpp:1290:8:1290:8 | x | | test.cpp:1292:7:1292:12 | call to source | test.cpp:1294:8:1294:8 | x | | test.cpp:1296:7:1296:12 | call to source | test.cpp:1297:8:1297:18 | ... ? ... : ... | @@ -391,7 +388,6 @@ irFlow | test.cpp:1300:7:1300:12 | call to source | test.cpp:1302:8:1302:8 | x | | test.cpp:1304:7:1304:12 | call to source | test.cpp:1306:8:1306:8 | x | | test.cpp:1308:7:1308:12 | call to source | test.cpp:1309:8:1309:16 | ... ++ | -| test.cpp:1308:7:1308:12 | call to source | test.cpp:1310:8:1310:8 | x | | test.cpp:1312:7:1312:12 | call to source | test.cpp:1313:8:1313:24 | ... ? ... : ... | | test.cpp:1312:7:1312:12 | call to source | test.cpp:1314:8:1314:8 | x | | true_upon_entry.cpp:9:11:9:16 | call to source | true_upon_entry.cpp:13:8:13:8 | x | diff --git a/cpp/ql/test/library-tests/dataflow/dataflow-tests/test.cpp b/cpp/ql/test/library-tests/dataflow/dataflow-tests/test.cpp index e42a5652729..e1c3ef98fb7 100644 --- a/cpp/ql/test/library-tests/dataflow/dataflow-tests/test.cpp +++ b/cpp/ql/test/library-tests/dataflow/dataflow-tests/test.cpp @@ -1257,11 +1257,11 @@ namespace globals_without_explicit_def { void crement_test1() { int x = source(); sink(x++); // $ ir ast - sink(x); // $ SPURIOUS: ir + sink(x); x = source(); sink(x--); // $ ir ast - sink(x); // $ SPURIOUS: ir + sink(x); x = source(); sink(++x); // $ SPURIOUS: ast @@ -1283,7 +1283,7 @@ void crement_test1() { void crement_test2(bool b, int y) { int x = source(); sink(b ? x++ : x--); // $ ir ast - sink(x); // $ SPURIOUS: ir + sink(x); x = source(); sink((b ? x : y)++); // $ ast MISSING: ir @@ -1307,7 +1307,7 @@ void crement_test2(bool b, int y) { x = source(); sink((long)x++); // $ ir ast - sink(x); // $ SPURIOUS: ir + sink(x); x = source(); sink(b ? (long)x++ : 0); // $ ir ast