speed up resolving fields

This commit is contained in:
Erik Krogh Kristensen
2022-08-09 10:57:57 +02:00
committed by erik-krogh
parent 3005b4bfcc
commit fcdba7ce57

View File

@@ -73,7 +73,12 @@ private module Cached {
cached
predicate resolveField(Identifier i, VarDef decl) {
scopeOf(i).containsField(decl, pragma[only_bind_into](getName(i)))
resolveFieldHelper(scopeOf(i), decl, getName(i))
}
pragma[noinline]
private predicate resolveFieldHelper(VariableScope scope, VarDef decl, string name) {
scope.containsField(decl, name)
}
}