Home
last modified time | relevance | path

Searched refs:RangeFactory (Results 1 – 1 of 1) sorted by relevance

/llvm-project-15.0.7/clang/lib/StaticAnalyzer/Core/
H A DRangeConstraintManager.cpp1241 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::SymbolicRangeInferrer
1710 return {RangeFactory, Min, Max}; in VisitBinaryOperator()
1746 return RangeFactory.getEmptySet(); in VisitBinaryOperator()
2071 RangeFactory, State, DisequalClass); in assign()
[all …]