| /freebsd-12-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Core/ |
| H A D | RangedConstraintManager.cpp | 60 const llvm::APSInt &Zero = getBasicVals().getValue(0, DiffTy);
77 BasicValueFactory &BVF = getBasicVals();
104 BasicValueFactory &BVF = getBasicVals();
138 BasicValueFactory &BVF = getBasicVals();
|
| H A D | RangeConstraintManager.cpp | 394 BasicValueFactory &BV = getBasicVals();
485 BasicValueFactory &BV = getBasicVals();
569 RangeSet New = getRange(St, Sym).Intersect(getBasicVals(), F, Upper, Lower);
584 RangeSet New = getRange(St, Sym).Intersect(getBasicVals(), F, AdjInt, AdjInt);
613 return getRange(St, Sym).Intersect(getBasicVals(), F, Lower, Upper);
649 return getRange(St, Sym).Intersect(getBasicVals(), F, Lower, Upper);
685 return getRange(St, Sym).Intersect(getBasicVals(), F, Lower, Upper);
721 return RS().Intersect(getBasicVals(), F, Lower, Upper);
|
| H A D | ExprEngineC.cpp | 528 getBasicVals().accumCXXBase(
723 nonloc::ConcreteInt Zero(getBasicVals().getValue(0, B->getType()));
745 llvm::ImmutableList<SVal> vals = getBasicVals().getEmptySValList();
758 vals = getBasicVals().prependSVal(V, vals);
1043 nonloc::ConcreteInt X(getBasicVals().getValue(0, Ex->getType()));
|
| H A D | ProgramState.cpp | 287 const llvm::APSInt &NewV = getBasicVals().Convert(T, *Int);
|
| H A D | SimpleSValBuilder.cpp | 492 BasicValueFactory &BV = State->getBasicVals();
|
| /freebsd-12-stable/contrib/llvm-project/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| H A D | SimpleConstraintManager.h | 78 BasicValueFactory &getBasicVals() const { return SVB.getBasicValueFactory(); } function in class:clang::ento::SimpleConstraintManager
|
| H A D | SMTConstraintManager.h | 43 ASTContext &Ctx = getBasicVals().getContext();
65 ASTContext &Ctx = getBasicVals().getContext();
81 ASTContext &Ctx = getBasicVals().getContext();
110 BasicValueFactory &BVF = getBasicVals();
246 const TargetInfo &TI = getBasicVals().getContext().getTargetInfo();
|
| H A D | ProgramState.h | 148 BasicValueFactory &getBasicVals() const;
502 BasicValueFactory &getBasicVals() { function in class:clang::ento::ProgramStateManager
787 inline BasicValueFactory &ProgramState::getBasicVals() const { function in class:clang::ento::ProgramState
788 return getStateManager().getBasicVals();
|
| H A D | ExprEngine.h | 393 BasicValueFactory &getBasicVals() { function in class:clang::ento::ExprEngine
394 return StateMgr.getBasicVals();
|
| H A D | SymbolManager.h | 544 BasicValueFactory &getBasicVals() { return BV; } function in class:clang::ento::SymbolManager
|
| /freebsd-12-stable/contrib/llvm-project/clang/lib/StaticAnalyzer/Checkers/ |
| H A D | IteratorRangeChecker.cpp | 199 auto &BVF = State->getBasicVals();
|
| H A D | IteratorModeling.cpp | 589 auto &BVF = C.getSymbolManager().getBasicVals();
615 auto &BVF = C.getSymbolManager().getBasicVals();
859 auto &BVF = SymMgr.getBasicVals();
886 auto &BVF = SymMgr.getBasicVals();
929 auto &BVF = SymMgr.getBasicVals();
964 auto &BVF = SymMgr.getBasicVals();
1071 auto &BVF = SymMgr.getBasicVals();
|