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

Lines Matching defs:SingleValue
1790   auto SingleValue = [](RangeInt v) {
1839                  ReturnValueCondition(OutOfRange, SingleValue(0))},
1850                ReturnValueCondition(WithinRange, SingleValue(0))},
1859                  ReturnValueCondition(OutOfRange, SingleValue(0))},
1867                  ReturnValueCondition(WithinRange, SingleValue(0))},
1873                  ReturnValueCondition(OutOfRange, SingleValue(0))},
1876                  ReturnValueCondition(WithinRange, SingleValue(0))},
1883                  ReturnValueCondition(OutOfRange, SingleValue(0))},
1886                  ReturnValueCondition(WithinRange, SingleValue(0))},
1893                  ReturnValueCondition(OutOfRange, SingleValue(0))},
1897                  ReturnValueCondition(WithinRange, SingleValue(0))},
1904                  ReturnValueCondition(OutOfRange, SingleValue(0))},
1907                  ReturnValueCondition(WithinRange, SingleValue(0))},
1913                  ReturnValueCondition(OutOfRange, SingleValue(0))},
1918                ReturnValueCondition(WithinRange, SingleValue(0))},
1926                  ReturnValueCondition(OutOfRange, SingleValue(0))},
1931                  ReturnValueCondition(WithinRange, SingleValue(0))},
1939                  ReturnValueCondition(WithinRange, SingleValue(0))},
1945                  ReturnValueCondition(OutOfRange, SingleValue(0))},
1948                  ReturnValueCondition(WithinRange, SingleValue(0))},
1956                  ReturnValueCondition(OutOfRange, SingleValue(0))},
1961                  ReturnValueCondition(WithinRange, SingleValue(0))},
1969                  ReturnValueCondition(OutOfRange, SingleValue(0))},
1977                  ReturnValueCondition(WithinRange, SingleValue(0))},
1985                  ReturnValueCondition(OutOfRange, SingleValue(0))},
1994                  ReturnValueCondition(WithinRange, SingleValue(0))},
2002                  ReturnValueCondition(OutOfRange, SingleValue(0))},
2007                  ReturnValueCondition(WithinRange, SingleValue(0))},
2048           .Case({ArgumentCondition(1U, WithinRange, SingleValue(0)),
2049                  ReturnValueCondition(WithinRange, SingleValue(0))},
2152         ConstraintSet{ReturnValueCondition(WithinRange, SingleValue(0))};
2154         ConstraintSet{ReturnValueCondition(WithinRange, SingleValue(-1))};
2156         ConstraintSet{ReturnValueCondition(WithinRange, SingleValue(EOFv))};
2160         ConstraintSet{ReturnValueCondition(OutOfRange, SingleValue(0))};
2250             .Case({ReturnValueCondition(WithinRange, SingleValue(EOFv))},
2266             .Case({ReturnValueCondition(WithinRange, SingleValue(EOFv))},
2292             .Case({ReturnValueCondition(WithinRange, SingleValue(EOFv))},
2304             .Case({ReturnValueCondition(WithinRange, SingleValue(EOFv)),
2305                    ArgumentCondition(0, WithinRange, SingleValue(EOFv))},
2309             .Case({ReturnValueCondition(WithinRange, SingleValue(EOFv)),
2656             .Case({ArgumentCondition(1, WithinRange, SingleValue(0)),
3005             .Case({ArgumentCondition(2, WithinRange, SingleValue(0)),
3006                    ReturnValueCondition(WithinRange, SingleValue(0))},
3029             .Case({ArgumentCondition(3, WithinRange, SingleValue(0)),
3030                    ReturnValueCondition(WithinRange, SingleValue(0))},
3251             .Case({ReturnValueCondition(WithinRange, SingleValue(0)),
3252                    ArgumentCondition(2, WithinRange, SingleValue(0))},
3281             .Case({ReturnValueCondition(WithinRange, SingleValue(0)),
3282                    ArgumentCondition(2, WithinRange, SingleValue(0))},
3322             .Case({ReturnValueCondition(WithinRange, SingleValue(0)),
3323                    ArgumentCondition(2, WithinRange, SingleValue(0))},
3397             .Case({ReturnValueCondition(WithinRange, SingleValue(0)),
3398                    ArgumentCondition(2, WithinRange, SingleValue(0))},
3723             .ArgConstraint(ArgumentCondition(0U, WithinRange, SingleValue(0))));
3727             .ArgConstraint(ArgumentCondition(0U, WithinRange, SingleValue(1))));
3789             .ArgConstraint(ArgumentCondition(0U, OutOfRange, SingleValue(0))));
3793             .ArgConstraint(ArgumentCondition(0U, OutOfRange, SingleValue(1))));
3855             .ArgConstraint(ArgumentCondition(0U, WithinRange, SingleValue(1))));
3859             .ArgConstraint(ArgumentCondition(0U, OutOfRange, SingleValue(1))));
3865             .ArgConstraint(ArgumentCondition(0U, WithinRange, SingleValue(1)))
3866             .ArgConstraint(ArgumentCondition(1U, WithinRange, SingleValue(1))));
3870             .ArgConstraint(ArgumentCondition(0U, OutOfRange, SingleValue(1)))
3871             .ArgConstraint(ArgumentCondition(0U, OutOfRange, SingleValue(2))));
3910             .Case({ReturnValueCondition(WithinRange, SingleValue(0))},
3912             .Case({ReturnValueCondition(WithinRange, SingleValue(1))},
3920                    ReturnValueCondition(WithinRange, SingleValue(1))},
3924                    ReturnValueCondition(WithinRange, SingleValue(2))},
3928                    ReturnValueCondition(WithinRange, SingleValue(3))},
3933                    ReturnValueCondition(WithinRange, SingleValue(4))},