Predicate PhiInsertion::definitionLiveOnExitFromBlock
Holds if the definition defLocation
is live on exit from block block
. The definition is live on exit if it is
live on entry to any of the successors of block
.
Import path
import semmle.code.cpp.ir.implementation.aliased_ssa.internal.SSAConstruction
predicate definitionLiveOnExitFromBlock(MemoryLocation defLocation, OldBlock block)