Searched refs:RangeFactory (Results 1 – 1 of 1) sorted by relevance
| /freebsd/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| H A D | RangeConstraintManager.cpp | 1244 RangeFactory, in VisitSymSymExpr()
1265 : ValueFactory(F.getValueFactory()), RangeFactory(F), State(S) {} in SymbolicRangeInferrer()
1272 return {RangeFactory, Val}; in inferAs()
1289 return intersect(RangeFactory, in infer()
1309 RangeSet Result(RangeFactory, ValueFactory.getMinValue(T), in infer()
1438 return RangeFactory.deletePoint(Domain, IntType.getZeroValue()); in assumeNonZero()
1451 return RangeFactory.negate(*NegatedRange); in getRangeForNegatedExpr()
1604 return RangeSet(RangeFactory, Zero); in getFalseRange()
1608 RangeSet::Factory &RangeFactory; member in __anonaacf511c0511::SymbolicRangeInferrer
1623 if (intersect(RangeFactory, LHS, RHS).isEmpty()) in VisitBinaryOperator()
[all …]
|