Searched refs:AllAnalyzable (Results 1 – 1 of 1) sorted by relevance
85 bool AllAnalyzable = true; in maybeUpdateTerminator() local90 AllAnalyzable &= Term.isBranch() && !Term.isIndirectBranch(); in maybeUpdateTerminator()92 assert((AnyBarrier || AllAnalyzable) && in maybeUpdateTerminator()102 if (AllAnalyzable) in maybeUpdateTerminator()