Lines Matching refs:GenericSuccessMsg
1811 constexpr llvm::StringLiteral GenericSuccessMsg( in initFunctionSummaries() local
2044 ErrnoMustNotBeChecked, GenericSuccessMsg) in initFunctionSummaries()
2174 .Case({NotNull(Ret)}, ErrnoMustNotBeChecked, GenericSuccessMsg) in initFunctionSummaries()
2184 .Case({NotNull(Ret)}, ErrnoMustNotBeChecked, GenericSuccessMsg) in initFunctionSummaries()
2193 .Case({NotNull(Ret)}, ErrnoMustNotBeChecked, GenericSuccessMsg) in initFunctionSummaries()
2205 ErrnoMustNotBeChecked, GenericSuccessMsg) in initFunctionSummaries()
2215 .Case({NotNull(Ret)}, ErrnoMustNotBeChecked, GenericSuccessMsg) in initFunctionSummaries()
2224 .Case(ReturnsZero, ErrnoMustNotBeChecked, GenericSuccessMsg) in initFunctionSummaries()
2233 ErrnoMustNotBeChecked, GenericSuccessMsg) in initFunctionSummaries()
2246 ErrnoMustNotBeChecked, GenericSuccessMsg) in initFunctionSummaries()
2259 ErrnoMustNotBeChecked, GenericSuccessMsg) in initFunctionSummaries()
2262 ErrnoMustNotBeChecked, GenericSuccessMsg) in initFunctionSummaries()
2274 ErrnoMustNotBeChecked, GenericSuccessMsg) in initFunctionSummaries()
2288 .Case(ReturnsNonnegative, ErrnoMustNotBeChecked, GenericSuccessMsg) in initFunctionSummaries()
2300 ErrnoMustNotBeChecked, GenericSuccessMsg) in initFunctionSummaries()
2320 .Case(ReturnsZero, ErrnoMustNotBeChecked, GenericSuccessMsg) in initFunctionSummaries()
2330 .Case(ReturnsZero, ErrnoMustNotBeChecked, GenericSuccessMsg) in initFunctionSummaries()
2344 .Case(ReturnsZero, ErrnoUnchanged, GenericSuccessMsg) in initFunctionSummaries()
2357 .Case(ReturnsZero, ErrnoUnchanged, GenericSuccessMsg) in initFunctionSummaries()
2366 .Case(ReturnsZero, ErrnoMustNotBeChecked, GenericSuccessMsg) in initFunctionSummaries()
2377 ErrnoUnchanged, GenericSuccessMsg) in initFunctionSummaries()
2386 ErrnoMustNotBeChecked, GenericSuccessMsg) in initFunctionSummaries()
2399 .Case(ReturnsValidFileDescriptor, ErrnoUnchanged, GenericSuccessMsg) in initFunctionSummaries()
2442 GenericSuccessMsg) in initFunctionSummaries()
2452 GenericSuccessMsg) in initFunctionSummaries()
2461 .Case(ReturnsZero, ErrnoMustNotBeChecked, GenericSuccessMsg) in initFunctionSummaries()
2471 .Case(ReturnsZero, ErrnoMustNotBeChecked, GenericSuccessMsg) in initFunctionSummaries()
2481 GenericSuccessMsg) in initFunctionSummaries()
2491 GenericSuccessMsg) in initFunctionSummaries()
2501 .Case(ReturnsZero, ErrnoMustNotBeChecked, GenericSuccessMsg) in initFunctionSummaries()
2519 .Case(ReturnsZero, ErrnoMustNotBeChecked, GenericSuccessMsg) in initFunctionSummaries()
2529 .Case(ReturnsZero, ErrnoMustNotBeChecked, GenericSuccessMsg) in initFunctionSummaries()
2538 .Case(ReturnsZero, ErrnoMustNotBeChecked, GenericSuccessMsg) in initFunctionSummaries()
2549 .Case(ReturnsZero, ErrnoMustNotBeChecked, GenericSuccessMsg) in initFunctionSummaries()
2559 .Case(ReturnsZero, ErrnoMustNotBeChecked, GenericSuccessMsg) in initFunctionSummaries()
2571 GenericSuccessMsg) in initFunctionSummaries()
2590 GenericSuccessMsg) in initFunctionSummaries()
2605 .Case(ReturnsZero, ErrnoMustNotBeChecked, GenericSuccessMsg) in initFunctionSummaries()
2633 GenericSuccessMsg) in initFunctionSummaries()
2642 ErrnoMustNotBeChecked, GenericSuccessMsg) in initFunctionSummaries()
2652 ErrnoMustNotBeChecked, GenericSuccessMsg) in initFunctionSummaries()
2669 .Case(ReturnsZero, ErrnoMustNotBeChecked, GenericSuccessMsg) in initFunctionSummaries()
2678 .Case(ReturnsZero, ErrnoMustNotBeChecked, GenericSuccessMsg) in initFunctionSummaries()
2690 .Case(ReturnsZero, ErrnoMustNotBeChecked, GenericSuccessMsg) in initFunctionSummaries()
2700 .Case(ReturnsZero, ErrnoMustNotBeChecked, GenericSuccessMsg) in initFunctionSummaries()
2709 .Case(ReturnsZero, ErrnoMustNotBeChecked, GenericSuccessMsg) in initFunctionSummaries()
2719 .Case(ReturnsZero, ErrnoMustNotBeChecked, GenericSuccessMsg) in initFunctionSummaries()
2728 .Case(ReturnsZero, ErrnoMustNotBeChecked, GenericSuccessMsg) in initFunctionSummaries()
2743 .Case(ReturnsZero, ErrnoMustNotBeChecked, GenericSuccessMsg) in initFunctionSummaries()
2753 .Case(ReturnsZero, ErrnoMustNotBeChecked, GenericSuccessMsg) in initFunctionSummaries()
2762 .Case(ReturnsZero, ErrnoMustNotBeChecked, GenericSuccessMsg) in initFunctionSummaries()
2770 .Case(ReturnsZero, ErrnoMustNotBeChecked, GenericSuccessMsg) in initFunctionSummaries()
2779 .Case(ReturnsZero, ErrnoMustNotBeChecked, GenericSuccessMsg) in initFunctionSummaries()
2787 .Case(ReturnsZero, ErrnoMustNotBeChecked, GenericSuccessMsg) in initFunctionSummaries()
2796 .Case(ReturnsZero, ErrnoMustNotBeChecked, GenericSuccessMsg) in initFunctionSummaries()
2808 .Case(ReturnsZero, ErrnoMustNotBeChecked, GenericSuccessMsg) in initFunctionSummaries()
2819 .Case(ReturnsZero, ErrnoMustNotBeChecked, GenericSuccessMsg) in initFunctionSummaries()
2828 .Case(ReturnsZero, ErrnoMustNotBeChecked, GenericSuccessMsg) in initFunctionSummaries()
2842 .Case(ReturnsZero, ErrnoMustNotBeChecked, GenericSuccessMsg) in initFunctionSummaries()
2853 .Case(ReturnsZero, ErrnoMustNotBeChecked, GenericSuccessMsg) in initFunctionSummaries()
2864 .Case(ReturnsZero, ErrnoMustNotBeChecked, GenericSuccessMsg) in initFunctionSummaries()
2877 .Case(ReturnsZero, ErrnoMustNotBeChecked, GenericSuccessMsg) in initFunctionSummaries()
2887 .Case({NotNull(Ret)}, ErrnoMustNotBeChecked, GenericSuccessMsg) in initFunctionSummaries()
2895 .Case({NotNull(Ret)}, ErrnoMustNotBeChecked, GenericSuccessMsg) in initFunctionSummaries()
2913 .Case(ReturnsZero, ErrnoMustNotBeChecked, GenericSuccessMsg) in initFunctionSummaries()
2974 .Case(ReturnsZero, ErrnoMustNotBeChecked, GenericSuccessMsg) in initFunctionSummaries()
3001 ErrnoMustNotBeChecked, GenericSuccessMsg) in initFunctionSummaries()
3025 ErrnoMustNotBeChecked, GenericSuccessMsg) in initFunctionSummaries()
3046 .Case(ReturnsZero, ErrnoMustNotBeChecked, GenericSuccessMsg) in initFunctionSummaries()
3062 .Case({NotNull(Ret)}, ErrnoMustNotBeChecked, GenericSuccessMsg) in initFunctionSummaries()
3123 GenericSuccessMsg) in initFunctionSummaries()
3129 GenericSuccessMsg) in initFunctionSummaries()
3153 .Case(ReturnsZero, ErrnoMustNotBeChecked, GenericSuccessMsg) in initFunctionSummaries()
3167 .Case(ReturnsZero, ErrnoMustNotBeChecked, GenericSuccessMsg) in initFunctionSummaries()
3182 .Case(ReturnsZero, ErrnoMustNotBeChecked, GenericSuccessMsg) in initFunctionSummaries()
3193 .Case(ReturnsZero, ErrnoMustNotBeChecked, GenericSuccessMsg) in initFunctionSummaries()
3206 .Case(ReturnsZero, ErrnoMustNotBeChecked, GenericSuccessMsg) in initFunctionSummaries()
3217 .Case(ReturnsZero, ErrnoMustNotBeChecked, GenericSuccessMsg) in initFunctionSummaries()
3229 .Case(ReturnsZero, ErrnoMustNotBeChecked, GenericSuccessMsg) in initFunctionSummaries()
3238 .Case(ReturnsZero, ErrnoMustNotBeChecked, GenericSuccessMsg) in initFunctionSummaries()
3247 ErrnoMustNotBeChecked, GenericSuccessMsg) in initFunctionSummaries()
3250 ErrnoMustNotBeChecked, GenericSuccessMsg) in initFunctionSummaries()
3277 ErrnoMustNotBeChecked, GenericSuccessMsg) in initFunctionSummaries()
3280 ErrnoMustNotBeChecked, GenericSuccessMsg) in initFunctionSummaries()
3305 .Case(ReturnsZero, ErrnoMustNotBeChecked, GenericSuccessMsg) in initFunctionSummaries()
3318 ErrnoMustNotBeChecked, GenericSuccessMsg) in initFunctionSummaries()
3321 ErrnoMustNotBeChecked, GenericSuccessMsg) in initFunctionSummaries()
3339 ErrnoMustNotBeChecked, GenericSuccessMsg) in initFunctionSummaries()
3351 ErrnoMustNotBeChecked, GenericSuccessMsg) in initFunctionSummaries()
3363 .Case(ReturnsZero, ErrnoMustNotBeChecked, GenericSuccessMsg) in initFunctionSummaries()
3380 .Case(ReturnsZero, ErrnoMustNotBeChecked, GenericSuccessMsg) in initFunctionSummaries()
3393 ErrnoMustNotBeChecked, GenericSuccessMsg) in initFunctionSummaries()
3396 ErrnoMustNotBeChecked, GenericSuccessMsg) in initFunctionSummaries()
3407 .Case(ReturnsZero, ErrnoMustNotBeChecked, GenericSuccessMsg) in initFunctionSummaries()
3415 .Case(ReturnsZero, ErrnoMustNotBeChecked, GenericSuccessMsg) in initFunctionSummaries()
3455 .Case(ReturnsZero, ErrnoMustNotBeChecked, GenericSuccessMsg) in initFunctionSummaries()
3470 .Case(ReturnsZero, ErrnoMustNotBeChecked, GenericSuccessMsg) in initFunctionSummaries()
3483 .Case(ReturnsZero, ErrnoMustNotBeChecked, GenericSuccessMsg) in initFunctionSummaries()
3497 .Case(ReturnsZero, ErrnoMustNotBeChecked, GenericSuccessMsg) in initFunctionSummaries()
3507 .Case(ReturnsZero, ErrnoMustNotBeChecked, GenericSuccessMsg) in initFunctionSummaries()
3586 .Case(ReturnsZero, ErrnoMustNotBeChecked, GenericSuccessMsg) in initFunctionSummaries()
3599 .Case(ReturnsZero, ErrnoMustNotBeChecked, GenericSuccessMsg) in initFunctionSummaries()