Cache TControlFlowNode

2026-04-30 03:05:15 +02:00 · 2021-03-12 17:15:57 +00:00
parent ea2b3906b9
commit c940eb61e7
1 changed files with 1 additions and 0 deletions
--- a/ql/src/semmle/go/controlflow/ControlFlowGraphImpl.qll
+++ b/ql/src/semmle/go/controlflow/ControlFlowGraphImpl.qll
@@ -61,6 +61,7 @@ private predicate isCond(Expr e) {
 *        respectively, of the execution of the function and the loading of the file;
 *      - Skip nodes that are semantic no-ops, but make CFG construction easier.
 */
+cached
 newtype TControlFlowNode =
  /**
   * A control-flow node that represents the evaluation of an expression.