Lines Matching defs:Case
770 Summary &Case(ConstraintSet &&CS, const ErrnoConstraintBase &ErrnoC,
775 Summary &Case(const ConstraintSet &CS, const ErrnoConstraintBase &ErrnoC,
810 for (const SummaryCase &Case : Cases)
811 for (const ValueConstraintPtr &Constraint : Case.getConstraints())
1373 for (const SummaryCase &Case : Summary.getCases()) {
1375 for (const ValueConstraintPtr &Constraint : Case.getConstraints()) {
1382 NewState = Case.getErrnoConstraint().apply(NewState, Call, Summary, C);
1397 std::string ErrnoNote = Case.getErrnoConstraint().describe(C);
1399 if (Case.getNote().empty()) {
1404 CaseNote = llvm::formatv(Case.getNote().str().c_str(), FunctionName);
1834 .Case({ArgumentCondition(0U, WithinRange,
1841 .Case({ArgumentCondition(0U, WithinRange, {{128, UCharRangeMax}})},
1843 .Case(
1855 .Case({ArgumentCondition(0U, WithinRange, {{'A', 'Z'}, {'a', 'z'}}),
1859 .Case({ArgumentCondition(0U, WithinRange, {{128, UCharRangeMax}})},
1861 .Case({ArgumentCondition(
1869 .Case({ArgumentCondition(0U, WithinRange, Range(0, 127)),
1872 .Case({ArgumentCondition(0U, OutOfRange, Range(0, 127)),
1879 .Case({ArgumentCondition(0U, WithinRange, {{'\t', '\t'}, {' ', ' '}}),
1882 .Case({ArgumentCondition(0U, OutOfRange, {{'\t', '\t'}, {' ', ' '}}),
1889 .Case({ArgumentCondition(0U, WithinRange, {{0, 32}, {127, 127}}),
1893 .Case({ArgumentCondition(0U, OutOfRange, {{0, 32}, {127, 127}}),
1900 .Case({ArgumentCondition(0U, WithinRange, Range('0', '9')),
1903 .Case({ArgumentCondition(0U, OutOfRange, Range('0', '9')),
1909 .Case({ArgumentCondition(0U, WithinRange, Range(33, 126)),
1913 .Case(
1922 .Case({ArgumentCondition(0U, WithinRange, Range('a', 'z')),
1926 .Case({ArgumentCondition(0U, WithinRange, Range(0, 127)),
1932 .Case({ArgumentCondition(0U, WithinRange, {{128, UCharRangeMax}})},
1935 .Case({ArgumentCondition(0U, OutOfRange, Range(0, UCharRangeMax)),
1941 .Case({ArgumentCondition(0U, WithinRange, Range(32, 126)),
1944 .Case({ArgumentCondition(0U, OutOfRange, Range(32, 126)),
1950 .Case({ArgumentCondition(
1955 .Case({ArgumentCondition(
1965 .Case({ArgumentCondition(0U, WithinRange, {{9, 13}, {' ', ' '}}),
1970 .Case({ArgumentCondition(0U, WithinRange, {{128, UCharRangeMax}})},
1972 .Case({ArgumentCondition(0U, OutOfRange,
1981 .Case({ArgumentCondition(0U, WithinRange, Range('A', 'Z')),
1986 .Case({ArgumentCondition(0U, WithinRange, {{128, UCharRangeMax}})},
1989 .Case({ArgumentCondition(0U, OutOfRange,
1997 .Case({ArgumentCondition(0U, WithinRange,
2002 .Case({ArgumentCondition(0U, OutOfRange,
2029 .Case({ReturnValueCondition(WithinRange,
2036 .Case({ArgumentCondition(1U, WithinRange, Range(1, SizeMax)),
2041 .Case({ArgumentCondition(1U, WithinRange, Range(1, SizeMax)),
2045 .Case({ArgumentCondition(1U, WithinRange, SingleValue(0)),
2074 .Case({ReturnValueCondition(LessThanOrEq, ArgNo(2)),
2092 .Case({ReturnValueCondition(WithinRange,
2122 .Case({NotNull(Ret)}, ErrnoIrrelevant,
2126 GetenvSummary.Case({NotNull(Ret)->negate()}, ErrnoIrrelevant,
2141 .Case({ReturnValueCondition(WithinRange,
2174 .Case({NotNull(Ret)}, ErrnoMustNotBeChecked, GenericSuccessMsg)
2175 .Case({IsNull(Ret)}, ErrnoNEZeroIrrelevant, GenericFailureMsg)
2184 .Case({NotNull(Ret)}, ErrnoMustNotBeChecked, GenericSuccessMsg)
2185 .Case({IsNull(Ret)}, ErrnoNEZeroIrrelevant, GenericFailureMsg)
2193 .Case({NotNull(Ret)}, ErrnoMustNotBeChecked, GenericSuccessMsg)
2194 .Case({IsNull(Ret)}, ErrnoNEZeroIrrelevant, GenericFailureMsg));
2204 .Case({ReturnValueCondition(BO_EQ, ArgNo(2))},
2206 .Case({IsNull(Ret)}, ErrnoNEZeroIrrelevant, GenericFailureMsg)
2215 .Case({NotNull(Ret)}, ErrnoMustNotBeChecked, GenericSuccessMsg)
2216 .Case({IsNull(Ret)}, ErrnoNEZeroIrrelevant, GenericFailureMsg)
2224 .Case(ReturnsZero, ErrnoMustNotBeChecked, GenericSuccessMsg)
2225 .Case(ReturnsEOF, ErrnoNEZeroIrrelevant, GenericFailureMsg)
2232 .Case({ReturnValueCondition(WithinRange, {{0, IntMax}})},
2234 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg)
2245 .Case({ReturnValueCondition(WithinRange, {{0, UCharRangeMax}})},
2247 .Case({ReturnValueCondition(WithinRange, SingleValue(EOFv))},
2257 .Case({ArgumentCondition(0, WithinRange, Range(0, UCharRangeMax)),
2260 .Case({ArgumentCondition(0, OutOfRange, Range(0, UCharRangeMax)),
2263 .Case({ReturnValueCondition(WithinRange, SingleValue(EOFv))},
2273 .Case({ReturnValueCondition(BO_EQ, ArgNo(0))},
2275 .Case({IsNull(Ret)}, ErrnoIrrelevant, GenericFailureMsg)
2288 .Case(ReturnsNonnegative, ErrnoMustNotBeChecked, GenericSuccessMsg)
2289 .Case({ReturnValueCondition(WithinRange, SingleValue(EOFv))},
2298 .Case({ReturnValueCondition(BO_EQ, ArgNo(0)),
2301 .Case({ReturnValueCondition(WithinRange, SingleValue(EOFv)),
2306 .Case({ReturnValueCondition(WithinRange, SingleValue(EOFv)),
2320 .Case(ReturnsZero, ErrnoMustNotBeChecked, GenericSuccessMsg)
2321 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg)
2330 .Case(ReturnsZero, ErrnoMustNotBeChecked, GenericSuccessMsg)
2331 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg)
2344 .Case(ReturnsZero, ErrnoUnchanged, GenericSuccessMsg)
2345 .Case(ReturnsNonZero, ErrnoNEZeroIrrelevant, GenericFailureMsg)
2357 .Case(ReturnsZero, ErrnoUnchanged, GenericSuccessMsg)
2358 .Case(ReturnsNonZero, ErrnoNEZeroIrrelevant, GenericFailureMsg)
2366 .Case(ReturnsZero, ErrnoMustNotBeChecked, GenericSuccessMsg)
2367 .Case(ReturnsEOF, ErrnoNEZeroIrrelevant, GenericFailureMsg));
2376 .Case({ReturnValueCondition(WithinRange, Range(0, LongMax))},
2378 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg)
2385 .Case({ReturnValueCondition(WithinRange, Range(0, Off_tMax))},
2387 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg)
2399 .Case(ReturnsValidFileDescriptor, ErrnoUnchanged, GenericSuccessMsg)
2407 .Case({}, ErrnoMustBeChecked)
2441 .Case(ReturnsValidFileDescriptor, ErrnoMustNotBeChecked,
2443 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg)
2451 .Case(ReturnsValidFileDescriptor, ErrnoMustNotBeChecked,
2453 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg)
2461 .Case(ReturnsZero, ErrnoMustNotBeChecked, GenericSuccessMsg)
2462 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg)
2471 .Case(ReturnsZero, ErrnoMustNotBeChecked, GenericSuccessMsg)
2472 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg)
2480 .Case(ReturnsValidFileDescriptor, ErrnoMustNotBeChecked,
2482 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg)
2490 .Case(ReturnsValidFileDescriptor, ErrnoMustNotBeChecked,
2492 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg)
2501 .Case(ReturnsZero, ErrnoMustNotBeChecked, GenericSuccessMsg)
2502 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg)
2519 .Case(ReturnsZero, ErrnoMustNotBeChecked, GenericSuccessMsg)
2520 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg)
2529 .Case(ReturnsZero, ErrnoMustNotBeChecked, GenericSuccessMsg)
2530 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg)
2538 .Case(ReturnsZero, ErrnoMustNotBeChecked, GenericSuccessMsg)
2539 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg)
2549 .Case(ReturnsZero, ErrnoMustNotBeChecked, GenericSuccessMsg)
2550 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg)
2559 .Case(ReturnsZero, ErrnoMustNotBeChecked, GenericSuccessMsg)
2560 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg)
2570 .Case(ReturnsValidFileDescriptor, ErrnoMustNotBeChecked,
2572 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg)
2589 .Case(ReturnsValidFileDescriptor, ErrnoMustNotBeChecked,
2591 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg)
2605 .Case(ReturnsZero, ErrnoMustNotBeChecked, GenericSuccessMsg)
2606 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg)
2632 .Case(ReturnsValidFileDescriptor, ErrnoMustNotBeChecked,
2634 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg)
2641 .Case({ReturnValueCondition(BO_EQ, ArgNo(0))},
2643 .Case({IsNull(Ret)}, ErrnoNEZeroIrrelevant, GenericFailureMsg)
2650 .Case({ArgumentCondition(1, WithinRange, Range(1, SizeMax)),
2653 .Case({ArgumentCondition(1, WithinRange, SingleValue(0)),
2656 .Case({ArgumentCondition(1, WithinRange, Range(1, SizeMax)),
2669 .Case(ReturnsZero, ErrnoMustNotBeChecked, GenericSuccessMsg)
2670 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg)
2678 .Case(ReturnsZero, ErrnoMustNotBeChecked, GenericSuccessMsg)
2679 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg)
2690 .Case(ReturnsZero, ErrnoMustNotBeChecked, GenericSuccessMsg)
2691 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg)
2700 .Case(ReturnsZero, ErrnoMustNotBeChecked, GenericSuccessMsg)
2701 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg)
2709 .Case(ReturnsZero, ErrnoMustNotBeChecked, GenericSuccessMsg)
2710 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg)
2719 .Case(ReturnsZero, ErrnoMustNotBeChecked, GenericSuccessMsg)
2720 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg)
2728 .Case(ReturnsZero, ErrnoMustNotBeChecked, GenericSuccessMsg)
2729 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg)
2743 .Case(ReturnsZero, ErrnoMustNotBeChecked, GenericSuccessMsg)
2744 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg)
2753 .Case(ReturnsZero, ErrnoMustNotBeChecked, GenericSuccessMsg)
2754 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg)
2762 .Case(ReturnsZero, ErrnoMustNotBeChecked, GenericSuccessMsg)
2763 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg)
2770 .Case(ReturnsZero, ErrnoMustNotBeChecked, GenericSuccessMsg)
2771 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg)
2779 .Case(ReturnsZero, ErrnoMustNotBeChecked, GenericSuccessMsg)
2780 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg)
2787 .Case(ReturnsZero, ErrnoMustNotBeChecked, GenericSuccessMsg)
2788 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg)
2796 .Case(ReturnsZero, ErrnoMustNotBeChecked, GenericSuccessMsg)
2797 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg)
2808 .Case(ReturnsZero, ErrnoMustNotBeChecked, GenericSuccessMsg)
2809 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg)
2819 .Case(ReturnsZero, ErrnoMustNotBeChecked, GenericSuccessMsg)
2820 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg)
2828 .Case(ReturnsZero, ErrnoMustNotBeChecked, GenericSuccessMsg)
2829 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg)
2842 .Case(ReturnsZero, ErrnoMustNotBeChecked, GenericSuccessMsg)
2843 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg)
2853 .Case(ReturnsZero, ErrnoMustNotBeChecked, GenericSuccessMsg)
2854 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg)
2864 .Case(ReturnsZero, ErrnoMustNotBeChecked, GenericSuccessMsg)
2865 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg)
2877 .Case(ReturnsZero, ErrnoMustNotBeChecked, GenericSuccessMsg)
2878 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg)
2887 .Case({NotNull(Ret)}, ErrnoMustNotBeChecked, GenericSuccessMsg)
2888 .Case({IsNull(Ret)}, ErrnoNEZeroIrrelevant, GenericFailureMsg)
2895 .Case({NotNull(Ret)}, ErrnoMustNotBeChecked, GenericSuccessMsg)
2896 .Case({IsNull(Ret)}, ErrnoNEZeroIrrelevant, GenericFailureMsg)
2904 .Case({ReturnValueCondition(WithinRange, Range(0, 1))},
2913 .Case(ReturnsZero, ErrnoMustNotBeChecked, GenericSuccessMsg)
2914 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg)
2974 .Case(ReturnsZero, ErrnoMustNotBeChecked, GenericSuccessMsg)
2975 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg)
2986 .Case(ReturnsNonnegative, ErrnoIrrelevant)
2987 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg)
2998 .Case({ArgumentCondition(2, WithinRange, Range(1, IntMax)),
3002 .Case({ArgumentCondition(2, WithinRange, SingleValue(0)),
3006 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg)
3022 .Case({ArgumentCondition(3, WithinRange, Range(1, IntMax)),
3026 .Case({ArgumentCondition(3, WithinRange, SingleValue(0)),
3030 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg)
3046 .Case(ReturnsZero, ErrnoMustNotBeChecked, GenericSuccessMsg)
3047 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg)
3062 .Case({NotNull(Ret)}, ErrnoMustNotBeChecked, GenericSuccessMsg)
3063 .Case({IsNull(Ret)}, ErrnoNEZeroIrrelevant, GenericFailureMsg)
3073 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant)
3081 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant)
3090 .Case({ReturnValueCondition(WithinRange, Range(-1, UCharRangeMax))},
3122 .Case(ReturnsValidFileDescriptor, ErrnoMustNotBeChecked,
3124 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg));
3128 .Case(ReturnsValidFileDescriptor, ErrnoMustNotBeChecked,
3130 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg)
3153 .Case(ReturnsZero, ErrnoMustNotBeChecked, GenericSuccessMsg)
3154 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg)
3167 .Case(ReturnsZero, ErrnoMustNotBeChecked, GenericSuccessMsg)
3168 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg)
3182 .Case(ReturnsZero, ErrnoMustNotBeChecked, GenericSuccessMsg)
3183 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg)
3193 .Case(ReturnsZero, ErrnoMustNotBeChecked, GenericSuccessMsg)
3194 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg)
3206 .Case(ReturnsZero, ErrnoMustNotBeChecked, GenericSuccessMsg)
3207 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg)
3217 .Case(ReturnsZero, ErrnoMustNotBeChecked, GenericSuccessMsg)
3218 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg)
3229 .Case(ReturnsZero, ErrnoMustNotBeChecked, GenericSuccessMsg)
3230 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg)
3238 .Case(ReturnsZero, ErrnoMustNotBeChecked, GenericSuccessMsg)
3239 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg)
3245 .Case({ReturnValueCondition(LessThanOrEq, ArgNo(2)),
3248 .Case({ReturnValueCondition(WithinRange, SingleValue(0)),
3251 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg)
3275 .Case({ReturnValueCondition(LessThanOrEq, ArgNo(2)),
3278 .Case({ReturnValueCondition(WithinRange, SingleValue(0)),
3281 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg)
3305 .Case(ReturnsZero, ErrnoMustNotBeChecked, GenericSuccessMsg)
3306 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg)
3316 .Case({ReturnValueCondition(LessThanOrEq, ArgNo(2)),
3319 .Case({ReturnValueCondition(WithinRange, SingleValue(0)),
3322 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg)
3338 .Case({ReturnValueCondition(WithinRange, Range(1, Ssize_tMax))},
3340 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg)
3350 .Case({ReturnValueCondition(WithinRange, Range(1, Ssize_tMax))},
3352 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg)
3363 .Case(ReturnsZero, ErrnoMustNotBeChecked, GenericSuccessMsg)
3364 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg)
3380 .Case(ReturnsZero, ErrnoMustNotBeChecked, GenericSuccessMsg)
3381 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg)
3391 .Case({ReturnValueCondition(LessThanOrEq, ArgNo(2)),
3394 .Case({ReturnValueCondition(WithinRange, SingleValue(0)),
3397 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg)
3407 .Case(ReturnsZero, ErrnoMustNotBeChecked, GenericSuccessMsg)
3408 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg)
3415 .Case(ReturnsZero, ErrnoMustNotBeChecked, GenericSuccessMsg)
3416 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg)
3455 .Case(ReturnsZero, ErrnoMustNotBeChecked, GenericSuccessMsg)
3456 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg)
3470 .Case(ReturnsZero, ErrnoMustNotBeChecked, GenericSuccessMsg)
3471 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg)
3483 .Case(ReturnsZero, ErrnoMustNotBeChecked, GenericSuccessMsg)
3484 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg)
3497 .Case(ReturnsZero, ErrnoMustNotBeChecked, GenericSuccessMsg)
3498 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg)
3507 .Case(ReturnsZero, ErrnoMustNotBeChecked, GenericSuccessMsg)
3508 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg)
3586 .Case(ReturnsZero, ErrnoMustNotBeChecked, GenericSuccessMsg)
3587 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg)
3599 .Case(ReturnsZero, ErrnoMustNotBeChecked, GenericSuccessMsg)
3600 .Case(ReturnsMinusOne, ErrnoNEZeroIrrelevant, GenericFailureMsg)
3907 .Case({ReturnValueCondition(WithinRange, SingleValue(0))},
3909 .Case({ReturnValueCondition(WithinRange, SingleValue(1))},
3915 .Case({ArgumentCondition(0U, WithinRange,
3919 .Case({ArgumentCondition(0U, WithinRange,
3923 .Case({ArgumentCondition(0U, WithinRange,
3927 .Case({ArgumentCondition(