Searched refs:MemRegionVal (Results 1 - 25 of 29) sorted by relevance

12

/external/clang/lib/StaticAnalyzer/Core/
H A DSVals.cpp38 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>(thi
[all...]
H A DSValBuilder.cpp104 return loc::MemRegionVal(MemMgr.getSymbolicRegion(sym));
128 return loc::MemRegionVal(MemMgr.getSymbolicRegion(sym));
144 return loc::MemRegionVal(MemMgr.getSymbolicRegion(sym));
158 return loc::MemRegionVal(MemMgr.getSymbolicHeapRegion(sym));
171 return loc::MemRegionVal(MemMgr.getSymbolicRegion(sym));
187 return loc::MemRegionVal(MemMgr.getSymbolicRegion(sym));
193 return loc::MemRegionVal(MemMgr.getFunctionTextRegion(func));
202 return loc::MemRegionVal(BD);
206 loc::MemRegionVal SValBuilder::getCXXThis(const CXXMethodDecl *D,
208 return loc::MemRegionVal(getRegionManage
[all...]
H A DConstraintManager.cpp26 return loc::MemRegionVal(R);
H A DStore.cpp270 BaseR = cast<loc::MemRegionVal>(BaseL).getRegion();
291 return loc::MemRegionVal(MRMgr.getObjCIvarRegion(ID, BaseR));
293 return loc::MemRegionVal(MRMgr.getFieldRegion(cast<FieldDecl>(D), BaseR));
310 const MemRegion* BaseRegion = cast<loc::MemRegionVal>(Base).getRegion();
328 return loc::MemRegionVal(MRMgr.getElementRegion(elementType, Offset,
346 return loc::MemRegionVal(MRMgr.getElementRegion(elementType, Offset,
360 return loc::MemRegionVal(MRMgr.getElementRegion(elementType, NewIdx, ArrayR,
H A DExprEngineCXX.cpp44 SVal L = loc::MemRegionVal(R);
178 loc::MemRegionVal(Dest)).getAsRegion();
235 const MemRegion *NewReg = cast<loc::MemRegionVal>(symVal).getRegion();
240 loc::MemRegionVal(EleReg));
314 SVal V = state->getSVal(loc::MemRegionVal(R));
H A DExprEngineObjC.cpp107 if (loc::MemRegionVal *MV = dyn_cast<loc::MemRegionVal>(&elementV))
H A DRegionStore.cpp713 SVal V = RM.getBinding(store, loc::MemRegionVal(VR));
885 if (!isa<loc::MemRegionVal>(Array))
888 const MemRegion* R = cast<loc::MemRegionVal>(&Array)->getRegion();
900 return loc::MemRegionVal(MRMgr.getElementRegion(T, ZeroIdx, ArrayR, Ctx));
924 loc::MemRegionVal *derivedRegVal = dyn_cast<loc::MemRegionVal>(&derived);
931 return loc::MemRegionVal(baseReg);
938 loc::MemRegionVal *baseRegVal = dyn_cast<loc::MemRegionVal>(&base);
962 return loc::MemRegionVal(TS
[all...]
H A DEnvironment.cpp189 // - Mark the region in DRoots if the binding is a loc::MemRegionVal.
230 if (isa<loc::MemRegionVal>(X)) {
231 const MemRegion *R = cast<loc::MemRegionVal>(X).getRegion();
H A DBugReporterVisitors.cpp488 SVal V = state->getRawSVal(loc::MemRegionVal(R));
496 = new TrackConstraintBRVisitor(cast<loc::MemRegionVal>(V), false);
515 if (loc::MemRegionVal *L = dyn_cast<loc::MemRegionVal>(&V)) {
524 loc::MemRegionVal(RegionRVal), false));
H A DExprEngineC.cpp200 SVal originalV = State->getSVal(loc::MemRegionVal(originalR));
201 State = State->bindLoc(loc::MemRegionVal(capturedR), originalV);
467 !VD->getType()->isReferenceType() && isa<loc::MemRegionVal>(InitVal)){
468 InitVal = state->getSVal(cast<loc::MemRegionVal>(InitVal).getRegion());
H A DProgramState.cpp135 const MemRegion *R = cast<loc::MemRegionVal>(loc).getRegion();
182 assert(!isa<loc::MemRegionVal>(LV) && "Use invalidateRegion instead.");
519 if (loc::MemRegionVal *X = dyn_cast<loc::MemRegionVal>(&val))
H A DSimpleConstraintManager.cpp85 const MemRegion *R = cast<loc::MemRegionVal>(Cond).getRegion();
H A DExprEngine.cpp116 SVal V = state->getSVal(loc::MemRegionVal(R));
139 SVal V = state->getSVal(loc::MemRegionVal(R));
155 loc::MemRegionVal L = svalBuilder.getCXXThis(MD, SFC);
448 VisitCXXDestructor(varType, cast<loc::MemRegionVal>(dest).getRegion(),
466 VisitCXXDestructor(BaseTy, cast<loc::MemRegionVal>(BaseVal).getRegion(),
482 cast<loc::MemRegionVal>(FieldVal).getRegion(),
1581 if (loc::MemRegionVal *LocRegVal = dyn_cast<loc::MemRegionVal>(&location)) {
H A DCallEvent.cpp543 return loc::MemRegionVal(static_cast<const MemRegion *>(Data));
570 return loc::MemRegionVal(DtorDataTy::getFromOpaqueValue(Data).getPointer());
H A DPathDiagnostic.cpp931 if (const loc::MemRegionVal *Reg = dyn_cast<loc::MemRegionVal>(&SV)) {
/external/clang/lib/StaticAnalyzer/Checkers/
H A DBuiltinFunctionChecker.cpp72 C.addTransition(state->BindExpr(CE, LCtx, loc::MemRegionVal(R)));
H A DNSErrorChecker.cpp202 if (const loc::MemRegionVal* X = dyn_cast<loc::MemRegionVal>(&val)) {
H A DObjCSelfInitChecker.cpp431 if (!isa<loc::MemRegionVal>(location))
434 loc::MemRegionVal MRV = cast<loc::MemRegionVal>(location);
H A DCStringChecker.cpp818 if (loc::MemRegionVal* MR = dyn_cast<loc::MemRegionVal>(L)) {
941 loc::MemRegionVal *destRegVal = dyn_cast<loc::MemRegionVal>(&destVal);
942 assert(destRegVal && "Destination should be a known MemRegionVal here");
1550 if (loc::MemRegionVal *dstRegVal = dyn_cast<loc::MemRegionVal>(&DstVal)) {
H A DBasicObjCFoundationChecks.cpp310 loc::MemRegionVal* LV = dyn_cast<loc::MemRegionVal>(&TheValueExpr);
H A DMacOSKeychainAPIChecker.cpp230 if (const loc::MemRegionVal *X = dyn_cast<loc::MemRegionVal>(&ArgV)) {
H A DCallAndMessageChecker.cpp164 const SVal &V = StoreMgr.getBinding(store, loc::MemRegionVal(FR));
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
H A DSValBuilder.h294 return loc::MemRegionVal(MemMgr.getSymbolicRegion(sym));
298 return loc::MemRegionVal(region);
310 loc::MemRegionVal getCXXThis(const CXXMethodDecl *D,
314 loc::MemRegionVal getCXXThis(const CXXRecordDecl *D,
H A DSVals.h119 /// getAsFunctionDecl - If this SVal is a MemRegionVal and wraps a
426 class MemRegionVal : public Loc { class in namespace:clang::ento::loc
428 explicit MemRegionVal(const MemRegion* r) : Loc(MemRegionKind, r) {} function in class:clang::ento::loc::MemRegionVal
443 inline bool operator==(const MemRegionVal& R) const {
447 inline bool operator!=(const MemRegionVal& R) const {
H A DStore.h105 return loc::MemRegionVal(MRMgr.getCompoundLiteralRegion(CL, LC));

Completed in 373 milliseconds

12