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