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.SSAConstructionpredicate definitionLiveOnExitFromBlock(MemoryLocation defLocation, OldBlock block)