Home
last modified time | relevance | path

Searched refs:getAsRegion (Results 1 – 25 of 40) sorted by relevance

12

/external/clang/lib/StaticAnalyzer/Checkers/
DPointerSubChecker.cpp47 const MemRegion *LR = LV.getAsRegion(); in checkPreStmt()
48 const MemRegion *RR = RV.getAsRegion(); in checkPreStmt()
DDynamicTypePropagation.cpp175 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()
820 const MemRegion *RetRegion = M.getReturnValue().getAsRegion(); in checkPostObjCMessage()
DPthreadLockChecker.cpp128 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()
DPointerArithChecker.cpp44 const MemRegion *LR = LV.getAsRegion(); in checkPreStmt()
DStackAddrEscapeChecker.cpp129 const MemRegion *R = V.getAsRegion(); in checkPreStmt()
194 const MemRegion *vR = val.getAsRegion(); in checkEndFunction()
DArrayBoundChecker.cpp39 const MemRegion *R = l.getAsRegion(); in checkLocation()
DReturnPointerRangeChecker.cpp44 const MemRegion *R = V.getAsRegion(); in checkPreStmt()
DLocalizationChecker.cpp578 const MemRegion *mt = S.getAsRegion(); in hasLocalizedState()
591 const MemRegion *mt = S.getAsRegion(); in hasNonLocalizedState()
603 const MemRegion *mt = S.getAsRegion(); in setLocalizedState()
614 const MemRegion *mt = S.getAsRegion(); in setNonLocalizedState()
719 dyn_cast_or_null<ObjCStringRegion>(svTitle.getAsRegion())) { in checkPreObjCMessage()
795 dyn_cast_or_null<SymbolicRegion>(sv.getAsRegion()); in checkPostCall()
DMacOSXAPIChecker.cpp61 state->getSVal(CE->getArg(0), C.getLocationContext()).getAsRegion(); in CheckDispatchOnce()
DUndefCapturedBlockVarChecker.cpp60 C.getLocationContext()).getAsRegion()); in checkPostStmt()
DBoolAssignmentChecker.cpp59 dyn_cast_or_null<TypedValueRegion>(loc.getAsRegion()); in checkBind()
DCastSizeChecker.cpp107 const MemRegion *R = state->getSVal(E, C.getLocationContext()).getAsRegion(); in checkPreStmt()
DChrootChecker.cpp110 if (const MemRegion *R = ArgVal.getAsRegion()) { in Chdir()
DVforkChecker.cpp200 const MemRegion *MR = L.getAsRegion(); in checkBind()
DDynamicTypeChecker.cpp169 const MemRegion *Region = C.getSVal(CE).getAsRegion(); in checkPostStmt()
/external/clang/lib/StaticAnalyzer/Core/
DCallEvent.cpp179 if (const MemRegion *MR = getArgSVal(Idx).getAsRegion()) in invalidateRegions()
440 const MemRegion *ThisRegion = ThisVal.getAsRegion(); in getExtraInvalidatedValues()
473 const MemRegion *R = getCXXThisVal().getAsRegion(); in getRuntimeDefinition()
580 const MemRegion *DataReg = getSVal(Callee).getAsRegion(); in getBlockRegion()
857 Receiver = getReceiverSVal().getAsRegion(); in getRuntimeDefinition()
1002 ThisVal.getAsRegion(), State, CallerCtx); in getCaller()
1035 return getCXXDestructorCall(Dtor, Trigger, ThisVal.getAsRegion(), in getCaller()
DExprEngineCXX.cpp123 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()
DSVals.cpp135 const MemRegion *SVal::getAsRegion() const { in getAsRegion() function in SVal
140 return X->getLoc().getAsRegion(); in getAsRegion()
DBugReporterVisitors.cpp311 if (const MemRegion *MR = LValue->getAsRegion()) { in visitNodeInitial()
564 dyn_cast_or_null<BlockDataRegion>(V.getAsRegion())) { in VisitNode()
971 R = LVState->getSVal(Inner, LVNode->getLocationContext()).getAsRegion(); in trackNullOrUndefValue()
1038 const MemRegion *RegionRVal = RVal.getAsRegion(); in trackNullOrUndefValue()
1281 LCtx).getAsRegion()) { in patternMatch()
1441 if (const MemRegion *R = state->getLValue(VD, LCtx).getAsRegion()) { in VisitConditionVariable()
1485 if (const MemRegion *R = state->getLValue(VD, LCtx).getAsRegion()) { in VisitTrueTest()
1603 const MemRegion *ArgReg = Call->getArgSVal(Idx).getAsRegion(); in VisitNode()
DStore.cpp216 const MemRegion *MR = V.getAsRegion(); in regionMatchesCXXRecordType()
299 const MemRegion *MR = Base.getAsRegion(); in evalDynamicCast()
DProgramState.cpp118 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()
DExprEngineCallAndReturn.cpp203 const MemRegion *MR = V.getAsRegion(); in isTemporaryPRValue()
614 const MemRegion *Target = Ctor.getCXXThisVal().getAsRegion(); in mayInlineCallKind()
661 const MemRegion *Target = Dtor.getCXXThisVal().getAsRegion(); in mayInlineCallKind()
DSimpleSValBuilder.cpp720 const MemRegion *LeftMR = lhs.getAsRegion(); in evalBinOpLL()
723 const MemRegion *RightMR = rhs.getAsRegion(); in evalBinOpLL()
900 if (const MemRegion *region = lhs.getAsRegion()) { in evalBinOpLN()
DRegionStore.cpp978 if (const MemRegion *R = V.getAsRegion()) { in VisitBinding()
1033 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()
DSValBuilder.cpp469 if (const MemRegion *R = LV->getLoc().getAsRegion()) { in evalCast()
509 if (const MemRegion *R = val.getAsRegion()) { in evalCast()

12