Searched refs:RangeFactory (Results 1 – 1 of 1) sorted by relevance
1244 RangeFactory, in VisitSymSymExpr()1272 return {RangeFactory, Val}; in inferAs()1289 return intersect(RangeFactory, in infer()1451 return RangeFactory.negate(*NegatedRange); in getRangeForNegatedExpr()1604 return RangeSet(RangeFactory, Zero); in getFalseRange()1608 RangeSet::Factory &RangeFactory; member in __anonaf982a120511::SymbolicRangeInferrer1749 return {RangeFactory, Min, Max}; in VisitBinaryOperator()1785 return RangeFactory.getEmptySet(); in VisitBinaryOperator()1833 return RangeFactory.getEmptySet(); in VisitBinaryOperator()2139 RangeFactory, State, DisequalClass); in assign()[all …]