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

2026-04-20 14:34:04 +02:00 · 2024-01-04 07:06:55 +00:00
parent 90f07d2116
commit dfd25f705d
1 changed files with 1 additions and 1 deletions
--- 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)
  }