Searched refs:ReturnValueCondition (Results 1 – 1 of 1) sorted by relevance
| /openbsd-src/gnu/llvm/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | StdLibraryFunctionsChecker.cpp | 1375 } ReturnValueCondition; in initFunctionSummaries() local
1433 ReturnValueCondition(OutOfRange, SingleValue(0))}, in initFunctionSummaries()
1444 ReturnValueCondition(WithinRange, SingleValue(0))}, in initFunctionSummaries()
1452 ReturnValueCondition(OutOfRange, SingleValue(0))}, in initFunctionSummaries()
1460 ReturnValueCondition(WithinRange, SingleValue(0))}, in initFunctionSummaries()
1466 ReturnValueCondition(OutOfRange, SingleValue(0))}, in initFunctionSummaries()
1469 ReturnValueCondition(WithinRange, SingleValue(0))}, in initFunctionSummaries()
1476 ReturnValueCondition(OutOfRange, SingleValue(0))}, in initFunctionSummaries()
1479 ReturnValueCondition(WithinRange, SingleValue(0))}, in initFunctionSummaries()
1486 ReturnValueCondition(OutOfRange, SingleValue(0))}, in initFunctionSummaries()
[all …]
|