Searched refs:WithinRange (Results 1 – 1 of 1) sorted by relevance
| /freebsd-13.1/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | StdLibraryFunctionsChecker.cpp | 165 enum RangeKind { OutOfRange, WithinRange }; enumerator
205 case WithinRange: in apply()
215 Tmp.Kind = WithinRange; in negate()
217 case WithinRange: in negate()
1211 .Case({ArgumentCondition(0U, WithinRange, in initFunctionSummaries()
1222 ReturnValueCondition(WithinRange, SingleValue(0))}) in initFunctionSummaries()
1297 0U, WithinRange, in initFunctionSummaries()
1330 .Case({ArgumentCondition(0U, WithinRange, in initFunctionSummaries()
1356 .Case({ReturnValueCondition(WithinRange, in initFunctionSummaries()
1361 .Case({ReturnValueCondition(WithinRange, in initFunctionSummaries()
[all …]
|