Predicate Make::Logic::ValidationWrapperWithState::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, State state)