Skip to content

Commit 99220ea

Browse files
asgerfasgerf
committed
unified: Record consistency errors
The data-flow consistency errors are easier to fix once the stage-splitting of TDataFlowNode has merged, which is part of another PR (variable-capture).
1 parent 65f475f commit 99220ea

2 files changed

Lines changed: 8 additions & 0 deletions

File tree

‎unified/ql/test/library-tests/controlflow/CONSISTENCY/DataFlowConsistency.expected‎

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,3 @@
1+
reverseRead
2+
| cfg.swift:130:13:130:15 | opt | Origin of readStep is missing a PostUpdateNode. |
3+
| cfg.swift:131:13:131:15 | opt | Origin of readStep is missing a PostUpdateNode. |

‎unified/ql/test/library-tests/dataflow/CONSISTENCY/CfgConsistency.expected‎

Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,5 @@
1+
consistencyOverview
2+
| deadEnd | 2 |
3+
deadEnd
4+
| enums.swift:2:10:2:22 | Entry |
5+
| enums.swift:3:10:3:22 | Entry |

0 commit comments

Comments
 (0)