StdLibraryFunctionsChecker.cpp - OpenGrok cross reference for /llvm-project/clang/lib/StaticAnalyzer/Checkers/StdLibraryFunctionsChecker.cpp

Lines Matching defs:OutOfRange
80   enum RangeKind { OutOfRange, WithinRange };
84     case OutOfRange:
87       return OutOfRange;
267     /// WithinRange indicates allowing the range, OutOfRange indicates
343       case OutOfRange:
1050     // "OutOfRange R" is handled by excluding all ranges in R.
1051     // "WithinRange R" is treated as "OutOfRange [T_MIN, T_MAX] \ R".
1839                  ReturnValueCondition(OutOfRange, SingleValue(0))},
1848                    0U, OutOfRange,
1859                  ReturnValueCondition(OutOfRange, SingleValue(0))},
1865                      0U, OutOfRange,
1873                  ReturnValueCondition(OutOfRange, SingleValue(0))},
1875           .Case({ArgumentCondition(0U, OutOfRange, Range(0, 127)),
1883                  ReturnValueCondition(OutOfRange, SingleValue(0))},
1885           .Case({ArgumentCondition(0U, OutOfRange, {{'\t', '\t'}, {' ', ' '}}),
1893                  ReturnValueCondition(OutOfRange, SingleValue(0))},
1896           .Case({ArgumentCondition(0U, OutOfRange, {{0, 32}, {127, 127}}),
1904                  ReturnValueCondition(OutOfRange, SingleValue(0))},
1906           .Case({ArgumentCondition(0U, OutOfRange, Range('0', '9')),
1913                  ReturnValueCondition(OutOfRange, SingleValue(0))},
1917               {ArgumentCondition(0U, OutOfRange, Range(33, 126)),
1926                  ReturnValueCondition(OutOfRange, SingleValue(0))},
1930                  ArgumentCondition(0U, OutOfRange, Range('a', 'z')),
1938           .Case({ArgumentCondition(0U, OutOfRange, Range(0, UCharRangeMax)),
1945                  ReturnValueCondition(OutOfRange, SingleValue(0))},
1947           .Case({ArgumentCondition(0U, OutOfRange, Range(32, 126)),
1956                  ReturnValueCondition(OutOfRange, SingleValue(0))},
1959                      0U, OutOfRange,
1969                  ReturnValueCondition(OutOfRange, SingleValue(0))},
1975           .Case({ArgumentCondition(0U, OutOfRange,
1985                  ReturnValueCondition(OutOfRange, SingleValue(0))},
1992           .Case({ArgumentCondition(0U, OutOfRange,
2002                  ReturnValueCondition(OutOfRange, SingleValue(0))},
2005           .Case({ArgumentCondition(0U, OutOfRange,
2160         ConstraintSet{ReturnValueCondition(OutOfRange, SingleValue(0))};
2263             .Case({ArgumentCondition(0, OutOfRange, Range(0, UCharRangeMax)),
3789             .ArgConstraint(ArgumentCondition(0U, OutOfRange, SingleValue(0))));
3793             .ArgConstraint(ArgumentCondition(0U, OutOfRange, SingleValue(1))));
3797             .ArgConstraint(ArgumentCondition(0U, OutOfRange, Range(1, 2))));
3801             .ArgConstraint(ArgumentCondition(0U, OutOfRange, Range(-1, 1))));
3805             .ArgConstraint(ArgumentCondition(0U, OutOfRange, Range(-2, -1))));
3809             .ArgConstraint(ArgumentCondition(0U, OutOfRange, Range(-10, 10))));
3814                                     0U, OutOfRange, Range(-1, IntMax))));
3819                                     0U, OutOfRange, Range(0, IntMax))));
3824                                     0U, OutOfRange, Range(1, IntMax))));
3829                                     0U, OutOfRange, Range(IntMin, -1))));
3834                                     0U, OutOfRange, Range(IntMin, 0))));
3839                                     0U, OutOfRange, Range(IntMin, 1))));
3844                                     0U, OutOfRange, Range({1, 2}, {4, 6}))));
3849                 ArgumentCondition(0U, OutOfRange, Range({1, 2}, {4, IntMax}))));
3859             .ArgConstraint(ArgumentCondition(0U, OutOfRange, SingleValue(1))));
3870             .ArgConstraint(ArgumentCondition(0U, OutOfRange, SingleValue(1)))
3871             .ArgConstraint(ArgumentCondition(0U, OutOfRange, SingleValue(2))));