Searched refs:WithinRange (Results 1 – 1 of 1) sorted by relevance
| /netbsd-src/external/apache2/llvm/dist/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()
1217 .Case({ArgumentCondition(0U, WithinRange, {{128, UCharRangeMax}})}) in initFunctionSummaries()
1222 ReturnValueCondition(WithinRange, SingleValue(0))}) in initFunctionSummaries()
1224 0U, WithinRange, {{EOFv, EOFv}, {0, UCharRangeMax}}))); in initFunctionSummaries()
1228 .Case({ArgumentCondition(0U, WithinRange, {{'A', 'Z'}, {'a', 'z'}}), in initFunctionSummaries()
1231 .Case({ArgumentCondition(0U, WithinRange, {{128, UCharRangeMax}})}) in initFunctionSummaries()
[all …]
|