Add pragma[nomagic] to top-level succ0 and remove cached

owen-mc · owen-mc · commit dfd25f705df3 · 2024-01-04T07:06:55.000Z
diff --git a/go/ql/lib/semmle/go/controlflow/ControlFlowGraphImpl.qll b/go/ql/lib/semmle/go/controlflow/ControlFlowGraphImpl.qll
@@ -2111,7 +2111,7 @@ module CFG {
    * Gets a successor of `nd`, that is, a node that is executed after `nd`,
    * ignoring the execution of any deferred functions when a function ends.
    */
-  cached
+  pragma[nomagic]
   private ControlFlow::Node succ0(ControlFlow::Node nd) {
     any(ControlFlowTree tree).succ0(nd, result)
   }

Original file line number	Diff line number	Diff line change
`@@ -2111,7 +2111,7 @@ module CFG {`
`2111`	`2111`	* Gets a successor of `nd`, that is, a node that is executed after `nd`,
`2112`	`2112`	`* ignoring the execution of any deferred functions when a function ends.`
`2113`	`2113`	`*/`
`2114`		`- cached`
	`2114`	`+ pragma[nomagic]`
`2115`	`2115`	`private ControlFlow::Node succ0(ControlFlow::Node nd) {`
`2116`	`2116`	`any(ControlFlowTree tree).succ0(nd, result)`
`2117`	`2117`	`}`