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)