Python: hide synthetic variable node

yoff · yoff · commit 491ca3f1e695 · 2023-12-20T14:42:45.000+01:00
diff --git a/python/ql/lib/semmle/python/dataflow/new/internal/DataFlowPrivate.qll b/python/ql/lib/semmle/python/dataflow/new/internal/DataFlowPrivate.qll
@@ -1052,6 +1052,8 @@ predicate nodeIsHidden(Node n) {
   n instanceof SynthDictSplatParameterNode
   or
   n instanceof SynthCaptureNode
+  or
+  n instanceof SynthCapturedVariablesParameterNode
 }
 
 class LambdaCallKind = Unit;

Original file line number	Diff line number	Diff line change
`@@ -1052,6 +1052,8 @@ predicate nodeIsHidden(Node n) {`
`1052`	`1052`	`n instanceof SynthDictSplatParameterNode`
`1053`	`1053`	`or`
`1054`	`1054`	`n instanceof SynthCaptureNode`
	`1055`	`+ or`
	`1056`	`+ n instanceof SynthCapturedVariablesParameterNode`
`1055`	`1057`	`}`
`1056`	`1058`
`1057`	`1059`	`class LambdaCallKind = Unit;`