Lines Matching defs:SingleValue
1787 auto SingleValue = [](RangeInt v) {
1836 ReturnValueCondition(OutOfRange, SingleValue(0))},
1847 ReturnValueCondition(WithinRange, SingleValue(0))},
1856 ReturnValueCondition(OutOfRange, SingleValue(0))},
1864 ReturnValueCondition(WithinRange, SingleValue(0))},
1870 ReturnValueCondition(OutOfRange, SingleValue(0))},
1873 ReturnValueCondition(WithinRange, SingleValue(0))},
1880 ReturnValueCondition(OutOfRange, SingleValue(0))},
1883 ReturnValueCondition(WithinRange, SingleValue(0))},
1890 ReturnValueCondition(OutOfRange, SingleValue(0))},
1894 ReturnValueCondition(WithinRange, SingleValue(0))},
1901 ReturnValueCondition(OutOfRange, SingleValue(0))},
1904 ReturnValueCondition(WithinRange, SingleValue(0))},
1910 ReturnValueCondition(OutOfRange, SingleValue(0))},
1915 ReturnValueCondition(WithinRange, SingleValue(0))},
1923 ReturnValueCondition(OutOfRange, SingleValue(0))},
1928 ReturnValueCondition(WithinRange, SingleValue(0))},
1936 ReturnValueCondition(WithinRange, SingleValue(0))},
1942 ReturnValueCondition(OutOfRange, SingleValue(0))},
1945 ReturnValueCondition(WithinRange, SingleValue(0))},
1953 ReturnValueCondition(OutOfRange, SingleValue(0))},
1958 ReturnValueCondition(WithinRange, SingleValue(0))},
1966 ReturnValueCondition(OutOfRange, SingleValue(0))},
1974 ReturnValueCondition(WithinRange, SingleValue(0))},
1982 ReturnValueCondition(OutOfRange, SingleValue(0))},
1991 ReturnValueCondition(WithinRange, SingleValue(0))},
1999 ReturnValueCondition(OutOfRange, SingleValue(0))},
2004 ReturnValueCondition(WithinRange, SingleValue(0))},
2045 .Case({ArgumentCondition(1U, WithinRange, SingleValue(0)),
2046 ReturnValueCondition(WithinRange, SingleValue(0))},
2149 ConstraintSet{ReturnValueCondition(WithinRange, SingleValue(0))};
2151 ConstraintSet{ReturnValueCondition(WithinRange, SingleValue(-1))};
2153 ConstraintSet{ReturnValueCondition(WithinRange, SingleValue(EOFv))};
2157 ConstraintSet{ReturnValueCondition(OutOfRange, SingleValue(0))};
2247 .Case({ReturnValueCondition(WithinRange, SingleValue(EOFv))},
2263 .Case({ReturnValueCondition(WithinRange, SingleValue(EOFv))},
2289 .Case({ReturnValueCondition(WithinRange, SingleValue(EOFv))},
2301 .Case({ReturnValueCondition(WithinRange, SingleValue(EOFv)),
2302 ArgumentCondition(0, WithinRange, SingleValue(EOFv))},
2306 .Case({ReturnValueCondition(WithinRange, SingleValue(EOFv)),
2653 .Case({ArgumentCondition(1, WithinRange, SingleValue(0)),
3002 .Case({ArgumentCondition(2, WithinRange, SingleValue(0)),
3003 ReturnValueCondition(WithinRange, SingleValue(0))},
3026 .Case({ArgumentCondition(3, WithinRange, SingleValue(0)),
3027 ReturnValueCondition(WithinRange, SingleValue(0))},
3248 .Case({ReturnValueCondition(WithinRange, SingleValue(0)),
3249 ArgumentCondition(2, WithinRange, SingleValue(0))},
3278 .Case({ReturnValueCondition(WithinRange, SingleValue(0)),
3279 ArgumentCondition(2, WithinRange, SingleValue(0))},
3319 .Case({ReturnValueCondition(WithinRange, SingleValue(0)),
3320 ArgumentCondition(2, WithinRange, SingleValue(0))},
3394 .Case({ReturnValueCondition(WithinRange, SingleValue(0)),
3395 ArgumentCondition(2, WithinRange, SingleValue(0))},
3720 .ArgConstraint(ArgumentCondition(0U, WithinRange, SingleValue(0))));
3724 .ArgConstraint(ArgumentCondition(0U, WithinRange, SingleValue(1))));
3786 .ArgConstraint(ArgumentCondition(0U, OutOfRange, SingleValue(0))));
3790 .ArgConstraint(ArgumentCondition(0U, OutOfRange, SingleValue(1))));
3852 .ArgConstraint(ArgumentCondition(0U, WithinRange, SingleValue(1))));
3856 .ArgConstraint(ArgumentCondition(0U, OutOfRange, SingleValue(1))));
3862 .ArgConstraint(ArgumentCondition(0U, WithinRange, SingleValue(1)))
3863 .ArgConstraint(ArgumentCondition(1U, WithinRange, SingleValue(1))));
3867 .ArgConstraint(ArgumentCondition(0U, OutOfRange, SingleValue(1)))
3868 .ArgConstraint(ArgumentCondition(0U, OutOfRange, SingleValue(2))));
3907 .Case({ReturnValueCondition(WithinRange, SingleValue(0))},
3909 .Case({ReturnValueCondition(WithinRange, SingleValue(1))},
3917 ReturnValueCondition(WithinRange, SingleValue(1))},
3921 ReturnValueCondition(WithinRange, SingleValue(2))},
3925 ReturnValueCondition(WithinRange, SingleValue(3))},
3930 ReturnValueCondition(WithinRange, SingleValue(4))},