Predicate DefUse::hasPhiOperandDefinition
Holds if the Phi instruction for location useLocation at the beginning of block phiBlock has an operand along
the incoming edge from predBlock, where that operand’s definition is at offset defOffset in block defBlock.
Import path
import semmle.code.cpp.ir.implementation.aliased_ssa.internal.SSAConstructionpredicate hasPhiOperandDefinition(MemoryLocation defLocation, MemoryLocation useLocation, OldBlock phiBlock, OldBlock predBlock, OldBlock defBlock, int defOffset)