Searched refs:ValueFactory (Results 1 – 2 of 2) sorted by relevance
157 Range(ValueFactory.getValue(From), ValueFactory.getValue(To))); in unite()496 Range(ValueFactory.getValue(Lower), ValueFactory.getValue(Upper))); in intersect()509 Range(ValueFactory.getMinValue(Upper), ValueFactory.getValue(Upper))); in intersect()511 Range(ValueFactory.getValue(Lower), ValueFactory.getMaxValue(Lower))); in intersect()1310 ValueFactory.getMaxValue(T)); in infer()1414 return {ValueFactory.getMinValue(RangeType), in getSymmetricalRange()1432 return {ValueFactory.getValue(-AbsMax), ValueFactory.getValue(AbsMax)}; in getSymmetricalRange()1607 BasicValueFactory &ValueFactory; member in __anonaf982a120511::SymbolicRangeInferrer1707 ValueFactory.getValue(--Zero)}; in VisitBinaryOperator()1763 ValueFactory.getValue(Max)}; in VisitBinaryOperator()[all …]
123 Factory(BasicValueFactory &BV) : ValueFactory(BV) {} in Factory()265 BasicValueFactory &getValueFactory() const { return ValueFactory; } in getValueFactory()296 BasicValueFactory &ValueFactory; variable