Skip to content

Commit 5d21251

Browse files
RasmusWLRasmusWL
committed
Python: Add example of consistency failure
1 parent 1658a1c commit 5d21251

File tree

1 file changed

+51
-0
lines changed

1 file changed

+51
-0
lines changed

‎python/ql/test/experimental/dataflow/match/CONSISTENCY/TypeTrackingConsistency.expected

Lines changed: 51 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,51 @@
1+
unreachableNode
2+
| test.py:72:15:72:15 | ControlFlowNode for MatchCapturePattern | Unreachable node in step of kind simpleLocalSmallStep. |
3+
| test.py:72:15:72:15 | ControlFlowNode for x | Unreachable node in step of kind simpleLocalSmallStep. |
4+
| test.py:72:18:72:18 | ControlFlowNode for MatchCapturePattern | Unreachable node in step of kind simpleLocalSmallStep. |
5+
| test.py:72:18:72:18 | ControlFlowNode for y | Unreachable node in step of kind simpleLocalSmallStep. |
6+
| test.py:73:20:73:20 | ControlFlowNode for x | Unreachable node in step of kind call. |
7+
| test.py:74:18:74:18 | ControlFlowNode for y | Unreachable node in step of kind call. |
8+
| test.py:79:15:79:15 | ControlFlowNode for MatchCapturePattern | Unreachable node in step of kind simpleLocalSmallStep. |
9+
| test.py:79:15:79:15 | ControlFlowNode for x | Unreachable node in step of kind simpleLocalSmallStep. |
10+
| test.py:79:18:79:18 | ControlFlowNode for MatchCapturePattern | Unreachable node in step of kind simpleLocalSmallStep. |
11+
| test.py:79:18:79:18 | ControlFlowNode for y | Unreachable node in step of kind simpleLocalSmallStep. |
12+
| test.py:80:20:80:20 | ControlFlowNode for x | Unreachable node in step of kind call. |
13+
| test.py:81:18:81:18 | ControlFlowNode for y | Unreachable node in step of kind call. |
14+
| test.py:89:15:89:15 | ControlFlowNode for MatchCapturePattern | Unreachable node in step of kind simpleLocalSmallStep. |
15+
| test.py:89:15:89:15 | ControlFlowNode for x | Unreachable node in step of kind simpleLocalSmallStep. |
16+
| test.py:89:19:89:19 | ControlFlowNode for MatchCapturePattern | Unreachable node in step of kind simpleLocalSmallStep. |
17+
| test.py:89:19:89:19 | ControlFlowNode for y | Unreachable node in step of kind simpleLocalSmallStep. |
18+
| test.py:90:20:90:20 | ControlFlowNode for x | Unreachable node in step of kind call. |
19+
| test.py:96:15:96:15 | ControlFlowNode for MatchCapturePattern | Unreachable node in step of kind simpleLocalSmallStep. |
20+
| test.py:96:15:96:15 | ControlFlowNode for x | Unreachable node in step of kind simpleLocalSmallStep. |
21+
| test.py:96:19:96:19 | ControlFlowNode for MatchCapturePattern | Unreachable node in step of kind simpleLocalSmallStep. |
22+
| test.py:96:19:96:19 | ControlFlowNode for y | Unreachable node in step of kind simpleLocalSmallStep. |
23+
| test.py:97:18:97:18 | ControlFlowNode for x | Unreachable node in step of kind call. |
24+
| test.py:103:15:103:15 | ControlFlowNode for MatchCapturePattern | Unreachable node in step of kind simpleLocalSmallStep. |
25+
| test.py:103:15:103:15 | ControlFlowNode for x | Unreachable node in step of kind simpleLocalSmallStep. |
26+
| test.py:103:19:103:19 | ControlFlowNode for MatchCapturePattern | Unreachable node in step of kind simpleLocalSmallStep. |
27+
| test.py:103:19:103:19 | ControlFlowNode for y | Unreachable node in step of kind simpleLocalSmallStep. |
28+
| test.py:104:20:104:20 | ControlFlowNode for x | Unreachable node in step of kind call. |
29+
| test.py:110:15:110:15 | ControlFlowNode for MatchCapturePattern | Unreachable node in step of kind simpleLocalSmallStep. |
30+
| test.py:110:15:110:15 | ControlFlowNode for x | Unreachable node in step of kind simpleLocalSmallStep. |
31+
| test.py:110:19:110:19 | ControlFlowNode for MatchCapturePattern | Unreachable node in step of kind simpleLocalSmallStep. |
32+
| test.py:110:19:110:19 | ControlFlowNode for y | Unreachable node in step of kind simpleLocalSmallStep. |
33+
| test.py:111:18:111:18 | ControlFlowNode for x | Unreachable node in step of kind call. |
34+
| test.py:117:20:117:20 | ControlFlowNode for MatchCapturePattern | Unreachable node in step of kind simpleLocalSmallStep. |
35+
| test.py:117:20:117:20 | ControlFlowNode for x | Unreachable node in step of kind simpleLocalSmallStep. |
36+
| test.py:117:28:117:28 | ControlFlowNode for MatchCapturePattern | Unreachable node in step of kind simpleLocalSmallStep. |
37+
| test.py:117:28:117:28 | ControlFlowNode for y | Unreachable node in step of kind simpleLocalSmallStep. |
38+
| test.py:118:20:118:20 | ControlFlowNode for x | Unreachable node in step of kind call. |
39+
| test.py:119:18:119:18 | ControlFlowNode for y | Unreachable node in step of kind call. |
40+
| test.py:125:20:125:20 | ControlFlowNode for MatchCapturePattern | Unreachable node in step of kind simpleLocalSmallStep. |
41+
| test.py:125:20:125:20 | ControlFlowNode for x | Unreachable node in step of kind simpleLocalSmallStep. |
42+
| test.py:126:20:126:20 | ControlFlowNode for x | Unreachable node in step of kind call. |
43+
| test.py:132:20:132:20 | ControlFlowNode for MatchCapturePattern | Unreachable node in step of kind simpleLocalSmallStep. |
44+
| test.py:132:20:132:20 | ControlFlowNode for x | Unreachable node in step of kind simpleLocalSmallStep. |
45+
| test.py:133:18:133:18 | ControlFlowNode for x | Unreachable node in step of kind call. |
46+
| test.py:151:27:151:27 | ControlFlowNode for MatchCapturePattern | Unreachable node in step of kind simpleLocalSmallStep. |
47+
| test.py:151:27:151:27 | ControlFlowNode for x | Unreachable node in step of kind simpleLocalSmallStep. |
48+
| test.py:152:18:152:18 | ControlFlowNode for x | Unreachable node in step of kind call. |
49+
| test.py:155:27:155:27 | ControlFlowNode for MatchCapturePattern | Unreachable node in step of kind simpleLocalSmallStep. |
50+
| test.py:155:27:155:27 | ControlFlowNode for x | Unreachable node in step of kind simpleLocalSmallStep. |
51+
| test.py:156:20:156:20 | ControlFlowNode for x | Unreachable node in step of kind call. |

0 commit comments

Comments
 (0)