File tree Expand file tree Collapse file tree 3 files changed +10
-1
lines changed
cpp/ql/test/library-tests/dataflow/dataflow-tests Expand file tree Collapse file tree 3 files changed +10
-1
lines changed Original file line number Diff line number Diff line change @@ -6,9 +6,15 @@ uniqueEnclosingCallable
6
6
| test.cpp:1126:33:1129:1 | {...} | Node should have one enclosing callable but has 0. |
7
7
| test.cpp:1127:3:1127:13 | reads_input | Node should have one enclosing callable but has 0. |
8
8
| test.cpp:1128:3:1128:21 | not_does_read_input | Node should have one enclosing callable but has 0. |
9
+ | test.cpp:1158:18:1158:21 | call to sink | Node should have one enclosing callable but has 0. |
10
+ | test.cpp:1158:18:1158:42 | ... , ... | Node should have one enclosing callable but has 0. |
11
+ | test.cpp:1158:23:1158:31 | recursion | Node should have one enclosing callable but has 0. |
12
+ | test.cpp:1158:35:1158:40 | call to source | Node should have one enclosing callable but has 0. |
9
13
uniqueCallEnclosingCallable
10
14
| test.cpp:864:47:864:54 | call to source | Call should have one enclosing callable but has 0. |
11
15
| test.cpp:872:46:872:51 | call to source | Call should have one enclosing callable but has 0. |
16
+ | test.cpp:1158:18:1158:21 | call to sink | Call should have one enclosing callable but has 0. |
17
+ | test.cpp:1158:35:1158:40 | call to source | Call should have one enclosing callable but has 0. |
12
18
uniqueType
13
19
uniqueNodeLocation
14
20
missingLocation
Original file line number Diff line number Diff line change @@ -327,6 +327,7 @@ irFlow
327
327
| test.cpp:1117:27:1117:34 | call to source | test.cpp:1117:27:1117:34 | call to source |
328
328
| test.cpp:1132:11:1132:16 | call to source | test.cpp:1121:8:1121:8 | x |
329
329
| test.cpp:1138:17:1138:22 | call to source | test.cpp:1140:8:1140:18 | * ... |
330
+ | test.cpp:1158:18:1158:42 | ... , ... | test.cpp:1158:23:1158:31 | recursion |
330
331
| true_upon_entry.cpp:9:11:9:16 | call to source | true_upon_entry.cpp:13:8:13:8 | x |
331
332
| true_upon_entry.cpp:17:11:17:16 | call to source | true_upon_entry.cpp:21:8:21:8 | x |
332
333
| true_upon_entry.cpp:27:9:27:14 | call to source | true_upon_entry.cpp:29:8:29:8 | x |
Original file line number Diff line number Diff line change @@ -1153,4 +1153,6 @@ namespace conflation_regression {
1153
1153
*p = source (0 );
1154
1154
read_deref_deref (p);
1155
1155
}
1156
- }
1156
+ }
1157
+
1158
+ int recursion = (sink(recursion), source()); // $ SPURIOUS: ir
You can’t perform that action at this time.
0 commit comments