QL: cache getClassPredicate

erik-krogh · erik-krogh · commit 09862b9fe731 · 2021-10-13T13:26:37.000+02:00
diff --git a/ql/src/codeql_ql/ast/internal/Type.qll b/ql/src/codeql_ql/ast/internal/Type.qll
@@ -76,7 +76,7 @@ class Type extends TType {
     p2 = classPredCandidate(this, name, arity)
   }
 
-  pragma[nomagic]
+  cached
   PredicateOrBuiltin getClassPredicate(string name, int arity) {
     result = classPredCandidate(this, name, arity) and
     not getClassPredicate1(name, arity, _, result)

Original file line number	Diff line number	Diff line change
`@@ -76,7 +76,7 @@ class Type extends TType {`
`76`	`76`	`p2 = classPredCandidate(this, name, arity)`
`77`	`77`	`}`
`78`	`78`
`79`		`- pragma[nomagic]`
	`79`	`+ cached`
`80`	`80`	`PredicateOrBuiltin getClassPredicate(string name, int arity) {`
`81`	`81`	`result = classPredCandidate(this, name, arity) and`
`82`	`82`	`not getClassPredicate1(name, arity, _, result)`