Lines Matching refs:GenericFailureMsg
1813 constexpr llvm::StringLiteral GenericFailureMsg("Assuming that '{0}' fails"); in initFunctionSummaries() local
2040 ErrnoNEZeroIrrelevant, GenericFailureMsg) in initFunctionSummaries()
2175 .Case({IsNull(Ret)}, ErrnoNEZeroIrrelevant, GenericFailureMsg) in initFunctionSummaries()
2185 .Case({IsNull(Ret)}, ErrnoNEZeroIrrelevant, GenericFailureMsg) in initFunctionSummaries()
2194 .Case({IsNull(Ret)}, ErrnoNEZeroIrrelevant, GenericFailureMsg)); in initFunctionSummaries()
2206 .Case({IsNull(Ret)}, ErrnoNEZeroIrrelevant, GenericFailureMsg) in initFunctionSummaries()
2216 .Case({IsNull(Ret)}, ErrnoNEZeroIrrelevant, GenericFailureMsg) in initFunctionSummaries()
2225 .Case(ReturnsEOF, ErrnoNEZeroIrrelevant, GenericFailureMsg) in initFunctionSummaries()
2234 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg) in initFunctionSummaries()
2248 ErrnoIrrelevant, GenericFailureMsg) in initFunctionSummaries()
2264 ErrnoNEZeroIrrelevant, GenericFailureMsg) in initFunctionSummaries()
2275 .Case({IsNull(Ret)}, ErrnoIrrelevant, GenericFailureMsg) in initFunctionSummaries()
2290 ErrnoNEZeroIrrelevant, GenericFailureMsg) in initFunctionSummaries()
2308 ErrnoNEZeroIrrelevant, GenericFailureMsg) in initFunctionSummaries()
2321 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg) in initFunctionSummaries()
2331 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg) in initFunctionSummaries()
2345 .Case(ReturnsNonZero, ErrnoNEZeroIrrelevant, GenericFailureMsg) in initFunctionSummaries()
2358 .Case(ReturnsNonZero, ErrnoNEZeroIrrelevant, GenericFailureMsg) in initFunctionSummaries()
2367 .Case(ReturnsEOF, ErrnoNEZeroIrrelevant, GenericFailureMsg)); in initFunctionSummaries()
2378 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg) in initFunctionSummaries()
2387 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg) in initFunctionSummaries()
2443 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg) in initFunctionSummaries()
2453 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg) in initFunctionSummaries()
2462 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg) in initFunctionSummaries()
2472 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg) in initFunctionSummaries()
2482 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg) in initFunctionSummaries()
2492 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg) in initFunctionSummaries()
2502 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg) in initFunctionSummaries()
2520 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg) in initFunctionSummaries()
2530 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg) in initFunctionSummaries()
2539 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg) in initFunctionSummaries()
2550 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg) in initFunctionSummaries()
2560 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg) in initFunctionSummaries()
2572 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg) in initFunctionSummaries()
2591 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg) in initFunctionSummaries()
2606 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg) in initFunctionSummaries()
2634 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg) in initFunctionSummaries()
2643 .Case({IsNull(Ret)}, ErrnoNEZeroIrrelevant, GenericFailureMsg) in initFunctionSummaries()
2658 ErrnoNEZeroIrrelevant, GenericFailureMsg) in initFunctionSummaries()
2670 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg) in initFunctionSummaries()
2679 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg) in initFunctionSummaries()
2691 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg) in initFunctionSummaries()
2701 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg) in initFunctionSummaries()
2710 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg) in initFunctionSummaries()
2720 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg) in initFunctionSummaries()
2729 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg) in initFunctionSummaries()
2744 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg) in initFunctionSummaries()
2754 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg) in initFunctionSummaries()
2763 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg) in initFunctionSummaries()
2771 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg) in initFunctionSummaries()
2780 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg) in initFunctionSummaries()
2788 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg) in initFunctionSummaries()
2797 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg) in initFunctionSummaries()
2809 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg) in initFunctionSummaries()
2820 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg) in initFunctionSummaries()
2829 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg) in initFunctionSummaries()
2843 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg) in initFunctionSummaries()
2854 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg) in initFunctionSummaries()
2865 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg) in initFunctionSummaries()
2878 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg) in initFunctionSummaries()
2888 .Case({IsNull(Ret)}, ErrnoNEZeroIrrelevant, GenericFailureMsg) in initFunctionSummaries()
2896 .Case({IsNull(Ret)}, ErrnoNEZeroIrrelevant, GenericFailureMsg) in initFunctionSummaries()
2914 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg) in initFunctionSummaries()
2975 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg) in initFunctionSummaries()
2987 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg) in initFunctionSummaries()
3006 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg) in initFunctionSummaries()
3030 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg) in initFunctionSummaries()
3047 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg) in initFunctionSummaries()
3063 .Case({IsNull(Ret)}, ErrnoNEZeroIrrelevant, GenericFailureMsg) in initFunctionSummaries()
3124 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg)); in initFunctionSummaries()
3130 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg) in initFunctionSummaries()
3154 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg) in initFunctionSummaries()
3168 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg) in initFunctionSummaries()
3183 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg) in initFunctionSummaries()
3194 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg) in initFunctionSummaries()
3207 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg) in initFunctionSummaries()
3218 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg) in initFunctionSummaries()
3230 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg) in initFunctionSummaries()
3239 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg) in initFunctionSummaries()
3251 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg) in initFunctionSummaries()
3281 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg) in initFunctionSummaries()
3306 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg) in initFunctionSummaries()
3322 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg) in initFunctionSummaries()
3340 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg) in initFunctionSummaries()
3352 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg) in initFunctionSummaries()
3364 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg) in initFunctionSummaries()
3381 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg) in initFunctionSummaries()
3397 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg) in initFunctionSummaries()
3408 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg) in initFunctionSummaries()
3416 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg) in initFunctionSummaries()
3456 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg) in initFunctionSummaries()
3471 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg) in initFunctionSummaries()
3484 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg) in initFunctionSummaries()
3498 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg) in initFunctionSummaries()
3508 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg) in initFunctionSummaries()
3587 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg) in initFunctionSummaries()
3600 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg) in initFunctionSummaries()