Predicate signature instructionGuardChecksSig
Holds if the guard g validates the instruction instr upon evaluating to branch.
Import path
import semmle.code.cpp.ir.dataflow.internal.DataFlowUtilsignature predicate instructionGuardChecksSig(IRGuardCondition g, Instruction instr, boolean branch)