From f39dc41903dfbd7e4f863688e72a2342945a1eae Mon Sep 17 00:00:00 2001
From: Rasmus Lerchedahl Petersen <yoff@github.com>
Date: Tue, 1 Oct 2024 13:53:25 +0200
Subject: [PATCH] Python: use imprecise content in cp We had accidentally used
 precise content leadingto blowup

---
 .../semmle/python/dataflow/new/internal/DataFlowPrivate.qll   | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/python/ql/lib/semmle/python/dataflow/new/internal/DataFlowPrivate.qll b/python/ql/lib/semmle/python/dataflow/new/internal/DataFlowPrivate.qll
index 5b2457cd762e..4d97f04d28d8 100644
--- a/python/ql/lib/semmle/python/dataflow/new/internal/DataFlowPrivate.qll
+++ b/python/ql/lib/semmle/python/dataflow/new/internal/DataFlowPrivate.qll
@@ -195,7 +195,7 @@ predicate yieldStoreStep(Node nodeFrom, Content c, Node nodeTo) {
       c instanceof SetElementContent
       or
       comp instanceof DictComp and
-      c instanceof DictionaryElementContent
+      c instanceof DictionaryElementAnyContent
     )
     or
     not exists(Comp comp | func = comp.getFunction()) and
@@ -204,7 +204,7 @@ predicate yieldStoreStep(Node nodeFrom, Content c, Node nodeTo) {
       or
       c instanceof SetElementContent
       or
-      c instanceof DictionaryElementContent
+      c instanceof DictionaryElementAnyContent
     )
   )
 }