Python: Add no-inline to force correct join-order.

alexet · alexet · commit 4d1e4e0261c2 · 2019-06-19T16:01:12.000+01:00
diff --git a/python/ql/src/semmle/python/Flow.qll b/python/ql/src/semmle/python/Flow.qll
@@ -956,6 +956,7 @@ class BasicBlock extends @py_flow_node {
 
     /** Dominance frontier of a node x is the set of all nodes `other` such that `this` dominates a predecessor 
      * of `other` but does not strictly dominate `other` */ 
+    pragma[noinline]
     predicate dominanceFrontier(BasicBlock other) {
         this.dominates(other.getAPredecessor()) and not this.strictlyDominates(other)
     }

Original file line number	Diff line number	Diff line change
`@@ -956,6 +956,7 @@ class BasicBlock extends @py_flow_node {`
`956`	`956`
`957`	`957`	/** Dominance frontier of a node x is the set of all nodes `other` such that `this` dominates a predecessor
`958`	`958`	* of `other` but does not strictly dominate `other` */
	`959`	`+ pragma[noinline]`
`959`	`960`	`predicate dominanceFrontier(BasicBlock other) {`
`960`	`961`	`this.dominates(other.getAPredecessor()) and not this.strictlyDominates(other)`
`961`	`962`	`}`