OpenGrok
Home
Sort by relevance
Sort by last modified time
Full Search
Definition
Symbol
File Path
History
|
|
Help
Searched
refs:MRMgr
(Results
1 - 7
of
7
) sorted by null
/external/clang/lib/StaticAnalyzer/Core/
Store.cpp
26
MRMgr
(svalBuilder.getRegionManager()), Ctx(stateMgr.getContext()) {}
48
return
MRMgr
.getElementRegion(EleTy, idx, Base, svalBuilder.getContext());
70
return
MRMgr
.getElementRegion(T, idx, R, Ctx);
286
MRMgr
.getCXXBaseObjectRegion(BaseDecl, DerivedRegVal->getRegion(),
429
return loc::MemRegionVal(
MRMgr
.getObjCIvarRegion(ID, BaseR));
431
return loc::MemRegionVal(
MRMgr
.getFieldRegion(cast<FieldDecl>(D), BaseR));
466
return loc::MemRegionVal(
MRMgr
.getElementRegion(elementType, Offset,
485
return loc::MemRegionVal(
MRMgr
.getElementRegion(elementType, Offset,
499
return loc::MemRegionVal(
MRMgr
.getElementRegion(elementType, NewIdx, ArrayR,
CallEvent.cpp
273
MemRegionManager &
MRMgr
= SVB.getRegionManager();
285
Loc ParamLoc = SVB.makeLoc(
MRMgr
.getVarRegion(ParamDecl, CalleeCtx));
882
MemRegionManager &
MRMgr
= SVB.getRegionManager();
883
Loc SelfLoc = SVB.makeLoc(
MRMgr
.getVarRegion(SelfD, CalleeCtx));
[
all
...]
RegionStore.cpp
[
all
...]
ExprEngineCXX.cpp
171
MemRegionManager &
MRMgr
= getSValBuilder().getRegionManager();
172
Target =
MRMgr
.getCXXTempObjectRegion(CE, LCtx);
ExprEngine.cpp
190
MemRegionManager &
MRMgr
= StateMgr.getRegionManager();
219
TR =
MRMgr
.getCXXStaticTempObjectRegion(Inner);
222
TR =
MRMgr
.getCXXTempObjectRegion(Inner, LC);
[
all
...]
BugReporterVisitors.cpp
848
MemRegionManager &
MRMgr
= StateMgr.getRegionManager();
849
return
MRMgr
.getVarRegion(VD, N->getLocationContext());
[
all
...]
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
Store.h
45
///
MRMgr
- Manages region objects associated with this StoreManager.
46
MemRegionManager &
MRMgr
;
85
MemRegionManager& getRegionManager() { return
MRMgr
; }
88
return svalBuilder.makeLoc(
MRMgr
.getVarRegion(VD, LC));
93
return loc::MemRegionVal(
MRMgr
.getCompoundLiteralRegion(CL, LC));
Completed in 107 milliseconds