github
diff --git a/‎python/ql/src/semmle/python/dataflow/new/internal/DataFlowPrivate.qll‎
Lines changed: 2 additions & 0 deletions b/‎python/ql/src/semmle/python/dataflow/new/internal/DataFlowPrivate.qll‎
Lines changed: 2 additions & 0 deletions
@@ -879,6 +879,7 @@ predicate listStoreStep(CfgNode nodeFrom, ListElementContent c, CfgNode nodeTo)
   //   nodeTo is the list, `[..., 42, ...]`, cfg node
   //   c denotes element of list
   nodeTo.getNode().(ListNode).getAnElement() = nodeFrom.getNode() and
+  not nodeTo.getNode() instanceof UnpackingAssignmentSequenceTarget and
   // Suppress unused variable warning
   c = c
 }
@@ -904,6 +905,7 @@ predicate tupleStoreStep(CfgNode nodeFrom, TupleElementContent c, CfgNode nodeTo
   //   c denotes element of tuple and index of nodeFrom
   exists(int n |
     nodeTo.getNode().(TupleNode).getElement(n) = nodeFrom.getNode() and
+    not nodeTo.getNode() instanceof UnpackingAssignmentSequenceTarget and
     c.getIndex() = n
   )
 }
Original file line number	Diff line number	Diff line change
`@@ -879,6 +879,7 @@ predicate listStoreStep(CfgNode nodeFrom, ListElementContent c, CfgNode nodeTo)`
`879`	`879`	// nodeTo is the list, `[..., 42, ...]`, cfg node
`880`	`880`	`// c denotes element of list`
`881`	`881`	`nodeTo.getNode().(ListNode).getAnElement() = nodeFrom.getNode() and`
	`882`	`+ not nodeTo.getNode() instanceof UnpackingAssignmentSequenceTarget and`
`882`	`883`	`// Suppress unused variable warning`
`883`	`884`	`c = c`
`884`	`885`	`}`
`@@ -904,6 +905,7 @@ predicate tupleStoreStep(CfgNode nodeFrom, TupleElementContent c, CfgNode nodeTo`
`904`	`905`	`// c denotes element of tuple and index of nodeFrom`
`905`	`906`	`exists(int n \|`
`906`	`907`	`nodeTo.getNode().(TupleNode).getElement(n) = nodeFrom.getNode() and`
	`908`	`+ not nodeTo.getNode() instanceof UnpackingAssignmentSequenceTarget and`
`907`	`909`	`c.getIndex() = n`
`908`	`910`	`)`
`909`	`911`	`}`