On saltstack this drops the number of consistency errors

yoff · yoff · commit baf0917524be · 2021-01-24T15:30:59.000+01:00
of type uniqueEnclosingCallable from 4026 to 614.
diff --git a/python/ql/src/semmle/python/dataflow/new/internal/DataFlowPublic.qll b/python/ql/src/semmle/python/dataflow/new/internal/DataFlowPublic.qll
@@ -179,7 +179,11 @@ ExprNode exprNode(DataFlowExpr e) { result.getNode().getNode() = e }
 class ParameterNode extends CfgNode {
   ParameterDefinition def;
 
-  ParameterNode() { node = def.getDefiningNode() }
+  ParameterNode() {
+    node = def.getDefiningNode() and
+    // Disregard parameters to the function the extractor has synthesised for comprehensions
+    not def.getScope() = any(Comp comp).getNthInnerLoop(0).getIter().getScope()
+  }
 
   /**
    * Holds if this node is the parameter of callable `c` at the
