StdLibraryFunctionsChecker.cpp - OpenGrok cross reference for /freebsd-14.2/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/StdLibraryFunctionsChecker.cpp

Lines Matching refs:ErrnoMustNotBeChecked
898   const SuccessErrnoConstraint ErrnoMustNotBeChecked{};  member in __anon892b0c920111::StdLibraryFunctionsChecker
2051                 ErrnoMustNotBeChecked, GenericSuccessMsg)  in initFunctionSummaries()
2054                 ErrnoMustNotBeChecked,  in initFunctionSummaries()
2171             .Case({NotNull(Ret)}, ErrnoMustNotBeChecked, GenericSuccessMsg)  in initFunctionSummaries()
2181             .Case({NotNull(Ret)}, ErrnoMustNotBeChecked, GenericSuccessMsg)  in initFunctionSummaries()
2190             .Case({NotNull(Ret)}, ErrnoMustNotBeChecked, GenericSuccessMsg)  in initFunctionSummaries()
2202                   ErrnoMustNotBeChecked, GenericSuccessMsg)  in initFunctionSummaries()
2211             .Case(ReturnsZero, ErrnoMustNotBeChecked, GenericSuccessMsg)  in initFunctionSummaries()
2221                   ErrnoMustNotBeChecked, GenericSuccessMsg)  in initFunctionSummaries()
2244             .Case(ReturnsZero, ErrnoMustNotBeChecked, GenericSuccessMsg)  in initFunctionSummaries()
2254             .Case(ReturnsZero, ErrnoMustNotBeChecked, GenericSuccessMsg)  in initFunctionSummaries()
2290             .Case(ReturnsZero, ErrnoMustNotBeChecked, GenericSuccessMsg)  in initFunctionSummaries()
2310                   ErrnoMustNotBeChecked, GenericSuccessMsg)  in initFunctionSummaries()
2318             .Case(ReturnsValidFileDescriptor, ErrnoMustNotBeChecked,  in initFunctionSummaries()
2362             .Case(ReturnsValidFileDescriptor, ErrnoMustNotBeChecked,  in initFunctionSummaries()
2372             .Case(ReturnsValidFileDescriptor, ErrnoMustNotBeChecked,  in initFunctionSummaries()
2382             .Case(ReturnsZero, ErrnoMustNotBeChecked, GenericSuccessMsg)  in initFunctionSummaries()
2392             .Case(ReturnsZero, ErrnoMustNotBeChecked, GenericSuccessMsg)  in initFunctionSummaries()
2401             .Case(ReturnsValidFileDescriptor, ErrnoMustNotBeChecked,  in initFunctionSummaries()
2411             .Case(ReturnsValidFileDescriptor, ErrnoMustNotBeChecked,  in initFunctionSummaries()
2422             .Case(ReturnsZero, ErrnoMustNotBeChecked, GenericSuccessMsg)  in initFunctionSummaries()
2440             .Case(ReturnsZero, ErrnoMustNotBeChecked, GenericSuccessMsg)  in initFunctionSummaries()
2450             .Case(ReturnsZero, ErrnoMustNotBeChecked, GenericSuccessMsg)  in initFunctionSummaries()
2459             .Case(ReturnsZero, ErrnoMustNotBeChecked, GenericSuccessMsg)  in initFunctionSummaries()
2470             .Case(ReturnsZero, ErrnoMustNotBeChecked, GenericSuccessMsg)  in initFunctionSummaries()
2480             .Case(ReturnsZero, ErrnoMustNotBeChecked, GenericSuccessMsg)  in initFunctionSummaries()
2491             .Case(ReturnsValidFileDescriptor, ErrnoMustNotBeChecked,  in initFunctionSummaries()
2510             .Case(ReturnsValidFileDescriptor, ErrnoMustNotBeChecked,  in initFunctionSummaries()
2526             .Case(ReturnsZero, ErrnoMustNotBeChecked, GenericSuccessMsg)  in initFunctionSummaries()
2553             .Case(ReturnsValidFileDescriptor, ErrnoMustNotBeChecked,  in initFunctionSummaries()
2563                   ErrnoMustNotBeChecked, GenericSuccessMsg)  in initFunctionSummaries()
2573                   ErrnoMustNotBeChecked, GenericSuccessMsg)  in initFunctionSummaries()
2590             .Case(ReturnsZero, ErrnoMustNotBeChecked, GenericSuccessMsg)  in initFunctionSummaries()
2599             .Case(ReturnsZero, ErrnoMustNotBeChecked, GenericSuccessMsg)  in initFunctionSummaries()
2611             .Case(ReturnsZero, ErrnoMustNotBeChecked, GenericSuccessMsg)  in initFunctionSummaries()
2621             .Case(ReturnsZero, ErrnoMustNotBeChecked, GenericSuccessMsg)  in initFunctionSummaries()
2630             .Case(ReturnsZero, ErrnoMustNotBeChecked, GenericSuccessMsg)  in initFunctionSummaries()
2640             .Case(ReturnsZero, ErrnoMustNotBeChecked, GenericSuccessMsg)  in initFunctionSummaries()
2649             .Case(ReturnsZero, ErrnoMustNotBeChecked, GenericSuccessMsg)  in initFunctionSummaries()
2664             .Case(ReturnsZero, ErrnoMustNotBeChecked, GenericSuccessMsg)  in initFunctionSummaries()
2674             .Case(ReturnsZero, ErrnoMustNotBeChecked, GenericSuccessMsg)  in initFunctionSummaries()
2683             .Case(ReturnsZero, ErrnoMustNotBeChecked, GenericSuccessMsg)  in initFunctionSummaries()
2691             .Case(ReturnsZero, ErrnoMustNotBeChecked, GenericSuccessMsg)  in initFunctionSummaries()
2700             .Case(ReturnsZero, ErrnoMustNotBeChecked, GenericSuccessMsg)  in initFunctionSummaries()
2708             .Case(ReturnsZero, ErrnoMustNotBeChecked, GenericSuccessMsg)  in initFunctionSummaries()
2717             .Case(ReturnsZero, ErrnoMustNotBeChecked, GenericSuccessMsg)  in initFunctionSummaries()
2729             .Case(ReturnsZero, ErrnoMustNotBeChecked, GenericSuccessMsg)  in initFunctionSummaries()
2740             .Case(ReturnsZero, ErrnoMustNotBeChecked, GenericSuccessMsg)  in initFunctionSummaries()
2749             .Case(ReturnsZero, ErrnoMustNotBeChecked, GenericSuccessMsg)  in initFunctionSummaries()
2763             .Case(ReturnsZero, ErrnoMustNotBeChecked, GenericSuccessMsg)  in initFunctionSummaries()
2774             .Case(ReturnsZero, ErrnoMustNotBeChecked, GenericSuccessMsg)  in initFunctionSummaries()
2785             .Case(ReturnsZero, ErrnoMustNotBeChecked, GenericSuccessMsg)  in initFunctionSummaries()
2798             .Case(ReturnsZero, ErrnoMustNotBeChecked, GenericSuccessMsg)  in initFunctionSummaries()
2808             .Case({NotNull(Ret)}, ErrnoMustNotBeChecked, GenericSuccessMsg)  in initFunctionSummaries()
2816             .Case({NotNull(Ret)}, ErrnoMustNotBeChecked, GenericSuccessMsg)  in initFunctionSummaries()
2849             .Case(ReturnsZero, ErrnoMustNotBeChecked, GenericSuccessMsg)  in initFunctionSummaries()
2910             .Case(ReturnsZero, ErrnoMustNotBeChecked, GenericSuccessMsg)  in initFunctionSummaries()
2937                   ErrnoMustNotBeChecked, GenericSuccessMsg)  in initFunctionSummaries()
2940                   ErrnoMustNotBeChecked,  in initFunctionSummaries()
2961                   ErrnoMustNotBeChecked, GenericSuccessMsg)  in initFunctionSummaries()
2964                   ErrnoMustNotBeChecked,  in initFunctionSummaries()
2982             .Case(ReturnsZero, ErrnoMustNotBeChecked, GenericSuccessMsg)  in initFunctionSummaries()
3054             .Case(ReturnsValidFileDescriptor, ErrnoMustNotBeChecked,  in initFunctionSummaries()
3060             .Case(ReturnsValidFileDescriptor, ErrnoMustNotBeChecked,  in initFunctionSummaries()
3085                 .Case(ReturnsZero, ErrnoMustNotBeChecked, GenericSuccessMsg)  in initFunctionSummaries()
3099               .Case(ReturnsZero, ErrnoMustNotBeChecked, GenericSuccessMsg)  in initFunctionSummaries()
3114                 .Case(ReturnsZero, ErrnoMustNotBeChecked, GenericSuccessMsg)  in initFunctionSummaries()
3125               .Case(ReturnsZero, ErrnoMustNotBeChecked, GenericSuccessMsg)  in initFunctionSummaries()
3138                 .Case(ReturnsZero, ErrnoMustNotBeChecked, GenericSuccessMsg)  in initFunctionSummaries()
3149               .Case(ReturnsZero, ErrnoMustNotBeChecked, GenericSuccessMsg)  in initFunctionSummaries()
3161                 .Case(ReturnsZero, ErrnoMustNotBeChecked, GenericSuccessMsg)  in initFunctionSummaries()
3170               .Case(ReturnsZero, ErrnoMustNotBeChecked, GenericSuccessMsg)  in initFunctionSummaries()
3179                   ErrnoMustNotBeChecked, GenericSuccessMsg)  in initFunctionSummaries()
3182                   ErrnoMustNotBeChecked, GenericSuccessMsg)  in initFunctionSummaries()
3209                   ErrnoMustNotBeChecked, GenericSuccessMsg)  in initFunctionSummaries()
3212                   ErrnoMustNotBeChecked, GenericSuccessMsg)  in initFunctionSummaries()
3237             .Case(ReturnsZero, ErrnoMustNotBeChecked, GenericSuccessMsg)  in initFunctionSummaries()
3250                   ErrnoMustNotBeChecked, GenericSuccessMsg)  in initFunctionSummaries()
3253                   ErrnoMustNotBeChecked, GenericSuccessMsg)  in initFunctionSummaries()
3271                   ErrnoMustNotBeChecked, GenericSuccessMsg)  in initFunctionSummaries()
3283                   ErrnoMustNotBeChecked, GenericSuccessMsg)  in initFunctionSummaries()
3295             .Case(ReturnsZero, ErrnoMustNotBeChecked, GenericSuccessMsg)  in initFunctionSummaries()
3312             .Case(ReturnsZero, ErrnoMustNotBeChecked, GenericSuccessMsg)  in initFunctionSummaries()
3325                   ErrnoMustNotBeChecked, GenericSuccessMsg)  in initFunctionSummaries()
3328                   ErrnoMustNotBeChecked, GenericSuccessMsg)  in initFunctionSummaries()
3339             .Case(ReturnsZero, ErrnoMustNotBeChecked, GenericSuccessMsg)  in initFunctionSummaries()
3347             .Case(ReturnsZero, ErrnoMustNotBeChecked, GenericSuccessMsg)  in initFunctionSummaries()
3387             .Case(ReturnsZero, ErrnoMustNotBeChecked, GenericSuccessMsg)  in initFunctionSummaries()
3402             .Case(ReturnsZero, ErrnoMustNotBeChecked, GenericSuccessMsg)  in initFunctionSummaries()
3415             .Case(ReturnsZero, ErrnoMustNotBeChecked, GenericSuccessMsg)  in initFunctionSummaries()
3429             .Case(ReturnsZero, ErrnoMustNotBeChecked, GenericSuccessMsg)  in initFunctionSummaries()
3439             .Case(ReturnsZero, ErrnoMustNotBeChecked, GenericSuccessMsg)  in initFunctionSummaries()
3518             .Case(ReturnsZero, ErrnoMustNotBeChecked, GenericSuccessMsg)  in initFunctionSummaries()
3531             .Case(ReturnsZero, ErrnoMustNotBeChecked, GenericSuccessMsg)  in initFunctionSummaries()