Searched refs:ValueFactory (Results 1 – 2 of 2) sorted by relevance
299 Range(ValueFactory.getValue(Lower), ValueFactory.getValue(Upper))); in intersect()312 Range(ValueFactory.getMinValue(Upper), ValueFactory.getValue(Upper))); in intersect()314 Range(ValueFactory.getValue(Lower), ValueFactory.getMaxValue(Lower))); in intersect()927 ValueFactory.getMaxValue(T)); in infer()1046 return {ValueFactory.getMinValue(RangeType), in getSymmetricalRange()1047 ValueFactory.getMaxValue(RangeType)}; in getSymmetricalRange()1064 return {ValueFactory.getValue(-AbsMax), ValueFactory.getValue(AbsMax)}; in getSymmetricalRange()1215 BasicValueFactory &ValueFactory; member in __anon55d9ca500411::SymbolicRangeInferrer1264 ValueFactory.getValue(--Zero)}; in VisitBinaryOperator()1320 ValueFactory.getValue(Max)}; in VisitBinaryOperator()[all …]
122 Factory(BasicValueFactory &BV) : ValueFactory(BV) {} in Factory()217 BasicValueFactory &getValueFactory() const { return ValueFactory; } in getValueFactory()229 BasicValueFactory &ValueFactory; variable