Predicate Make::Logic::ValidationWrapper::guardChecksDef
Holds if the guard g validates the SSA definition def upon evaluating to val.
Import path
import codeql.controlflow.Guardspredicate guardChecksDef(Guard g, SsaDefinition def, GuardValue val)