Predicate Cached :: getPhiOperandDefinition
Import path
import semmle.code.cpp.ir.implementation.aliased_ssa.internal.SSAConstruction
Instruction
getPhiOperandDefinition
(
Instruction
instr
,
IRBlock
newPredecessorBlock
,
Overlap
overlap
)