Rust: Cache getEnclosingCfgScope

paldepind · paldepind · commit 274d9421a743 · 2024-11-12T13:15:20.000+01:00
diff --git a/rust/ql/lib/codeql/rust/elements/internal/AstNodeImpl.qll b/rust/ql/lib/codeql/rust/elements/internal/AstNodeImpl.qll
@@ -46,6 +46,7 @@ module Impl {
     }
 
     /** Gets the CFG scope that encloses this node, if any. */
+    cached
     CfgScope getEnclosingCfgScope() {
       exists(AstNode p | p = this.getParentNode() |
         result = p

Original file line number	Diff line number	Diff line change
`@@ -46,6 +46,7 @@ module Impl {`
`46`	`46`	`}`
`47`	`47`
`48`	`48`	`/** Gets the CFG scope that encloses this node, if any. */`
	`49`	`+ cached`
`49`	`50`	`CfgScope getEnclosingCfgScope() {`
`50`	`51`	`exists(AstNode p \| p = this.getParentNode() \|`
`51`	`52`	`result = p`