Searched refs:ValueFactory (Results 1 – 2 of 2) sorted by relevance
156 Range(ValueFactory.getValue(From), ValueFactory.getValue(To))); in unite()495 Range(ValueFactory.getValue(Lower), ValueFactory.getValue(Upper))); in intersect()508 Range(ValueFactory.getMinValue(Upper), ValueFactory.getValue(Upper))); in intersect()510 Range(ValueFactory.getValue(Lower), ValueFactory.getMaxValue(Lower))); in intersect()1307 ValueFactory.getMaxValue(T)); in infer()1426 return {ValueFactory.getMinValue(RangeType), in getSymmetricalRange()1444 return {ValueFactory.getValue(-AbsMax), ValueFactory.getValue(AbsMax)}; in getSymmetricalRange()1619 BasicValueFactory &ValueFactory; member in __anon77be4a4c0511::SymbolicRangeInferrer1668 ValueFactory.getValue(--Zero)}; in VisitBinaryOperator()1724 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