Lines Matching refs:GenericFailureMsg

1813   constexpr llvm::StringLiteral GenericFailureMsg("Assuming that '{0}' fails");  in initFunctionSummaries()  local
2047 ErrnoNEZeroIrrelevant, GenericFailureMsg) in initFunctionSummaries()
2172 .Case({IsNull(Ret)}, ErrnoNEZeroIrrelevant, GenericFailureMsg) in initFunctionSummaries()
2182 .Case({IsNull(Ret)}, ErrnoNEZeroIrrelevant, GenericFailureMsg) in initFunctionSummaries()
2191 .Case({IsNull(Ret)}, ErrnoNEZeroIrrelevant, GenericFailureMsg)); in initFunctionSummaries()
2203 .Case({IsNull(Ret)}, ErrnoNEZeroIrrelevant, GenericFailureMsg) in initFunctionSummaries()
2212 .Case(ReturnsEOF, ErrnoNEZeroIrrelevant, GenericFailureMsg) in initFunctionSummaries()
2229 ErrnoNEZeroIrrelevant, GenericFailureMsg) in initFunctionSummaries()
2245 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg) in initFunctionSummaries()
2255 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg) in initFunctionSummaries()
2269 .Case(ReturnsNonZero, ErrnoNEZeroIrrelevant, GenericFailureMsg) in initFunctionSummaries()
2282 .Case(ReturnsNonZero, ErrnoNEZeroIrrelevant, GenericFailureMsg) in initFunctionSummaries()
2291 .Case(ReturnsEOF, ErrnoNEZeroIrrelevant, GenericFailureMsg)); in initFunctionSummaries()
2302 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg) in initFunctionSummaries()
2311 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg) in initFunctionSummaries()
2320 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg) in initFunctionSummaries()
2364 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg) in initFunctionSummaries()
2374 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg) in initFunctionSummaries()
2383 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg) in initFunctionSummaries()
2393 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg) in initFunctionSummaries()
2403 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg) in initFunctionSummaries()
2413 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg) in initFunctionSummaries()
2423 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg) in initFunctionSummaries()
2441 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg) in initFunctionSummaries()
2451 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg) in initFunctionSummaries()
2460 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg) in initFunctionSummaries()
2471 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg) in initFunctionSummaries()
2481 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg) in initFunctionSummaries()
2493 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg) in initFunctionSummaries()
2512 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg) in initFunctionSummaries()
2527 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg) in initFunctionSummaries()
2555 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg) in initFunctionSummaries()
2564 .Case({IsNull(Ret)}, ErrnoNEZeroIrrelevant, GenericFailureMsg) in initFunctionSummaries()
2579 ErrnoNEZeroIrrelevant, GenericFailureMsg) in initFunctionSummaries()
2591 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg) in initFunctionSummaries()
2600 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg) in initFunctionSummaries()
2612 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg) in initFunctionSummaries()
2622 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg) in initFunctionSummaries()
2631 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg) in initFunctionSummaries()
2641 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg) in initFunctionSummaries()
2650 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg) in initFunctionSummaries()
2665 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg) in initFunctionSummaries()
2675 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg) in initFunctionSummaries()
2684 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg) in initFunctionSummaries()
2692 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg) in initFunctionSummaries()
2701 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg) in initFunctionSummaries()
2709 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg) in initFunctionSummaries()
2718 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg) in initFunctionSummaries()
2730 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg) in initFunctionSummaries()
2741 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg) in initFunctionSummaries()
2750 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg) in initFunctionSummaries()
2764 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg) in initFunctionSummaries()
2775 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg) in initFunctionSummaries()
2786 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg) in initFunctionSummaries()
2799 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg) in initFunctionSummaries()
2809 .Case({IsNull(Ret)}, ErrnoNEZeroIrrelevant, GenericFailureMsg) in initFunctionSummaries()
2817 .Case({IsNull(Ret)}, ErrnoNEZeroIrrelevant, GenericFailureMsg) in initFunctionSummaries()
2850 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg) in initFunctionSummaries()
2911 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg) in initFunctionSummaries()
2923 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg) in initFunctionSummaries()
2942 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg) in initFunctionSummaries()
2966 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg) in initFunctionSummaries()
2983 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg) in initFunctionSummaries()
3056 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg)); in initFunctionSummaries()
3062 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg) in initFunctionSummaries()
3086 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg) in initFunctionSummaries()
3100 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg) in initFunctionSummaries()
3115 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg) in initFunctionSummaries()
3126 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg) in initFunctionSummaries()
3139 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg) in initFunctionSummaries()
3150 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg) in initFunctionSummaries()
3162 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg) in initFunctionSummaries()
3171 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg) in initFunctionSummaries()
3183 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg) in initFunctionSummaries()
3213 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg) in initFunctionSummaries()
3238 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg) in initFunctionSummaries()
3254 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg) in initFunctionSummaries()
3272 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg) in initFunctionSummaries()
3284 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg) in initFunctionSummaries()
3296 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg) in initFunctionSummaries()
3313 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg) in initFunctionSummaries()
3329 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg) in initFunctionSummaries()
3340 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg) in initFunctionSummaries()
3348 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg) in initFunctionSummaries()
3388 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg) in initFunctionSummaries()
3403 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg) in initFunctionSummaries()
3416 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg) in initFunctionSummaries()
3430 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg) in initFunctionSummaries()
3440 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg) in initFunctionSummaries()
3519 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg) in initFunctionSummaries()
3532 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg) in initFunctionSummaries()