Searched refs:AllAnalyzable (Results 1 – 1 of 1) sorted by relevance
83 bool AllAnalyzable = true; in maybeUpdateTerminator() local88 AllAnalyzable &= Term.isBranch() && !Term.isIndirectBranch(); in maybeUpdateTerminator()90 assert((AnyBarrier || AllAnalyzable) && in maybeUpdateTerminator()100 if (AllAnalyzable) in maybeUpdateTerminator()