Member predicate IRBlock::isReachableFromFunctionEntry
Holds if this block is reachable from the entry block of its function.
predicate isReachableFromFunctionEntry()Holds if this block is reachable from the entry block of its function.
predicate isReachableFromFunctionEntry()