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.DataFlowUtil
signature
predicate
instructionGuardChecksSig
(
IRGuardCondition
g
,
Instruction
instr
,
boolean
branch
)