From a286dc349a63a6260a449dd6d4714c1981fddc6e Mon Sep 17 00:00:00 2001
From: Erik Krogh Kristensen <erik-krogh@github.com>
Date: Mon, 31 May 2021 07:46:51 +0000
Subject: [PATCH] improve scope resolution performance

---
 ql/src/codeql_ql/ast/internal/Variable.qll | 1 +
 1 file changed, 1 insertion(+)

diff --git a/ql/src/codeql_ql/ast/internal/Variable.qll b/ql/src/codeql_ql/ast/internal/Variable.qll
index 89ff1288949..b5791f457ae 100644
--- 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) {