| /frameworks/compile/libbcc/tests/debuginfo/host-tests/ |
| aggregate-indirect-arg.cpp | 8 // CHECK: $1 = (SVal &)
12 class SVal {
14 ~SVal() {}
19 void bar(SVal &v) {}
22 void foo(SVal v) { bar(v); }
26 SVal v;
|
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| SVals.h | 10 // This file defines SVal, Loc, and NonLoc, classes that represent
24 // Base SVal types.
41 /// SVal - This represents a symbolic expression, which can be either
44 class SVal {
63 explicit SVal(const void *d, bool isLoc, unsigned ValKind)
66 explicit SVal(BaseKind k, const void *D = nullptr)
70 explicit SVal() : Data(nullptr), Kind(0) {}
72 /// \brief Convert to the specified SVal type, asserting that this SVal is of
78 SVal& sv = t
[all...] |
| Store.h | 61 virtual SVal getBinding(Store store, Loc loc, QualType T = QualType()) = 0;
70 virtual StoreRef Bind(Store store, Loc loc, SVal val) = 0;
72 virtual StoreRef BindDefault(Store store, const MemRegion *R, SVal V);
96 virtual SVal getLValueIvar(const ObjCIvarDecl *decl, SVal base);
98 virtual SVal getLValueField(const FieldDecl *D, SVal Base) {
102 virtual SVal getLValueElement(QualType elementType, NonLoc offset, SVal Base);
114 virtual SVal ArrayToPointer(Loc Array, QualType ElementTy) = 0
[all...] |
| BasicValueFactory.h | 29 llvm::ImmutableList<SVal> L;
32 CompoundValData(QualType t, llvm::ImmutableList<SVal> l)
35 typedef llvm::ImmutableList<SVal>::iterator iterator;
40 llvm::ImmutableList<SVal> L);
73 llvm::ImmutableList<SVal>::Factory SValListFactory;
170 llvm::ImmutableList<SVal> Vals);
175 llvm::ImmutableList<SVal> getEmptySValList() {
179 llvm::ImmutableList<SVal> consVals(SVal X, llvm::ImmutableList<SVal> L)
[all...] |
| SValBuilder.h | 11 // "symbolical evaluators" which construct an SVal from an expression.
53 virtual SVal evalCastFromNonLoc(NonLoc val, QualType castTy) = 0;
54 virtual SVal evalCastFromLoc(Loc val, QualType castTy) = 0;
59 virtual SVal dispatchCast(SVal val, QualType castTy) = 0;
85 SVal evalCast(SVal val, QualType castTy, QualType originalType);
87 virtual SVal evalMinus(NonLoc val) = 0;
89 virtual SVal evalComplement(NonLoc val) = 0;
93 virtual SVal evalBinOpNN(ProgramStateRef state, BinaryOperator::Opcode op
[all...] |
| ProgramState.h | 86 Environment Env; // Maps a Stmt to its current SVal.
215 /// \brief Check if the given SVal is constrained to zero or is a zero
217 ConditionTruthVal isNull(SVal V) const;
229 SVal V, bool Invalidate = true) const;
232 SVal V,
235 ProgramStateRef bindLoc(SVal location, SVal V) const;
237 ProgramStateRef bindDefault(SVal loc, SVal V) const;
267 invalidateRegions(ArrayRef<SVal> Regions, const Expr *E
[all...] |
| Environment.h | 60 typedef llvm::ImmutableMap<EnvironmentEntry, SVal> BindingsTy;
68 SVal lookupExpr(const EnvironmentEntry &E) const;
77 SVal getSVal(const EnvironmentEntry &E, SValBuilder &svalBuilder) const;
115 Environment bindExpr(Environment Env, const EnvironmentEntry &E, SVal V,
|
| ExprEngine.h | 278 ProgramStateRef processAssume(ProgramStateRef state, SVal cond,
466 SVal evalMinus(SVal X) {
470 SVal evalComplement(SVal X) {
476 SVal evalBinOp(ProgramStateRef state, BinaryOperator::Opcode op,
481 SVal evalBinOp(ProgramStateRef state, BinaryOperator::Opcode op,
482 NonLoc L, SVal R, QualType T) {
487 SVal evalBinOp(ProgramStateRef ST, BinaryOperator::Opcode Op,
488 SVal LHS, SVal RHS, QualType T)
[all...] |
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| ArrayBoundCheckerV2.cpp | 39 void checkLocation(SVal l, bool isLoad, const Stmt*S,
47 SVal byteOffset;
53 RegionRawOffsetV2(const SubRegion* base, SVal offset)
61 SVal location);
68 static SVal computeExtentBegin(SValBuilder &svalBuilder,
84 void ArrayBoundCheckerV2::checkLocation(SVal location, bool isLoad,
111 SVal extentBegin = computeExtentBegin(svalBuilder, rawOffset.getRegion());
114 SVal lowerBound =
145 SVal upperbound
226 static inline SVal getValue(SVal val, SValBuilder &svalBuilder)
[all...] |
| UndefinedAssignmentChecker.cpp | 30 void checkBind(SVal location, SVal val, const Stmt *S,
35 void UndefinedAssignmentChecker::checkBind(SVal location, SVal val,
|
| BoolAssignmentChecker.cpp | 29 void checkBind(SVal loc, SVal val, const Stmt *S, CheckerContext &C) const;
54 void BoolAssignmentChecker::checkBind(SVal loc, SVal val, const Stmt *S,
85 SVal greaterThanOrEqualToZeroVal =
93 // The SValBuilder cannot construct a valid SVal for this condition.
121 SVal lessThanEqToOneVal =
129 // The SValBuilder cannot construct a valid SVal for this condition.
|
| ObjCSelfInitChecker.cpp | 55 static bool isSelfVar(SVal location, CheckerContext &C);
75 void checkLocation(SVal location, bool isLoad, const Stmt *S,
77 void checkBind(SVal loc, SVal val, const Stmt *S, CheckerContext &C) const;
107 static SelfFlagEnum getSelfFlags(SVal val, ProgramStateRef state) {
114 static SelfFlagEnum getSelfFlags(SVal val, CheckerContext &C) {
118 static void addSelfFlag(ProgramStateRef state, SVal val,
120 // We tag the symbol that the SVal wraps.
127 static bool hasSelfFlag(SVal val, SelfFlagEnum flag, CheckerContext &C) {
135 SVal exprVal = C.getState()->getSVal(E, C.getLocationContext())
[all...] |
| TestAfterDivZeroChecker.cpp | 83 void reportBug(SVal Val, CheckerContext &C) const;
89 void setDivZeroMap(SVal Var, CheckerContext &C) const;
90 bool hasDivZeroMap(SVal Var, const CheckerContext &C) const;
91 bool isZero(SVal S, CheckerContext &C) const;
119 SVal S = State->getSVal(E, Succ->getLocationContext());
138 bool TestAfterDivZeroChecker::isZero(SVal S, CheckerContext &C) const {
148 void TestAfterDivZeroChecker::setDivZeroMap(SVal Var, CheckerContext &C) const {
159 bool TestAfterDivZeroChecker::hasDivZeroMap(SVal Var,
169 void TestAfterDivZeroChecker::reportBug(SVal Val, CheckerContext &C) const {
208 SVal S = C.getSVal(B->getRHS())
[all...] |
| CheckerDocumentation.cpp | 138 void checkLocation(SVal Loc, bool IsLoad, const Stmt *S,
148 void checkBind(SVal Loc, SVal Val, const Stmt *S, CheckerContext &) const {}
218 SVal Cond,
|
| ArrayBoundChecker.cpp | 31 void checkLocation(SVal l, bool isLoad, const Stmt* S,
36 void ArrayBoundChecker::checkLocation(SVal l, bool isLoad, const Stmt* LoadS,
|
| PointerArithChecker.cpp | 41 SVal LV = state->getSVal(B->getLHS(), LCtx);
42 SVal RV = state->getSVal(B->getRHS(), LCtx);
|
| PointerSubChecker.cpp | 44 SVal LV = state->getSVal(B->getLHS(), LCtx);
45 SVal RV = state->getSVal(B->getRHS(), LCtx);
|
| CStringChecker.cpp | 124 ProgramStateRef state, SVal V, QualType Ty);
128 SVal strLength);
129 static SVal getCStringLengthForRegion(CheckerContext &C,
134 SVal getCStringLength(CheckerContext &C,
137 SVal Buf,
143 SVal val) const;
147 const Expr *Ex, SVal V,
158 SVal l) const;
162 SVal l,
199 // Expects SVal of Size to be positive and unsigned
[all...] |
| /external/clang/lib/StaticAnalyzer/Core/ |
| SVals.cpp | 10 // This file defines SVal, Loc, and NonLoc, classes that represent
24 // Symbol iteration within an SVal.
32 bool SVal::hasConjuredSymbol() const {
51 const FunctionDecl *SVal::getAsFunctionDecl() const {
62 /// \brief If this SVal is a location (subclasses Loc) and wraps a symbol,
69 SymbolRef SVal::getAsLocSymbol(bool IncludeBaseRegions) const {
84 /// Get the symbol in the SVal or its base region.
85 SymbolRef SVal::getLocSymbolInBase() const {
105 /// \brief If this SVal wraps a symbol return that SymbolRef.
111 SymbolRef SVal::getAsSymbol(bool IncludeBaseRegion) const
[all...] |
| BasicValueFactory.cpp | 24 llvm::ImmutableList<SVal> L) {
36 typedef std::pair<SVal, uintptr_t> SValData;
37 typedef std::pair<SVal, SVal> SValPair;
109 llvm::ImmutableList<SVal> Vals) {
240 const std::pair<SVal, uintptr_t>&
241 BasicValueFactory::getPersistentSValWithData(const SVal& V, uintptr_t Data) {
265 const std::pair<SVal, SVal>&
266 BasicValueFactory::getPersistentSValPair(const SVal& V1, const SVal& V2)
[all...] |
| Store.cpp | 51 StoreRef StoreManager::BindDefault(Store store, const MemRegion *R, SVal V) {
215 static bool regionMatchesCXXRecordType(SVal V, QualType Ty) {
235 SVal StoreManager::evalDerivedToBase(SVal Derived, const CastExpr *Cast) {
242 SVal Result = Derived;
251 SVal StoreManager::evalDerivedToBase(SVal Derived, const CXXBasePath &Path) {
253 SVal Result = Derived;
262 SVal StoreManager::evalDerivedToBase(SVal Derived, QualType BaseType
[all...] |
| ExprEngineObjC.cpp | 27 SVal baseVal = state->getSVal(Ex->getBase(), LCtx);
28 SVal location = state->getLValue(Ex->getDecl(), baseVal);
64 // through an SVal or through the use of MemRegions. This value can
67 // we can test if the SVal is 0 or if the MemRegion is null (depending
76 SVal elementV;
100 SVal TrueV = svalBuilder.makeTruthVal(1);
104 SVal FalseV = svalBuilder.makeTruthVal(0);
117 SVal V = svalBuilder.makeLoc(Sym);
121 SVal nilV = svalBuilder.makeIntVal(0, T);
172 SVal recVal = Msg->getReceiverSVal()
[all...] |
| RegionStore.cpp | 142 typedef llvm::ImmutableMap<BindingKey, SVal> ClusterBindings;
143 typedef llvm::ImmutableMapRef<BindingKey, SVal> ClusterBindingsRef;
144 typedef std::pair<BindingKey, SVal> BindingPair;
178 RegionBindingsRef addBinding(BindingKey K, SVal V) const;
181 BindingKey::Kind k, SVal V) const;
183 const SVal *lookup(BindingKey K) const;
184 const SVal *lookup(const MemRegion *R, BindingKey::Kind k) const;
197 Optional<SVal> getDirectBinding(const MemRegion *R) const;
199 /// getDefaultBinding - Returns an SVal* representing an optional default
201 Optional<SVal> getDefaultBinding(const MemRegion *R) const
[all...] |
| ExprEngineCXX.cpp | 41 SVal ThisVal;
61 SVal V = Call.getArgSVal(0);
92 static SVal makeZeroElementRegion(ProgramStateRef State, SVal LValue,
120 SVal LValue = State->getLValue(Var, LCtx);
132 SVal ThisVal = State->getSVal(ThisPtr);
135 SVal FieldVal;
274 SVal ThisVal = State->getSVal(ThisPtr);
282 SVal BaseVal = getStoreManager().evalDerivedToBase(ThisVal, CE->getType(),
302 SVal ZeroVal = svalBuilder.makeZeroVal(getContext().CharTy)
[all...] |
| Environment.cpp | 60 SVal Environment::lookupExpr(const EnvironmentEntry &E) const {
61 const SVal* X = ExprBindings.lookup(E);
63 SVal V = *X;
69 SVal Environment::getSVal(const EnvironmentEntry &Entry,
112 SVal V,
159 llvm::ImmutableMapRef<EnvironmentEntry,SVal>
168 const SVal &X = I.getData();
|
