Python: remove unnecessary post-processing

yoff · yoff · commit 07c88dc0be38 · 2023-12-20T12:09:15.000+01:00
also, it is slightly incorrect...
diff --git a/python/ql/lib/semmle/python/dataflow/new/internal/DataFlowPrivate.qll b/python/ql/lib/semmle/python/dataflow/new/internal/DataFlowPrivate.qll
@@ -484,8 +484,7 @@ predicate simpleLocalFlowStep(Node nodeFrom, Node nodeTo) {
  * or at runtime when callables in the module are called.
  */
 predicate simpleLocalFlowStepForTypetracking(Node nodeFrom, Node nodeTo) {
-  IncludePostUpdateFlow<PhaseDependentFlow<LocalFlow::localFlowStep/2>::step/2>::step(nodeFrom,
-    nodeTo)
+  LocalFlow::localFlowStep(nodeFrom, nodeTo)
 }
 
 private predicate summaryLocalStep(Node nodeFrom, Node nodeTo) {

Original file line number	Diff line number	Diff line change
`@@ -484,8 +484,7 @@ predicate simpleLocalFlowStep(Node nodeFrom, Node nodeTo) {`
`484`	`484`	`* or at runtime when callables in the module are called.`
`485`	`485`	`*/`
`486`	`486`	`predicate simpleLocalFlowStepForTypetracking(Node nodeFrom, Node nodeTo) {`
`487`		`- IncludePostUpdateFlow<PhaseDependentFlow<LocalFlow::localFlowStep/2>::step/2>::step(nodeFrom,`
`488`		`- nodeTo)`
	`487`	`+ LocalFlow::localFlowStep(nodeFrom, nodeTo)`
`489`	`488`	`}`
`490`	`489`
`491`	`490`	`private predicate summaryLocalStep(Node nodeFrom, Node nodeTo) {`