Searched refs:ReturnValueCondition (Results 1 – 1 of 1) sorted by relevance
| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | StdLibraryFunctionsChecker.cpp | 1773 } ReturnValueCondition; in initFunctionSummaries() local
1840 ReturnValueCondition(OutOfRange, SingleValue(0))}, in initFunctionSummaries()
1851 ReturnValueCondition(WithinRange, SingleValue(0))}, in initFunctionSummaries()
1860 ReturnValueCondition(OutOfRange, SingleValue(0))}, in initFunctionSummaries()
1868 ReturnValueCondition(WithinRange, SingleValue(0))}, in initFunctionSummaries()
1874 ReturnValueCondition(OutOfRange, SingleValue(0))}, in initFunctionSummaries()
1877 ReturnValueCondition(WithinRange, SingleValue(0))}, in initFunctionSummaries()
1884 ReturnValueCondition(OutOfRange, SingleValue(0))}, in initFunctionSummaries()
1887 ReturnValueCondition(WithinRange, SingleValue(0))}, in initFunctionSummaries()
1894 ReturnValueCondition(OutOfRange, SingleValue(0))}, in initFunctionSummaries()
[all …]
|