| /external/clang/lib/StaticAnalyzer/Checkers/ |
| D | DynamicTypePropagation.cpp | 78 if (const MemRegion *Target = Ctor->getCXXThisVal().getAsRegion()) in checkPreCall()
91 const MemRegion *Target = Dtor->getCXXThisVal().getAsRegion(); in checkPreCall()
110 const MemRegion *RetReg = Call.getReturnValue().getAsRegion(); in checkPostCall()
140 const MemRegion *RecReg = Msg->getReceiverSVal().getAsRegion(); in checkPostCall()
165 if (const MemRegion *Target = Ctor->getCXXThisVal().getAsRegion()) { in checkPostCall()
179 const MemRegion *ToR = C.getSVal(CastE).getAsRegion(); in checkPostStmt()
201 const MemRegion *MR = C.getSVal(NewE).getAsRegion(); in checkPostStmt()
249 const MemRegion *ToR = C.getSVal(CastE).getAsRegion(); in getBetterObjCType()
|
| D | PointerSubChecker.cpp | 47 const MemRegion *LR = LV.getAsRegion(); in checkPreStmt()
48 const MemRegion *RR = RV.getAsRegion(); in checkPreStmt()
|
| D | PthreadLockChecker.cpp | 128 const MemRegion *lockR = lock.getAsRegion(); in AcquireLock()
197 const MemRegion *lockR = lock.getAsRegion(); in ReleaseLock()
255 const MemRegion *LockR = Lock.getAsRegion(); in DestroyLock()
290 const MemRegion *LockR = Lock.getAsRegion(); in InitLock()
|
| D | PointerArithChecker.cpp | 44 const MemRegion *LR = LV.getAsRegion(); in checkPreStmt()
|
| D | StackAddrEscapeChecker.cpp | 129 const MemRegion *R = V.getAsRegion(); in checkPreStmt()
185 const MemRegion *vR = val.getAsRegion(); in checkEndFunction()
|
| D | ReturnPointerRangeChecker.cpp | 44 const MemRegion *R = V.getAsRegion(); in checkPreStmt()
|
| D | ArrayBoundChecker.cpp | 39 const MemRegion *R = l.getAsRegion(); in checkLocation()
|
| D | MacOSXAPIChecker.cpp | 61 state->getSVal(CE->getArg(0), C.getLocationContext()).getAsRegion(); in CheckDispatchOnce()
|
| D | UndefCapturedBlockVarChecker.cpp | 63 C.getLocationContext()).getAsRegion()); in checkPostStmt()
|
| D | BoolAssignmentChecker.cpp | 59 dyn_cast_or_null<TypedValueRegion>(loc.getAsRegion()); in checkBind()
|
| D | CastSizeChecker.cpp | 107 const MemRegion *R = state->getSVal(E, C.getLocationContext()).getAsRegion(); in checkPreStmt()
|
| D | ChrootChecker.cpp | 110 if (const MemRegion *R = ArgVal.getAsRegion()) { in Chdir()
|
| D | ArrayBoundCheckerV2.cpp | 270 const MemRegion *region = location.getAsRegion(); in computeOffset()
|
| D | DereferenceChecker.cpp | 232 const MemRegion *MR = L.getAsRegion(); in checkBind()
|
| /external/clang/lib/StaticAnalyzer/Core/ |
| D | ExprEngineCXX.cpp | 135 return LValue.getAsRegion(); in getRegionForConstructedObject()
163 return FieldVal.getAsRegion(); in getRegionForConstructedObject()
221 Target = ThisVal.getAsRegion(); in VisitCXXConstructExpr()
228 Target = BaseVal.getAsRegion(); in VisitCXXConstructExpr()
315 Dest = DestVal.getAsRegion(); in VisitCXXDestructor()
|
| D | CallEvent.cpp | 161 if (const MemRegion *MR = getArgSVal(Idx).getAsRegion()) in invalidateRegions()
433 const MemRegion *R = getCXXThisVal().getAsRegion(); in getRuntimeDefinition()
540 const MemRegion *DataReg = getSVal(Callee).getAsRegion(); in getBlockRegion()
799 Receiver = getReceiverSVal().getAsRegion(); in getRuntimeDefinition()
944 ThisVal.getAsRegion(), State, CallerCtx); in getCaller()
977 return getCXXDestructorCall(Dtor, Trigger, ThisVal.getAsRegion(), in getCaller()
|
| D | SVals.cpp | 135 const MemRegion *SVal::getAsRegion() const { in getAsRegion() function in SVal
140 return X->getLoc().getAsRegion(); in getAsRegion()
|
| D | BugReporterVisitors.cpp | 315 if (const MemRegion *MR = LValue->getAsRegion()) { in visitNodeInitial()
568 dyn_cast_or_null<BlockDataRegion>(V.getAsRegion())) { in VisitNode()
975 R = LVState->getSVal(Inner, LVNode->getLocationContext()).getAsRegion(); in trackNullOrUndefValue()
1046 const MemRegion *RegionRVal = RVal.getAsRegion(); in trackNullOrUndefValue()
1290 LCtx).getAsRegion()) { in patternMatch()
1450 if (const MemRegion *R = state->getLValue(VD, LCtx).getAsRegion()) { in VisitConditionVariable()
1494 if (const MemRegion *R = state->getLValue(VD, LCtx).getAsRegion()) { in VisitTrueTest()
1613 const MemRegion *ArgReg = Call->getArgSVal(Idx).getAsRegion(); in VisitNode()
|
| D | Store.cpp | 227 const MemRegion *MR = V.getAsRegion(); in regionMatchesCXXRecordType()
310 const MemRegion *MR = Base.getAsRegion(); in evalDynamicCast()
|
| D | ProgramState.cpp | 118 const MemRegion *MR = LV.getAsRegion(); in bindLoc()
661 const MemRegion *R = getSVal(S, LCtx).getAsRegion(); in addTaint()
699 if (const MemRegion *Reg = V.getAsRegion()) in isTainted()
|
| D | ExprEngineCallAndReturn.cpp | 203 const MemRegion *MR = V.getAsRegion(); in isTemporaryPRValue()
613 const MemRegion *Target = Ctor.getCXXThisVal().getAsRegion(); in mayInlineCallKind()
660 const MemRegion *Target = Dtor.getCXXThisVal().getAsRegion(); in mayInlineCallKind()
|
| D | SimpleSValBuilder.cpp | 720 const MemRegion *LeftMR = lhs.getAsRegion(); in evalBinOpLL()
723 const MemRegion *RightMR = rhs.getAsRegion(); in evalBinOpLL()
900 if (const MemRegion *region = lhs.getAsRegion()) { in evalBinOpLN()
|
| D | SValBuilder.cpp | 441 if (const MemRegion *R = LV->getLoc().getAsRegion()) { in evalCast()
481 if (const MemRegion *R = val.getAsRegion()) { in evalCast()
|
| D | SimpleConstraintManager.cpp | 75 const MemRegion *MR = LV->getAsRegion(); in assume()
|
| D | ExprEngine.cpp | 507 PostInitializer PP(BMI, FieldLoc.getAsRegion(), stackFrame); in ProcessInitializer()
517 PostInitializer PP(BMI, FieldLoc.getAsRegion(), stackFrame); in ProcessInitializer()
587 Region = state->getSVal(Region).getAsRegion(); in ProcessAutomaticObjDtor()
618 ArgVal.getAsRegion(), in ProcessDeleteDtor()
1744 if (const MemRegion *R = V.getAsRegion()) in VisitCommonDeclRefExpr()
1871 if (const MemRegion *R = L.getAsRegion()) in VisitMemberExpr()
2100 dyn_cast_or_null<TypedValueRegion>(location.getAsRegion())) { in evalLoad()
|