Predicate PhiInsertion::definitionHasPhiNode
Holds if a Phi instruction needs to be inserted for location defLocation at the beginning of block phiBlock.
Import path
import semmle.code.cpp.ir.implementation.aliased_ssa.internal.SSAConstructionpredicate definitionHasPhiNode(MemoryLocation defLocation, OldBlock phiBlock)