Member predicate BasicBlock :: isUnreachable
Means not isReachable()
.
predicate
isUnreachable
(
)