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()
1267 : ValueFactory(F.getValueFactory()), RangeFactory(F), State(S) {} in SymbolicRangeInferrer()
1274 return {RangeFactory, Val}; in inferAs()
1291 return intersect(RangeFactory, in infer()
1311 RangeSet Result(RangeFactory, ValueFactory.getMinValue(T), in infer()
1440 return RangeFactory.deletePoint(Domain, IntType.getZeroValue()); in assumeNonZero()
1453 return RangeFactory.negate(*NegatedRange); in getRangeForNegatedExpr()
1622 return RangeSet(RangeFactory, Zero); in getFalseRange()
1626 RangeSet::Factory &RangeFactory; member in __anonaacf511c0511::SymbolicRangeInferrer
1641 if (intersect(RangeFactory, LHS, RHS).isEmpty()) in VisitBinaryOperator()
[all …]
|