Searched refs:AnyBarrier (Results 1 – 1 of 1) sorted by relevance
85 bool AnyBarrier = false; in MaybeUpdateTerminator() local90 AnyBarrier |= Term.isBarrier(); in MaybeUpdateTerminator()94 assert((AnyBarrier || AllAnalyzable) && in MaybeUpdateTerminator()