| /external/clang/lib/StaticAnalyzer/Checkers/ |
| D | PointerArithChecker.cpp | 112 return S.getAsRegion(); in getPointedRegion()
159 State->getSVal(E, C.getLocationContext()).getAsRegion(); in reportPointerArithMisuse()
232 const MemRegion *Region = SV.getAsRegion(); in checkPostStmt()
253 const MemRegion *Region = AllocedVal.getAsRegion(); in checkPostStmt()
269 const MemRegion *Region = CastedVal.getAsRegion(); in checkPostStmt()
287 const MemRegion *Region = CastedVal.getAsRegion(); in checkPreStmt()
|
| D | PointerSubChecker.cpp | 47 const MemRegion *LR = LV.getAsRegion(); in checkPreStmt()
48 const MemRegion *RR = RV.getAsRegion(); in checkPreStmt()
|
| D | DynamicTypePropagation.cpp | 175 if (const MemRegion *Target = Ctor->getCXXThisVal().getAsRegion()) in checkPreCall()
188 const MemRegion *Target = Dtor->getCXXThisVal().getAsRegion(); in checkPreCall()
207 const MemRegion *RetReg = Call.getReturnValue().getAsRegion(); in checkPostCall()
237 const MemRegion *RecReg = Msg->getReceiverSVal().getAsRegion(); in checkPostCall()
262 if (const MemRegion *Target = Ctor->getCXXThisVal().getAsRegion()) { in checkPostCall()
280 const MemRegion *ToR = C.getSVal(CE).getAsRegion(); in dynamicTypePropagationOnCasts()
300 const MemRegion *MR = C.getSVal(NewE).getAsRegion(); in checkPostStmt()
348 const MemRegion *ToR = C.getSVal(CastE).getAsRegion(); in getBetterObjCType()
844 const MemRegion *RetRegion = M.getReturnValue().getAsRegion(); in checkPostObjCMessage()
|
| D | PthreadLockChecker.cpp | 128 const MemRegion *lockR = lock.getAsRegion(); in AcquireLock()
196 const MemRegion *lockR = lock.getAsRegion(); in ReleaseLock()
251 const MemRegion *LockR = Lock.getAsRegion(); in DestroyLock()
286 const MemRegion *LockR = Lock.getAsRegion(); in InitLock()
|
| D | LocalizationChecker.cpp | 602 const MemRegion *mt = S.getAsRegion(); in hasLocalizedState()
615 const MemRegion *mt = S.getAsRegion(); in hasNonLocalizedState()
627 const MemRegion *mt = S.getAsRegion(); in setLocalizedState()
638 const MemRegion *mt = S.getAsRegion(); in setNonLocalizedState()
704 const MemRegion *StringRegion = S.getAsRegion(); in reportLocalizationError()
783 dyn_cast_or_null<ObjCStringRegion>(svTitle.getAsRegion())) { in checkPreObjCMessage()
859 dyn_cast_or_null<SymbolicRegion>(sv.getAsRegion()); in checkPostCall()
915 if (LiteralSVal.getAsRegion() != NonLocalizedString) in VisitNode()
|
| D | StackAddrEscapeChecker.cpp | 129 const MemRegion *R = V.getAsRegion(); in checkPreStmt()
194 const MemRegion *vR = val.getAsRegion(); in checkEndFunction()
|
| D | ArrayBoundChecker.cpp | 39 const MemRegion *R = l.getAsRegion(); in checkLocation()
|
| D | ReturnPointerRangeChecker.cpp | 44 const MemRegion *R = V.getAsRegion(); in checkPreStmt()
|
| D | UndefCapturedBlockVarChecker.cpp | 60 C.getLocationContext()).getAsRegion()); in checkPostStmt()
|
| D | MacOSXAPIChecker.cpp | 61 state->getSVal(CE->getArg(0), C.getLocationContext()).getAsRegion(); in CheckDispatchOnce()
|
| D | BoolAssignmentChecker.cpp | 59 dyn_cast_or_null<TypedValueRegion>(loc.getAsRegion()); in checkBind()
|
| D | CastSizeChecker.cpp | 104 const MemRegion *R = state->getSVal(E, C.getLocationContext()).getAsRegion(); in checkPreStmt()
|
| D | ChrootChecker.cpp | 111 if (const MemRegion *R = ArgVal.getAsRegion()) { in Chdir()
|
| D | VforkChecker.cpp | 200 const MemRegion *MR = L.getAsRegion(); in checkBind()
|
| D | ExprInspectionChecker.cpp | 160 auto MR = dyn_cast_or_null<SubRegion>(C.getSVal(CE->getArg(0)).getAsRegion()); in analyzerGetExtent()
|
| /external/clang/lib/StaticAnalyzer/Checkers/MPI-Checker/ |
| D | MPIChecker.cpp | 31 PreCallEvent.getArgSVal(PreCallEvent.getNumArgs() - 1).getAsRegion(); in checkDoubleNonblocking()
138 return CE.getArgSVal(0).getAsRegion(); in topRegionUsedByWait()
140 return CE.getArgSVal(1).getAsRegion(); in topRegionUsedByWait()
|
| /external/clang/lib/StaticAnalyzer/Core/ |
| D | CallEvent.cpp | 179 if (const MemRegion *MR = getArgSVal(Idx).getAsRegion()) in invalidateRegions()
450 const MemRegion *ThisRegion = ThisVal.getAsRegion(); in getExtraInvalidatedValues()
483 const MemRegion *R = getCXXThisVal().getAsRegion(); in getRuntimeDefinition()
590 const MemRegion *DataReg = getSVal(Callee).getAsRegion(); in getBlockRegion()
690 const MemRegion *IvarRegion = IvarLVal.getAsRegion(); in getExtraInvalidatedValues()
912 Receiver = getReceiverSVal().getAsRegion(); in getRuntimeDefinition()
1079 ThisVal.getAsRegion(), State, CallerCtx); in getCaller()
1112 return getCXXDestructorCall(Dtor, Trigger, ThisVal.getAsRegion(), in getCaller()
|
| D | ExprEngineCXX.cpp | 123 return LValue.getAsRegion(); in getRegionForConstructedObject()
146 return FieldVal.getAsRegion(); in getRegionForConstructedObject()
277 Target = ThisVal.getAsRegion(); in VisitCXXConstructExpr()
284 Target = BaseVal.getAsRegion(); in VisitCXXConstructExpr()
371 Dest = DestVal.getAsRegion(); in VisitCXXDestructor()
|
| D | BugReporterVisitors.cpp | 312 if (const MemRegion *MR = LValue->getAsRegion()) { in visitNodeInitial()
568 dyn_cast_or_null<BlockDataRegion>(V.getAsRegion())) { in VisitNode()
1029 R = LVState->getSVal(Inner, LVNode->getLocationContext()).getAsRegion(); in trackNullOrUndefValue()
1096 const MemRegion *RegionRVal = RVal.getAsRegion(); in trackNullOrUndefValue()
1339 LCtx).getAsRegion()) { in patternMatch()
1499 if (const MemRegion *R = state->getLValue(VD, LCtx).getAsRegion()) { in VisitConditionVariable()
1543 if (const MemRegion *R = state->getLValue(VD, LCtx).getAsRegion()) { in VisitTrueTest()
1665 const MemRegion *ArgReg = Call->getArgSVal(Idx).getAsRegion(); in VisitNode()
|
| D | SVals.cpp | 135 const MemRegion *SVal::getAsRegion() const { in getAsRegion() function in SVal
140 return X->getLoc().getAsRegion(); in getAsRegion()
|
| D | Store.cpp | 216 const MemRegion *MR = V.getAsRegion(); in regionMatchesCXXRecordType()
299 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 | 206 const MemRegion *MR = V.getAsRegion(); in isTemporaryPRValue()
601 const MemRegion *Target = Ctor.getCXXThisVal().getAsRegion(); in mayInlineCallKind()
648 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 | RegionStore.cpp | 979 if (const MemRegion *R = V.getAsRegion()) { in VisitBinding()
1034 if (const MemRegion *LR = L->getAsRegion()) in VisitCluster()
1142 const MemRegion *R = V.getAsRegion(); in VisitCluster()
1226 if (const MemRegion *R = (*I).getAsRegion()) in populateWorkList()
1232 if (const MemRegion *R = V.getAsRegion()) { in populateWorkList()
1962 if (const MemRegion *R = D.getAsRegion()) in includedInBindings()
2375 if (const MemRegion *R = V.getAsRegion()) { in VisitBinding()
|