Lines Matching refs:ErrnoMustNotBeChecked
898 const SuccessErrnoConstraint ErrnoMustNotBeChecked{}; member in __anon4d759d9c0111::StdLibraryFunctionsChecker
2044 ErrnoMustNotBeChecked, GenericSuccessMsg) in initFunctionSummaries()
2047 ErrnoMustNotBeChecked, 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()
2366 .Case(ReturnsZero, ErrnoMustNotBeChecked, GenericSuccessMsg) in initFunctionSummaries()
2386 ErrnoMustNotBeChecked, GenericSuccessMsg) in initFunctionSummaries()
2441 .Case(ReturnsValidFileDescriptor, ErrnoMustNotBeChecked, in initFunctionSummaries()
2451 .Case(ReturnsValidFileDescriptor, ErrnoMustNotBeChecked, in initFunctionSummaries()
2461 .Case(ReturnsZero, ErrnoMustNotBeChecked, GenericSuccessMsg) in initFunctionSummaries()
2471 .Case(ReturnsZero, ErrnoMustNotBeChecked, GenericSuccessMsg) in initFunctionSummaries()
2480 .Case(ReturnsValidFileDescriptor, ErrnoMustNotBeChecked, in initFunctionSummaries()
2490 .Case(ReturnsValidFileDescriptor, ErrnoMustNotBeChecked, 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()
2570 .Case(ReturnsValidFileDescriptor, ErrnoMustNotBeChecked, in initFunctionSummaries()
2589 .Case(ReturnsValidFileDescriptor, ErrnoMustNotBeChecked, in initFunctionSummaries()
2605 .Case(ReturnsZero, ErrnoMustNotBeChecked, GenericSuccessMsg) in initFunctionSummaries()
2632 .Case(ReturnsValidFileDescriptor, ErrnoMustNotBeChecked, 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()
3004 ErrnoMustNotBeChecked, in initFunctionSummaries()
3025 ErrnoMustNotBeChecked, GenericSuccessMsg) in initFunctionSummaries()
3028 ErrnoMustNotBeChecked, in initFunctionSummaries()
3046 .Case(ReturnsZero, ErrnoMustNotBeChecked, GenericSuccessMsg) in initFunctionSummaries()
3062 .Case({NotNull(Ret)}, ErrnoMustNotBeChecked, GenericSuccessMsg) in initFunctionSummaries()
3122 .Case(ReturnsValidFileDescriptor, ErrnoMustNotBeChecked, in initFunctionSummaries()
3128 .Case(ReturnsValidFileDescriptor, ErrnoMustNotBeChecked, 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()