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)