Skip to content

Commit 7c60562

Browse files
committed
Python: Ignore IterableSequenceNode inconsistencies
1 parent 7e3e5db commit 7c60562

File tree

2 files changed

+4
-18
lines changed

2 files changed

+4
-18
lines changed

python/ql/consistency-queries/TypeTrackingConsistency.ql

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -20,6 +20,10 @@ private module ConsistencyChecksInput implements ConsistencyChecksInputSig {
2020
exists(DataFlow::Node m | m.asCfgNode().getNode() instanceof MatchCapturePattern |
2121
TypeTrackingInput::simpleLocalSmallStep*(m, n)
2222
)
23+
or
24+
// TODO: when adding support for proper content, handle iterable unpacking better
25+
// such as `for k,v in items:`, or `a, (b,c) = ...`
26+
n instanceof DataFlow::IterableSequenceNode
2327
}
2428
}
2529

python/ql/test/experimental/dataflow/coverage/CONSISTENCY/TypeTrackingConsistency.expected

Lines changed: 0 additions & 18 deletions
This file was deleted.

0 commit comments

Comments
 (0)