Skip to content

Commit adf5a4b

Browse files
committed
Python: Fix internal consistency failures
1 parent 87b6592 commit adf5a4b

File tree

1 file changed

+7
-1
lines changed

1 file changed

+7
-1
lines changed

python/ql/consistency-queries/TypeTrackingConsistency.ql

Lines changed: 7 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -17,7 +17,13 @@ private module ConsistencyChecksInput implements ConsistencyChecksInputSig {
1717
//
1818
// match (NONSOURCE, SOURCE):
1919
// case (x, y): ...
20-
exists(DataFlow::Node m | m.asCfgNode().getNode() instanceof MatchCapturePattern |
20+
exists(DataFlow::Node m |
21+
m.asCfgNode().getNode() instanceof MatchCapturePattern
22+
or
23+
m.asCfgNode().getNode() instanceof MatchAsPattern
24+
or
25+
m.asCfgNode().getNode() instanceof MatchOrPattern
26+
|
2127
TypeTrackingInput::simpleLocalSmallStep*(m, n)
2228
)
2329
or

0 commit comments

Comments
 (0)