Member predicate BasicBlock::localIsLiveAtEntry
Holds if local variable v
is live at entry to this basic block.
predicate localIsLiveAtEntry(LocalVariable v)
Holds if local variable v
is live at entry to this basic block.
predicate localIsLiveAtEntry(LocalVariable v)