Member predicate Splitting::BooleanSplitting::BooleanSplitSubKind::canReachCorrelatedCondition
Holds if basic block bb
can reach a condition correlated with a
split of this kind.
Version 1.22.0
Holds if basic block bb
can reach a condition correlated with a
split of this kind.