Home
last modified time | relevance | path

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

/netbsd-src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Core/
H A DRangedConstraintManager.cpp61 const llvm::APSInt &Zero = getBasicVals().getValue(0, DiffTy); in assumeSym()
78 const llvm::APSInt &Zero = getBasicVals().getValue(0, ExprType); in assumeSym()
97 BasicValueFactory &BVF = getBasicVals(); in assumeSymInclusiveRange()
124 BasicValueFactory &BVF = getBasicVals(); in assumeSymUnsupported()
158 BasicValueFactory &BVF = getBasicVals(); in assumeSymRel()
H A DExprEngineC.cpp530 svalBuilder.makePointerToMember(getBasicVals().accumCXXBase( in VisitCast()
740 nonloc::ConcreteInt Zero(getBasicVals().getValue(0, B->getType())); in VisitLogicalExpr()
762 llvm::ImmutableList<SVal> vals = getBasicVals().getEmptySValList(); in VisitInitListExpr()
775 vals = getBasicVals().prependSVal(V, vals); in VisitInitListExpr()
1061 nonloc::ConcreteInt X(getBasicVals().getValue(0, Ex->getType())); in VisitUnaryOperator()
H A DRangeConstraintManager.cpp1380 : RangedConstraintManager(EE, SVB), F(getBasicVals()) {} in RangeConstraintManager()
1513 return EquivalenceClass::markDisequal(getBasicVals(), F, State, LHS, RHS); in trackDisequality()
1518 return EquivalenceClass::merge(getBasicVals(), F, State, LHS, RHS); in trackEquality()
2009 BasicValueFactory &BV = getBasicVals(); in checkNull()
2169 return SymbolicRangeInferrer::inferRange(getBasicVals(), F, State, Sym); in getRange()
2174 return SymbolicRangeInferrer::inferRange(getBasicVals(), F, State, Class); in getRange()
H A DProgramState.cpp294 const llvm::APSInt &NewV = getBasicVals().Convert(T, *Int); in getSVal()
H A DSimpleSValBuilder.cpp360 BasicValueFactory &BV = State->getBasicVals(); in tryRearrange()
/netbsd-src/external/apache2/llvm/dist/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DSMTConstraintManager.h45 ASTContext &Ctx = getBasicVals().getContext(); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
67 ASTContext &Ctx = getBasicVals().getContext(); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
83 ASTContext &Ctx = getBasicVals().getContext(); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
112 BasicValueFactory &BVF = getBasicVals(); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
247 const TargetInfo &TI = getBasicVals().getContext().getTargetInfo(); in REGISTER_TRAIT_WITH_PROGRAMSTATE()
H A DSimpleConstraintManager.h78 BasicValueFactory &getBasicVals() const { return SVB.getBasicValueFactory(); } in getBasicVals() function
H A DProgramState.h148 BasicValueFactory &getBasicVals() const;
509 BasicValueFactory &getBasicVals() { in getBasicVals() function
794 inline BasicValueFactory &ProgramState::getBasicVals() const { in getBasicVals() function
795 return getStateManager().getBasicVals(); in getBasicVals()
H A DExprEngine.h424 BasicValueFactory &getBasicVals() { in getBasicVals() function
425 return StateMgr.getBasicVals(); in getBasicVals()
H A DSymbolManager.h501 BasicValueFactory &getBasicVals() { return BV; } in getBasicVals() function
/netbsd-src/external/apache2/llvm/dist/clang/lib/StaticAnalyzer/Checkers/
H A DContainerModeling.cpp448 auto &BVF = SymMgr.getBasicVals(); in handlePushBack()
477 auto &BVF = SymMgr.getBasicVals(); in handlePopBack()
522 auto &BVF = SymMgr.getBasicVals(); in handlePushFront()
559 auto &BVF = SymMgr.getBasicVals(); in handlePopFront()
684 auto &BVF = SymMgr.getBasicVals(); in handleEraseAfter()
H A DIterator.cpp233 auto &BVF = State->getStateManager().getBasicVals(); in advancePosition()
H A DIteratorModeling.cpp543 auto &BVF = C.getSymbolManager().getBasicVals(); in handleIncrement()
569 auto &BVF = C.getSymbolManager().getBasicVals(); in handleDecrement()
H A DIteratorRangeChecker.cpp299 auto &BVF = State->getBasicVals(); in isZero()