896   const ResetErrnoConstraint ErrnoIrrelevant{};  member in __anon4d759d9c0111::StdLibraryFunctionsChecker
1837                 ErrnoIrrelevant, "Assuming the character is alphanumeric")  in initFunctionSummaries()
1842                 ErrnoIrrelevant)  in initFunctionSummaries()
1848               ErrnoIrrelevant, "Assuming the character is non-alphanumeric")  in initFunctionSummaries()
1857                 ErrnoIrrelevant, "Assuming the character is alphabetical")  in initFunctionSummaries()
1860                 ErrnoIrrelevant)  in initFunctionSummaries()
1865                 ErrnoIrrelevant, "Assuming the character is non-alphabetical"));  in initFunctionSummaries()
1871                 ErrnoIrrelevant, "Assuming the character is an ASCII character")  in initFunctionSummaries()
1874                 ErrnoIrrelevant,  in initFunctionSummaries()
1881                 ErrnoIrrelevant, "Assuming the character is a blank character")  in initFunctionSummaries()
1884                 ErrnoIrrelevant,  in initFunctionSummaries()
1891                 ErrnoIrrelevant,  in initFunctionSummaries()
1895                 ErrnoIrrelevant,  in initFunctionSummaries()
1902                 ErrnoIrrelevant, "Assuming the character is a digit")  in initFunctionSummaries()
1905                 ErrnoIrrelevant, "Assuming the character is not a digit"));  in initFunctionSummaries()
1911                 ErrnoIrrelevant,  in initFunctionSummaries()
1916               ErrnoIrrelevant,  in initFunctionSummaries()
1924                 ErrnoIrrelevant, "Assuming the character is a lowercase letter")  in initFunctionSummaries()
1929                 ErrnoIrrelevant,  in initFunctionSummaries()
1933                 ErrnoIrrelevant)  in initFunctionSummaries()
1937                 ErrnoIrrelevant));  in initFunctionSummaries()
1943                 ErrnoIrrelevant, "Assuming the character is printable")  in initFunctionSummaries()
1946                 ErrnoIrrelevant, "Assuming the character is non-printable"));  in initFunctionSummaries()
1954                 ErrnoIrrelevant, "Assuming the character is a punctuation mark")  in initFunctionSummaries()
1959                 ErrnoIrrelevant,  in initFunctionSummaries()
1967                 ErrnoIrrelevant,  in initFunctionSummaries()
1971                 ErrnoIrrelevant)  in initFunctionSummaries()
1975                 ErrnoIrrelevant,  in initFunctionSummaries()
1983                 ErrnoIrrelevant,  in initFunctionSummaries()
1987                 ErrnoIrrelevant)  in initFunctionSummaries()
1992                 ErrnoIrrelevant,  in initFunctionSummaries()
2000                 ErrnoIrrelevant,  in initFunctionSummaries()
2005                 ErrnoIrrelevant,  in initFunctionSummaries()
2031                 ErrnoIrrelevant));  in initFunctionSummaries()
2076                 ErrnoIrrelevant);  in initFunctionSummaries()
2094                 ErrnoIrrelevant);  in initFunctionSummaries()
2122             .Case({NotNull(Ret)}, ErrnoIrrelevant,  in initFunctionSummaries()
2126       GetenvSummary.Case({NotNull(Ret)->negate()}, ErrnoIrrelevant,  in initFunctionSummaries()
2143                   ErrnoIrrelevant)  in initFunctionSummaries()
2248                   ErrnoIrrelevant, GenericFailureMsg)  in initFunctionSummaries()
2275             .Case({IsNull(Ret)}, ErrnoIrrelevant, GenericFailureMsg)  in initFunctionSummaries()
2905                   ErrnoIrrelevant)  in initFunctionSummaries()
2986             .Case(ReturnsNonnegative, ErrnoIrrelevant)  in initFunctionSummaries()
3091                   ErrnoIrrelevant)  in initFunctionSummaries()
3908                   ErrnoIrrelevant, "Function returns 0")  in initFunctionSummaries()
3910                   ErrnoIrrelevant, "Function returns 1"));  in initFunctionSummaries()
3918                   ErrnoIrrelevant)  in initFunctionSummaries()
3922                   ErrnoIrrelevant)  in initFunctionSummaries()
3926                   ErrnoIrrelevant)  in initFunctionSummaries()
3931                   ErrnoIrrelevant));  in initFunctionSummaries()