Member predicate BasicBlockWithPointsTo::likelyReachable
Whether (as inferred by type inference) this basic block is likely to be reachable.
predicate likelyReachable()Whether (as inferred by type inference) this basic block is likely to be reachable.
predicate likelyReachable()