Searched refs:RangeFactory (Results 1 – 1 of 1) sorted by relevance
860 RangeFactory, in VisitSymSymExpr()877 return {RangeFactory, Val}; in inferAs()895 RangeFactory, in infer()1000 return RangeFactory.getEmptySet(); in VisitBinaryOperator()1093 return RangeFactory.negate(*NegatedRange); in getRangeForNegatedSub()1212 return RangeSet(RangeFactory, Zero); in getFalseRange()1216 RangeSet::Factory &RangeFactory; member in __anon55d9ca500411::SymbolicRangeInferrer1306 return {RangeFactory, Min, Max}; in VisitBinaryOperator()1342 return RangeFactory.getEmptySet(); in VisitBinaryOperator()1537 RangeFactory, State, DisequalClass); in assign()[all …]