Skip to content

Commit 8de7d4e

Browse files
committed
C++: Accept test changes.
1 parent 2448475 commit 8de7d4e

File tree

2 files changed

+1
-2
lines changed

2 files changed

+1
-2
lines changed

cpp/ql/test/library-tests/dataflow/dataflow-tests/test-source-sink.expected

-1
Original file line numberDiff line numberDiff line change
@@ -327,7 +327,6 @@ irFlow
327327
| test.cpp:1117:27:1117:34 | call to source | test.cpp:1117:27:1117:34 | call to source |
328328
| test.cpp:1132:11:1132:16 | call to source | test.cpp:1121:8:1121:8 | x |
329329
| test.cpp:1138:17:1138:22 | call to source | test.cpp:1140:8:1140:18 | * ... |
330-
| test.cpp:1153:10:1153:15 | call to source | test.cpp:1148:10:1148:12 | * ... |
331330
| true_upon_entry.cpp:9:11:9:16 | call to source | true_upon_entry.cpp:13:8:13:8 | x |
332331
| true_upon_entry.cpp:17:11:17:16 | call to source | true_upon_entry.cpp:21:8:21:8 | x |
333332
| true_upon_entry.cpp:27:9:27:14 | call to source | true_upon_entry.cpp:29:8:29:8 | x |

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

+1-1
Original file line numberDiff line numberDiff line change
@@ -1145,7 +1145,7 @@ namespace conflation_regression {
11451145
char* source(int);
11461146

11471147
void read_deref_deref(char **l) { // $ ast-def=l ir-def=*l ir-def=**l
1148-
sink(**l); // $ SPURIOUS: ir
1148+
sink(**l); // Clean. Only *l is tainted
11491149
}
11501150

11511151
void f(char ** p) // $ ast-def=p ir-def=*p ir-def=**p

0 commit comments

Comments
 (0)