Predicate Make::Logic::ParameterizedValidationWrapper::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, P par)