Member predicate BasicBlock::isLiveAtEntry
Holds if v
is a variable that is live at entry to this basic block.
Note that this is equivalent to bb.isLiveAtEntry(v, _)
, but may
be more efficient on large databases.
predicate isLiveAtEntry(Variable v)