Searched refs:RangeFactory (Results 1 – 1 of 1) sorted by relevance
1241 RangeFactory, in VisitSymSymExpr()1269 return {RangeFactory, Val}; in inferAs()1286 return intersect(RangeFactory, in infer()1380 return RangeFactory.getEmptySet(); in VisitBinaryOperator()1463 return RangeFactory.negate(*NegatedRange); in getRangeForNegatedExpr()1616 return RangeSet(RangeFactory, Zero); in getFalseRange()1620 RangeSet::Factory &RangeFactory; member in __anon77be4a4c0511::SymbolicRangeInferrer1710 return {RangeFactory, Min, Max}; in VisitBinaryOperator()1746 return RangeFactory.getEmptySet(); in VisitBinaryOperator()2071 RangeFactory, State, DisequalClass); in assign()[all …]