Predicate PhiInsertion::definitionLiveOnEntryToBlock
Holds if the definition defLocation
is live on entry to block block
. The definition is live if there is at
least one use of that definition before any intervening instruction that redefines the definition location.
Import path
import semmle.code.cpp.ir.implementation.aliased_ssa.internal.SSAConstruction
predicate definitionLiveOnEntryToBlock(MemoryLocation defLocation, OldBlock block)