Lines Matching refs:EOFv
1708 const auto EOFv = tryExpandAsInteger("EOF", PP).value_or(-1); in initFunctionSummaries() local
1854 {{EOFv, EOFv}, {0, UCharRangeMax}}, in initFunctionSummaries()
2015 {{EOFv, EOFv}, {0, UCharRangeMax}}, in initFunctionSummaries()
2021 {{EOFv, EOFv}, {0, UCharRangeMax}}, in initFunctionSummaries()
2027 {{EOFv, EOFv}, {0, UCharRangeMax}}, in initFunctionSummaries()
2034 {{EOFv, EOFv}, {0, UCharRangeMax}})}, in initFunctionSummaries()
2146 {{EOFv, EOFv}, {0, UCharRangeMax}})}, in initFunctionSummaries()
2157 ConstraintSet{ReturnValueCondition(WithinRange, SingleValue(EOFv))}; in initFunctionSummaries()
2251 .Case({ReturnValueCondition(WithinRange, SingleValue(EOFv))}, in initFunctionSummaries()
2267 .Case({ReturnValueCondition(WithinRange, SingleValue(EOFv))}, in initFunctionSummaries()
2293 .Case({ReturnValueCondition(WithinRange, SingleValue(EOFv))}, in initFunctionSummaries()
2305 .Case({ReturnValueCondition(WithinRange, SingleValue(EOFv)), in initFunctionSummaries()
2306 ArgumentCondition(0, WithinRange, SingleValue(EOFv))}, in initFunctionSummaries()
2310 .Case({ReturnValueCondition(WithinRange, SingleValue(EOFv)), in initFunctionSummaries()
2314 0, WithinRange, {{EOFv, EOFv}, {0, UCharRangeMax}})) in initFunctionSummaries()