| /external/clang/lib/StaticAnalyzer/Core/ |
| SVals.cpp | 38 if (const loc::MemRegionVal *RV = dyn_cast<loc::MemRegionVal>(this)) {
51 if (const loc::MemRegionVal* X = dyn_cast<loc::MemRegionVal>(this)) {
70 if (const loc::MemRegionVal *X = dyn_cast<loc::MemRegionVal>(this)) {
80 const loc::MemRegionVal *X = dyn_cast<loc::MemRegionVal>(this);
126 if (const loc::MemRegionVal *X = dyn_cast<loc::MemRegionVal>(this)
[all...] |
| ExprEngineCXX.cpp | 52 state = state->bindLoc(loc::MemRegionVal(R), V);
53 Bldr.generateNode(ME, Pred, state->BindExpr(ME, LCtx, loc::MemRegionVal(R)));
124 state = state->bindLoc(loc::MemRegionVal(ThisR), loc::MemRegionVal(Dest));
169 state = state->bindLoc(loc::MemRegionVal(ThisR), loc::MemRegionVal(Dest));
181 const MemRegion *NewReg = cast<loc::MemRegionVal>(symVal).getRegion();
191 loc::MemRegionVal(EleReg));
246 state = state->bindLoc(loc::MemRegionVal(EleReg), V);
250 state = state->bindLoc(loc::MemRegionVal(EleReg), UndefinedVal())
[all...] |
| Store.cpp | 247 BaseR = cast<loc::MemRegionVal>(BaseL).getRegion();
268 return loc::MemRegionVal(MRMgr.getObjCIvarRegion(ID, BaseR));
270 return loc::MemRegionVal(MRMgr.getFieldRegion(cast<FieldDecl>(D), BaseR));
287 const MemRegion* BaseRegion = cast<loc::MemRegionVal>(Base).getRegion();
305 return loc::MemRegionVal(MRMgr.getElementRegion(elementType, Offset,
323 return loc::MemRegionVal(MRMgr.getElementRegion(elementType, Offset,
337 return loc::MemRegionVal(MRMgr.getElementRegion(elementType, NewIdx, ArrayR,
|
| SValBuilder.cpp | 104 return loc::MemRegionVal(MemMgr.getSymbolicRegion(sym));
130 return loc::MemRegionVal(MemMgr.getSymbolicRegion(sym));
147 return loc::MemRegionVal(MemMgr.getSymbolicRegion(sym));
162 return loc::MemRegionVal(MemMgr.getSymbolicRegion(sym));
178 return loc::MemRegionVal(MemMgr.getSymbolicRegion(sym));
184 return loc::MemRegionVal(MemMgr.getFunctionTextRegion(func));
193 return loc::MemRegionVal(BD);
307 return R ? SVal(loc::MemRegionVal(R)) : UnknownVal();
382 return R ? SVal(loc::MemRegionVal(R)) : UnknownVal();
|
| ExprEngineObjC.cpp | 107 if (loc::MemRegionVal *MV = dyn_cast<loc::MemRegionVal>(&elementV))
|
| RegionStore.cpp | 853 if (!isa<loc::MemRegionVal>(Array))
856 const MemRegion* R = cast<loc::MemRegionVal>(&Array)->getRegion();
868 return loc::MemRegionVal(MRMgr.getElementRegion(T, ZeroIdx, ArrayR, Ctx));
880 loc::MemRegionVal *derivedRegVal = dyn_cast<loc::MemRegionVal>(&derived);
887 return loc::MemRegionVal(baseReg);
894 loc::MemRegionVal *baseRegVal = dyn_cast<loc::MemRegionVal>(&base);
[all...] |
| Environment.cpp | 180 // - Mark the region in DRoots if the binding is a loc::MemRegionVal.
221 if (isa<loc::MemRegionVal>(X)) {
222 const MemRegion *R = cast<loc::MemRegionVal>(X).getRegion();
|
| BugReporterVisitors.cpp | 323 SVal V = state->getSVal(loc::MemRegionVal(R));
338 if (loc::MemRegionVal *L = dyn_cast<loc::MemRegionVal>(&V)) {
346 return new TrackConstraintBRVisitor(loc::MemRegionVal(R), false);
|
| ProgramState.cpp | 147 const MemRegion *R = cast<loc::MemRegionVal>(loc).getRegion();
194 assert(!isa<loc::MemRegionVal>(LV) && "Use invalidateRegion instead.");
530 if (loc::MemRegionVal *X = dyn_cast<loc::MemRegionVal>(&val))
|
| SimpleConstraintManager.cpp | 85 const MemRegion *R = cast<loc::MemRegionVal>(Cond).getRegion();
|
| ExprEngine.cpp | 127 SVal V = state->getSVal(loc::MemRegionVal(R));
150 SVal V = state->getSVal(loc::MemRegionVal(R));
166 loc::MemRegionVal L(getCXXThisRegion(MD, SFC));
451 VisitCXXDestructor(dtorDecl, cast<loc::MemRegionVal>(dest).getRegion(),
[all...] |
| ExprEngineC.cpp | 412 !VD->getType()->isReferenceType() && isa<loc::MemRegionVal>(InitVal)){
413 InitVal = state->getSVal(cast<loc::MemRegionVal>(InitVal).getRegion());
|
| PathDiagnostic.cpp | 698 if (const loc::MemRegionVal *Reg = dyn_cast<loc::MemRegionVal>(&SV)) {
|
| SimpleSValBuilder.cpp | 637 assert(isa<loc::MemRegionVal>(rhs) || isa<loc::GotoLabel>(rhs));
[all...] |
| /external/clang/lib/StaticAnalyzer/Checkers/ |
| BuiltinFunctionChecker.cpp | 72 C.addTransition(state->BindExpr(CE, LCtx, loc::MemRegionVal(R)));
|
| ObjCSelfInitChecker.cpp | 372 if (!isa<loc::MemRegionVal>(location))
375 loc::MemRegionVal MRV = cast<loc::MemRegionVal>(location);
|
| NSErrorChecker.cpp | 202 if (const loc::MemRegionVal* X = dyn_cast<loc::MemRegionVal>(&val)) {
|
| DereferenceChecker.cpp | 193 report->markInteresting(state->getRawSVal(loc::MemRegionVal(sourceR)));
|
| CStringChecker.cpp | 819 if (loc::MemRegionVal* MR = dyn_cast<loc::MemRegionVal>(L)) {
[all...] |
| BasicObjCFoundationChecks.cpp | 289 loc::MemRegionVal* LV = dyn_cast<loc::MemRegionVal>(&TheValueExpr);
|
| MacOSKeychainAPIChecker.cpp | 230 if (const loc::MemRegionVal *X = dyn_cast<loc::MemRegionVal>(&ArgV)) {
|
| CallAndMessageChecker.cpp | 155 const SVal &V = StoreMgr.getBinding(store, loc::MemRegionVal(FR));
|
| /external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/ |
| SVals.h | 120 /// getAsFunctionDecl - If this SVal is a MemRegionVal and wraps a
424 class MemRegionVal : public Loc {
426 explicit MemRegionVal(const MemRegion* r) : Loc(MemRegionKind, r) {}
441 inline bool operator==(const MemRegionVal& R) const {
445 inline bool operator!=(const MemRegionVal& R) const {
|
| SValBuilder.h | 295 return loc::MemRegionVal(MemMgr.getSymbolicRegion(sym));
299 return loc::MemRegionVal(region);
|
| Store.h | 99 return loc::MemRegionVal(MRMgr.getCompoundLiteralRegion(CL, LC));
|
