Searched refs:SymbolicRangeInferrer (Results 1 – 1 of 1) sorted by relevance
| /netbsd-src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Core/ |
| H A D | RangeConstraintManager.cpp | 829 class SymbolicRangeInferrer class
830 : public SymExprVisitor<SymbolicRangeInferrer, RangeSet> {
835 SymbolicRangeInferrer Inferrer(BV, F, State); in inferRange()
860 SymbolicRangeInferrer(BasicValueFactory &BV, RangeSet::Factory &F, in SymbolicRangeInferrer() function in __anon0bb35a870411::SymbolicRangeInferrer
1214 RangeSet SymbolicRangeInferrer::VisitBinaryOperator<BO_Or>(Range LHS, Range RHS, in VisitBinaryOperator()
1271 RangeSet SymbolicRangeInferrer::VisitBinaryOperator<BO_And>(Range LHS, in VisitBinaryOperator()
1317 RangeSet SymbolicRangeInferrer::VisitBinaryOperator<BO_Rem>(Range LHS, in VisitBinaryOperator()
1852 RangeSet FirstConstraint = SymbolicRangeInferrer::inferRange( in addToDisequalityInfo()
2169 return SymbolicRangeInferrer::inferRange(getBasicVals(), F, State, Sym); in getRange()
2174 return SymbolicRangeInferrer::inferRange(getBasicVals(), F, State, Class); in getRange()
|