File tree Expand file tree Collapse file tree 2 files changed +2
-4
lines changed
cpp/ql/test/library-tests/dataflow/dataflow-tests Expand file tree Collapse file tree 2 files changed +2
-4
lines changed Original file line number Diff line number Diff line change @@ -83,7 +83,7 @@ void test_guard_and_reassign() {
83
83
if (!guarded (x)) {
84
84
x = 0 ;
85
85
}
86
- sink (x); // $ SPURIOUS: ast,ir
86
+ sink (x); // $ SPURIOUS: ast
87
87
}
88
88
89
89
void test_phi_read_guard (bool b) {
@@ -98,7 +98,7 @@ void test_phi_read_guard(bool b) {
98
98
return ;
99
99
}
100
100
101
- sink (x); // $ SPURIOUS: ast,ir
101
+ sink (x); // $ SPURIOUS: ast
102
102
}
103
103
104
104
bool unsafe (int );
Original file line number Diff line number Diff line change @@ -145,8 +145,6 @@ irFlow
145
145
| BarrierGuard.cpp:49:10:49:15 | call to source | BarrierGuard.cpp:55:13:55:13 | x |
146
146
| BarrierGuard.cpp:60:11:60:16 | call to source | BarrierGuard.cpp:64:14:64:14 | x |
147
147
| BarrierGuard.cpp:60:11:60:16 | call to source | BarrierGuard.cpp:66:14:66:14 | x |
148
- | BarrierGuard.cpp:81:11:81:16 | call to source | BarrierGuard.cpp:86:8:86:8 | x |
149
- | BarrierGuard.cpp:90:11:90:16 | call to source | BarrierGuard.cpp:101:8:101:8 | x |
150
148
| acrossLinkTargets.cpp:19:27:19:32 | call to source | acrossLinkTargets.cpp:12:8:12:8 | x |
151
149
| clang.cpp:12:9:12:20 | sourceArray1 | clang.cpp:18:8:18:19 | sourceArray1 |
152
150
| clang.cpp:12:9:12:20 | sourceArray1 | clang.cpp:23:17:23:29 | *& ... |
You can’t perform that action at this time.
0 commit comments