Member predicate BasicBlock::localIsLiveAtEntry
Holds if local variable v is live at entry to this basic block and
u is a use of v witnessing the liveness.
predicate localIsLiveAtEntry(LocalVariable v, VarUse u)Holds if local variable v is live at entry to this basic block and
u is a use of v witnessing the liveness.
predicate localIsLiveAtEntry(LocalVariable v, VarUse u)