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()
2052 .Case({ArgumentCondition(1U, WithinRange, SingleValue(0)), in initFunctionSummaries()
2053 ReturnValueCondition(WithinRange, SingleValue(0))}, in initFunctionSummaries()
2146 ConstraintSet{ReturnValueCondition(WithinRange, SingleValue(0))}; in initFunctionSummaries()
2148 ConstraintSet{ReturnValueCondition(WithinRange, SingleValue(-1))}; in initFunctionSummaries()
2150 ConstraintSet{ReturnValueCondition(WithinRange, SingleValue(EOFv))}; in initFunctionSummaries()
2154 ConstraintSet{ReturnValueCondition(OutOfRange, SingleValue(0))}; in initFunctionSummaries()
2222 .Case({ReturnValueCondition(WithinRange, SingleValue(EOFv)), in initFunctionSummaries()
2223 ArgumentCondition(0, WithinRange, SingleValue(EOFv))}, in initFunctionSummaries()
2227 .Case({ReturnValueCondition(WithinRange, SingleValue(EOFv)), in initFunctionSummaries()
2574 .Case({ArgumentCondition(1, WithinRange, SingleValue(0)), in initFunctionSummaries()
2938 .Case({ArgumentCondition(2, WithinRange, SingleValue(0)), in initFunctionSummaries()
2939 ReturnValueCondition(WithinRange, SingleValue(0))}, in initFunctionSummaries()
2962 .Case({ArgumentCondition(3, WithinRange, SingleValue(0)), in initFunctionSummaries()
2963 ReturnValueCondition(WithinRange, SingleValue(0))}, in initFunctionSummaries()
3180 .Case({ReturnValueCondition(WithinRange, SingleValue(0)), in initFunctionSummaries()
3181 ArgumentCondition(2, WithinRange, SingleValue(0))}, in initFunctionSummaries()
3210 .Case({ReturnValueCondition(WithinRange, SingleValue(0)), in initFunctionSummaries()
3211 ArgumentCondition(2, WithinRange, SingleValue(0))}, in initFunctionSummaries()
3251 .Case({ReturnValueCondition(WithinRange, SingleValue(0)), in initFunctionSummaries()
3252 ArgumentCondition(2, WithinRange, SingleValue(0))}, in initFunctionSummaries()
3326 .Case({ReturnValueCondition(WithinRange, SingleValue(0)), in initFunctionSummaries()
3327 ArgumentCondition(2, WithinRange, SingleValue(0))}, in initFunctionSummaries()
3652 .ArgConstraint(ArgumentCondition(0U, WithinRange, SingleValue(0)))); in initFunctionSummaries()
3656 .ArgConstraint(ArgumentCondition(0U, WithinRange, SingleValue(1)))); in initFunctionSummaries()
3718 .ArgConstraint(ArgumentCondition(0U, OutOfRange, SingleValue(0)))); in initFunctionSummaries()
3722 .ArgConstraint(ArgumentCondition(0U, OutOfRange, SingleValue(1)))); in initFunctionSummaries()
3784 .ArgConstraint(ArgumentCondition(0U, WithinRange, SingleValue(1)))); in initFunctionSummaries()
3788 .ArgConstraint(ArgumentCondition(0U, OutOfRange, SingleValue(1)))); in initFunctionSummaries()
3794 .ArgConstraint(ArgumentCondition(0U, WithinRange, SingleValue(1))) in initFunctionSummaries()
3795 .ArgConstraint(ArgumentCondition(1U, WithinRange, SingleValue(1)))); in initFunctionSummaries()
3799 .ArgConstraint(ArgumentCondition(0U, OutOfRange, SingleValue(1))) in initFunctionSummaries()
3800 .ArgConstraint(ArgumentCondition(0U, OutOfRange, SingleValue(2)))); in initFunctionSummaries()
3839 .Case({ReturnValueCondition(WithinRange, SingleValue(0))}, in initFunctionSummaries()
3841 .Case({ReturnValueCondition(WithinRange, SingleValue(1))}, in initFunctionSummaries()
3849 ReturnValueCondition(WithinRange, SingleValue(1))}, in initFunctionSummaries()
3853 ReturnValueCondition(WithinRange, SingleValue(2))}, in initFunctionSummaries()
3857 ReturnValueCondition(WithinRange, SingleValue(3))}, in initFunctionSummaries()
3862 ReturnValueCondition(WithinRange, SingleValue(4))}, in initFunctionSummaries()