QL: improve scope resolution performance

erik-krogh · web-flow · commit 12627d19fae9 · 2021-05-31T07:46:51.000Z
diff --git a/ql/src/codeql_ql/ast/internal/Variable.qll b/ql/src/codeql_ql/ast/internal/Variable.qll
@@ -56,6 +56,7 @@ private AstNode parent(AstNode child) {
   not child instanceof VariableScope
 }
 
+pragma[nomagic]
 VariableScope scopeOf(AstNode n) { result = parent*(n.getParent()) }
 
 private string getName(Identifier i) {

Original file line number	Diff line number	Diff line change
`@@ -56,6 +56,7 @@ private AstNode parent(AstNode child) {`
`56`	`56`	`not child instanceof VariableScope`
`57`	`57`	`}`
`58`	`58`
	`59`	`+pragma[nomagic]`
`59`	`60`	`VariableScope scopeOf(AstNode n) { result = parent*(n.getParent()) }`
`60`	`61`
`61`	`62`	`private string getName(Identifier i) {`