Searched refs:RangeFactory (Results 1 – 1 of 1) sorted by relevance
| /netbsd-src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Core/ |
| H A D | RangeConstraintManager.cpp | 862 : ValueFactory(BV), RangeFactory(F), State(S) {} in SymbolicRangeInferrer()
869 return {RangeFactory, Val}; in inferAs()
887 ValueFactory, RangeFactory, getConstraint(State, Sym), in infer()
919 RangeSet Result(RangeFactory, ValueFactory.getMinValue(T), in infer()
993 return RangeFactory.getEmptySet(); in VisitBinaryOperator()
1063 return RangeFactory.deletePoint(Domain, IntType.getZeroValue()); in assumeNonZero()
1086 return RangeFactory.negate(*NegatedRange); in getRangeForNegatedSub()
1201 return RangeSet(RangeFactory, Zero); in getFalseRange()
1205 RangeSet::Factory &RangeFactory; member in __anon0bb35a870411::SymbolicRangeInferrer
1246 return {RangeFactory, ValueFactory.getValue(Min), Max}; in VisitBinaryOperator()
[all …]
|