reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
7080 assert((AllowPredicates || EL.Predicates.empty()) && 7085 if (EL.ExactNotTaken == getCouldNotCompute()) 7090 ExitCounts.emplace_back(ExitBB, EL); 7102 if (EL.MaxNotTaken != getCouldNotCompute() && Latch && 7105 MustExitMaxBECount = EL.MaxNotTaken; 7106 MustExitMaxOrZero = EL.MaxOrZero; 7109 getUMinFromMismatchedTypes(MustExitMaxBECount, EL.MaxNotTaken); 7112 if (!MayExitMaxBECount || EL.MaxNotTaken == getCouldNotCompute()) 7113 MayExitMaxBECount = EL.MaxNotTaken; 7116 getUMaxFromMismatchedTypes(MayExitMaxBECount, EL.MaxNotTaken);