QL: This is slightly faster without magic.

aschackmull · aschackmull · commit dfa6f285e580 · 2021-10-14T13:12:26.000+02:00
diff --git a/ql/src/codeql_ql/ast/internal/Type.qll b/ql/src/codeql_ql/ast/internal/Type.qll
@@ -283,6 +283,7 @@ private predicate qualifier(TypeExpr te, FileOrModule m, boolean public, string
   )
 }
 
+pragma[nomagic]
 private predicate defines(FileOrModule m, string name, Type t, boolean public) {
   exists(Class ty | t = TClass(ty) |
     getEnclosingModule(ty) = m and

Original file line number	Diff line number	Diff line change
`@@ -283,6 +283,7 @@ private predicate qualifier(TypeExpr te, FileOrModule m, boolean public, string`
`283`	`283`	`)`
`284`	`284`	`}`
`285`	`285`
	`286`	`+pragma[nomagic]`
`286`	`287`	`private predicate defines(FileOrModule m, string name, Type t, boolean public) {`
`287`	`288`	`exists(Class ty \| t = TClass(ty) \|`
`288`	`289`	`getEnclosingModule(ty) = m and`