Searched refs:getBasicVals (Results 1 – 11 of 11) sorted by relevance
| /freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Core/ |
| H A D | RangedConstraintManager.cpp | 61 const llvm::APSInt &Zero = getBasicVals().getValue(0, DiffTy); in assumeSym()
78 BasicValueFactory &BVF = getBasicVals(); in assumeSymInclusiveRange()
105 BasicValueFactory &BVF = getBasicVals(); in assumeSymUnsupported()
139 BasicValueFactory &BVF = getBasicVals(); in assumeSymRel()
|
| H A D | RangeConstraintManager.cpp | 373 BasicValueFactory &BV = getBasicVals(); in checkNull()
463 BasicValueFactory &BV = getBasicVals(); in getRange()
541 RangeSet New = getRange(St, Sym).Intersect(getBasicVals(), F, Upper, Lower); in assumeSymNE()
556 RangeSet New = getRange(St, Sym).Intersect(getBasicVals(), F, AdjInt, AdjInt); in assumeSymEQ()
585 return getRange(St, Sym).Intersect(getBasicVals(), F, Lower, Upper); in getSymLTRange()
621 return getRange(St, Sym).Intersect(getBasicVals(), F, Lower, Upper); in getSymGTRange()
657 return getRange(St, Sym).Intersect(getBasicVals(), F, Lower, Upper); in getSymGERange()
693 return RS().Intersect(getBasicVals(), F, Lower, Upper); in getSymLERange()
|
| H A D | ExprEngineC.cpp | 517 getBasicVals().accumCXXBase( in VisitCast()
687 nonloc::ConcreteInt Zero(getBasicVals().getValue(0, B->getType())); in VisitLogicalExpr()
709 llvm::ImmutableList<SVal> vals = getBasicVals().getEmptySValList(); in VisitInitListExpr()
722 vals = getBasicVals().prependSVal(V, vals); in VisitInitListExpr()
1008 nonloc::ConcreteInt X(getBasicVals().getValue(0, Ex->getType())); in VisitUnaryOperator()
|
| H A D | ProgramState.cpp | 290 const llvm::APSInt &NewV = getBasicVals().Convert(T, *Int); in getSVal()
|
| H A D | SimpleSValBuilder.cpp | 493 BasicValueFactory &BV = State->getBasicVals(); in tryRearrange()
|
| /freebsd-12.1/contrib/llvm/tools/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | SMTConstraintManager.h | 40 ASTContext &Ctx = getBasicVals().getContext(); in assumeSym()
61 ASTContext &Ctx = getBasicVals().getContext(); in assumeSymInclusiveRange()
77 ASTContext &Ctx = getBasicVals().getContext(); in checkNull()
106 BasicValueFactory &BVF = getBasicVals(); in getSymVal()
222 const TargetInfo &TI = getBasicVals().getContext().getTargetInfo(); in canReasonAbout()
|
| H A D | SimpleConstraintManager.h | 79 BasicValueFactory &getBasicVals() const { return SVB.getBasicValueFactory(); } in getBasicVals() function
|
| H A D | ProgramState.h | 151 BasicValueFactory &getBasicVals() const;
538 BasicValueFactory &getBasicVals() { in getBasicVals() function
818 inline BasicValueFactory &ProgramState::getBasicVals() const { in getBasicVals() function
819 return getStateManager().getBasicVals(); in getBasicVals()
|
| H A D | ExprEngine.h | 386 BasicValueFactory &getBasicVals() { in getBasicVals() function
387 return StateMgr.getBasicVals(); in getBasicVals()
|
| H A D | SymbolManager.h | 545 BasicValueFactory &getBasicVals() { return BV; } in getBasicVals() function
|
| /freebsd-12.1/contrib/llvm/tools/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | IteratorChecker.cpp | 949 auto &BVF = SymMgr.getBasicVals(); in handleIncrement()
967 auto &BVF = SymMgr.getBasicVals(); in handleDecrement()
1319 auto &BVF = SymMgr.getBasicVals(); in handlePushBack()
1345 auto &BVF = SymMgr.getBasicVals(); in handlePopBack()
1388 auto &BVF = SymMgr.getBasicVals(); in handlePushFront()
1423 auto &BVF = SymMgr.getBasicVals(); in handlePopFront()
1530 auto &BVF = SymMgr.getBasicVals(); in handleEraseAfter()
2311 auto &BVF = State->getBasicVals(); in isZero()
|