We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 9049932 commit 1771d77Copy full SHA for 1771d77
cpp/ql/test/library-tests/dataflow/dataflow-tests/flowOut.cpp
@@ -16,7 +16,7 @@ void modify_copy(int* ptr) { // $ ast-def=ptr
16
void test_output_copy() {
17
int x = 0;
18
modify_copy(&x);
19
- sink(x); // $ SPURIOUS: ir
+ sink(x); // clean
20
}
21
22
void modify(int* ptr) { // $ ast-def=ptr
@@ -43,7 +43,7 @@ void modify_copy_of_pointer(int* p, unsigned len) { // $ ast-def=p
43
void test_modify_copy_of_pointer() {
44
int x[10];
45
modify_copy_of_pointer(x, 10);
46
- sink(x[0]); // $ SPURIOUS: ir,ast
+ sink(x[0]); // $ SPURIOUS: ast // clean
47
48
49
void modify_pointer(int* p, unsigned len) { // $ ast-def=p
0 commit comments