Python: Ignore consistency failure

github · Mar 1, 2024 · e9c5197 · e9c5197
1 parent 2f8bdfd
commit e9c5197
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 2 deletions.
diff --git a/python/ql/consistency-queries/TypeTrackingConsistency.ql b/python/ql/consistency-queries/TypeTrackingConsistency.ql
@@ -8,6 +8,13 @@ private module ConsistencyChecksInput implements ConsistencyChecksInputSig {
     n instanceof DataFlowPrivate::SyntheticPostUpdateNode
     or
     n instanceof DataFlowPrivate::SyntheticPreUpdateNode
+    or
+    // for iterable unpacking like `a,b = some_list`, we currently don't want to allow
+    // type-tracking... however, in the future when we allow tracking list indexes
+    // precisely (that is, move away from ListElementContent), we should ensure we have
+    // proper flow to the synthetic `IterableElementNode`.
+    exists(DataFlow::ListElementContent c) and
+    n instanceof DataFlow::IterableElementNode
   }
 }
 

diff --git a/...ql/test/experimental/library-tests/CallGraph/CONSISTENCY/TypeTrackingConsistency.expected b/...ql/test/experimental/library-tests/CallGraph/CONSISTENCY/TypeTrackingConsistency.expected