Update cpp/ql/test/library-tests/dataflow/dataflow-tests/test.cpp

Co-authored-by: Jeroen Ketema <93738568+jketema@users.noreply.github.com>
This commit is contained in:
Mathias Vorreiter Pedersen
2023-06-30 11:10:15 +01:00
committed by GitHub
parent 90336705e1
commit a4d03371e5

View File

@@ -779,7 +779,7 @@ void test_sometimes_calls_sink_lt() {
void sometimes_calls_sink_switch(int x, int n) {
switch(n) {
case 0:
sink(x); // $ ast,ir=790:31 SPURIOUS: ast,ir=788:31 // IR spurious results because IRGuard don't understand switch statements.
sink(x); // $ ast,ir=790:31 SPURIOUS: ast,ir=788:31 // IR spurious results because IRGuard doesn't understand switch statements.
break;
}
}