Skip to content

Commit 46627c6

Browse files
committed
C++: Add FP in dataflow through global variables.
1 parent 344535b commit 46627c6

File tree

3 files changed

+10
-1
lines changed

3 files changed

+10
-1
lines changed

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

Lines changed: 6 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -6,9 +6,15 @@ uniqueEnclosingCallable
66
| test.cpp:1126:33:1129:1 | {...} | Node should have one enclosing callable but has 0. |
77
| test.cpp:1127:3:1127:13 | reads_input | Node should have one enclosing callable but has 0. |
88
| 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. |
913
uniqueCallEnclosingCallable
1014
| test.cpp:864:47:864:54 | call to source | Call should have one enclosing callable but has 0. |
1115
| 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. |
1218
uniqueType
1319
uniqueNodeLocation
1420
missingLocation

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

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -327,6 +327,7 @@ 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:1158:18:1158:42 | ... , ... | test.cpp:1158:23:1158:31 | recursion |
330331
| true_upon_entry.cpp:9:11:9:16 | call to source | true_upon_entry.cpp:13:8:13:8 | x |
331332
| true_upon_entry.cpp:17:11:17:16 | call to source | true_upon_entry.cpp:21:8:21:8 | x |
332333
| 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

Lines changed: 3 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1153,4 +1153,6 @@ namespace conflation_regression {
11531153
*p = source(0);
11541154
read_deref_deref(p);
11551155
}
1156-
}
1156+
}
1157+
1158+
int recursion = (sink(recursion), source()); // $ SPURIOUS: ir

0 commit comments

Comments
 (0)
pFad - Phonifier reborn

Pfad - The Proxy pFad of © 2024 Garber Painting. All rights reserved.

Note: This service is not intended for secure transactions such as banking, social media, email, or purchasing. Use at your own risk. We assume no liability whatsoever for broken pages.


Alternative Proxies:

Alternative Proxy

pFad Proxy

pFad v3 Proxy

pFad v4 Proxy