762   const SuccessErrnoConstraint ErrnoMustNotBeChecked;  member in __anon09a2c6cc0111::StdLibraryFunctionsChecker
1721             .Case(ReturnsZero, ErrnoMustNotBeChecked)  in initFunctionSummaries()
1731             .Case(ReturnsZero, ErrnoMustNotBeChecked)  in initFunctionSummaries()
1739             .Case(ReturnsValidFileDescriptor, ErrnoMustNotBeChecked)  in initFunctionSummaries()
1748             .Case(ReturnsValidFileDescriptor, ErrnoMustNotBeChecked)  in initFunctionSummaries()
1758                                 .Case(ReturnsZero, ErrnoMustNotBeChecked)  in initFunctionSummaries()
1775                                 .Case(ReturnsZero, ErrnoMustNotBeChecked)  in initFunctionSummaries()
1787             .Case(ReturnsZero, ErrnoMustNotBeChecked)  in initFunctionSummaries()
1796             .Case(ReturnsZero, ErrnoMustNotBeChecked)  in initFunctionSummaries()
1807             .Case(ReturnsZero, ErrnoMustNotBeChecked)  in initFunctionSummaries()
1817             .Case(ReturnsZero, ErrnoMustNotBeChecked)  in initFunctionSummaries()
1828             .Case(ReturnsValidFileDescriptor, ErrnoMustNotBeChecked)  in initFunctionSummaries()
1846             .Case(ReturnsValidFileDescriptor, ErrnoMustNotBeChecked)  in initFunctionSummaries()
1861                                 .Case(ReturnsZero, ErrnoMustNotBeChecked)  in initFunctionSummaries()
1888             .Case(ReturnsValidFileDescriptor, ErrnoMustNotBeChecked)  in initFunctionSummaries()
1910             .Case(ReturnsZero, ErrnoMustNotBeChecked)  in initFunctionSummaries()
1919             .Case(ReturnsZero, ErrnoMustNotBeChecked)  in initFunctionSummaries()
1930             .Case(ReturnsZero, ErrnoMustNotBeChecked)  in initFunctionSummaries()
1940             .Case(ReturnsZero, ErrnoMustNotBeChecked)  in initFunctionSummaries()
1948             .Case(ReturnsZero, ErrnoMustNotBeChecked)  in initFunctionSummaries()
1958             .Case(ReturnsZero, ErrnoMustNotBeChecked)  in initFunctionSummaries()
1967             .Case(ReturnsZero, ErrnoMustNotBeChecked)  in initFunctionSummaries()
1982             .Case(ReturnsZero, ErrnoMustNotBeChecked)  in initFunctionSummaries()
1992             .Case(ReturnsZero, ErrnoMustNotBeChecked)  in initFunctionSummaries()
2001             .Case(ReturnsZero, ErrnoMustNotBeChecked)  in initFunctionSummaries()
2009             .Case(ReturnsZero, ErrnoMustNotBeChecked)  in initFunctionSummaries()
2018                                 .Case(ReturnsZero, ErrnoMustNotBeChecked)  in initFunctionSummaries()
2026                                 .Case(ReturnsZero, ErrnoMustNotBeChecked)  in initFunctionSummaries()
2035             .Case(ReturnsZero, ErrnoMustNotBeChecked)  in initFunctionSummaries()
2047             .Case(ReturnsZero, ErrnoMustNotBeChecked)  in initFunctionSummaries()
2058                                 .Case(ReturnsZero, ErrnoMustNotBeChecked)  in initFunctionSummaries()
2067             .Case(ReturnsZero, ErrnoMustNotBeChecked)  in initFunctionSummaries()
2080             .Case(ReturnsZero, ErrnoMustNotBeChecked)  in initFunctionSummaries()
2091             .Case(ReturnsZero, ErrnoMustNotBeChecked)  in initFunctionSummaries()
2102             .Case(ReturnsZero, ErrnoMustNotBeChecked)  in initFunctionSummaries()
2115             .Case(ReturnsZero, ErrnoMustNotBeChecked)  in initFunctionSummaries()
2162                                 .Case(ReturnsZero, ErrnoMustNotBeChecked)  in initFunctionSummaries()
2207             .Case(ReturnsValidFileDescriptor, ErrnoMustNotBeChecked)  in initFunctionSummaries()
2253                                 .Case(ReturnsZero, ErrnoMustNotBeChecked)  in initFunctionSummaries()
2279                   ErrnoMustNotBeChecked)  in initFunctionSummaries()
2298                   ErrnoMustNotBeChecked)  in initFunctionSummaries()
2315             .Case(ReturnsZero, ErrnoMustNotBeChecked)  in initFunctionSummaries()
2382             .Case(ReturnsValidFileDescriptor, ErrnoMustNotBeChecked)  in initFunctionSummaries()
2406                 .Case(ReturnsZero, ErrnoMustNotBeChecked)  in initFunctionSummaries()
2420               .Case(ReturnsZero, ErrnoMustNotBeChecked)  in initFunctionSummaries()
2435                 .Case(ReturnsZero, ErrnoMustNotBeChecked)  in initFunctionSummaries()
2446               .Case(ReturnsZero, ErrnoMustNotBeChecked)  in initFunctionSummaries()
2459                 .Case(ReturnsZero, ErrnoMustNotBeChecked)  in initFunctionSummaries()
2470               .Case(ReturnsZero, ErrnoMustNotBeChecked)  in initFunctionSummaries()
2482                 .Case(ReturnsZero, ErrnoMustNotBeChecked)  in initFunctionSummaries()
2491               .Case(ReturnsZero, ErrnoMustNotBeChecked)  in initFunctionSummaries()
2500                   ErrnoMustNotBeChecked)  in initFunctionSummaries()
2527                   ErrnoMustNotBeChecked)  in initFunctionSummaries()
2552                                 .Case(ReturnsZero, ErrnoMustNotBeChecked)  in initFunctionSummaries()
2565                   ErrnoMustNotBeChecked)  in initFunctionSummaries()
2583                   ErrnoMustNotBeChecked)  in initFunctionSummaries()
2595                   ErrnoMustNotBeChecked)  in initFunctionSummaries()
2607             .Case(ReturnsZero, ErrnoMustNotBeChecked)  in initFunctionSummaries()
2624             .Case(ReturnsZero, ErrnoMustNotBeChecked)  in initFunctionSummaries()
2637                   ErrnoMustNotBeChecked)  in initFunctionSummaries()
2648             .Case(ReturnsZero, ErrnoMustNotBeChecked)  in initFunctionSummaries()
2687             .Case(ReturnsZero, ErrnoMustNotBeChecked)  in initFunctionSummaries()
2701             .Case(ReturnsZero, ErrnoMustNotBeChecked)  in initFunctionSummaries()
2713                                 .Case(ReturnsZero, ErrnoMustNotBeChecked)  in initFunctionSummaries()
2727             .Case(ReturnsZero, ErrnoMustNotBeChecked)  in initFunctionSummaries()
2737             .Case(ReturnsZero, ErrnoMustNotBeChecked)  in initFunctionSummaries()
2814             .Case(ReturnsZero, ErrnoMustNotBeChecked)  in initFunctionSummaries()
2826             .Case(ReturnsZero, ErrnoMustNotBeChecked)  in initFunctionSummaries()