OpenGrok
Home
Sort by relevance
Sort by last modified time
Full Search
Definition
Symbol
File Path
History
|
|
Help
Searched
refs:getRegionManager
(Results
1 - 15
of
15
) sorted by null
/external/clang/lib/StaticAnalyzer/Core/
ConstraintManager.cpp
23
const MemRegion *R = State->getStateManager().
getRegionManager
()
LoopWidening.cpp
53
MemRegionManager &MRMgr = PrevState->getStateManager().
getRegionManager
();
SValBuilder.cpp
234
return loc::MemRegionVal(
getRegionManager
().
243
return loc::MemRegionVal(
getRegionManager
().getCXXThisRegion(PT, SFC));
261
return makeLoc(
getRegionManager
().getObjCStringRegion(SL));
266
return makeLoc(
getRegionManager
().getStringRegion(SL));
ExprEngineCXX.cpp
155
MemRegionManager &MRMgr = getSValBuilder().
getRegionManager
();
564
svalBuilder.
getRegionManager
().getCXXThisRegion(
578
const MemRegion *R = svalBuilder.
getRegionManager
().getCXXTempObjectRegion(
Store.cpp
26
MRMgr(svalBuilder.
getRegionManager
()), Ctx(stateMgr.getContext()) {}
CallEvent.cpp
308
MemRegionManager &MRMgr = SVB.
getRegionManager
();
[
all
...]
BugReporterVisitors.cpp
844
MemRegionManager &MRMgr = StateMgr.
getRegionManager
();
[
all
...]
ExprEngine.cpp
202
MemRegionManager &MRMgr = StateMgr.
getRegionManager
();
[
all
...]
/external/clang/lib/StaticAnalyzer/Checkers/
BuiltinFunctionChecker.cpp
60
MemRegionManager& RM = C.getStoreManager().
getRegionManager
();
VforkChecker.cpp
168
MemRegionManager &M = C.getStoreManager().
getRegionManager
();
CallAndMessageChecker.cpp
264
C.getSValBuilder().
getRegionManager
(),
MallocChecker.cpp
[
all
...]
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
SValBuilder.h
140
MemRegionManager &
getRegionManager
() { return MemMgr; }
141
const MemRegionManager &
getRegionManager
() const { return MemMgr; }
ProgramState.h
507
MemRegionManager&
getRegionManager
() {
508
return svalBuilder->
getRegionManager
();
510
const MemRegionManager&
getRegionManager
() const {
511
return svalBuilder->
getRegionManager
();
639
return getStateManager().
getRegionManager
().getVarRegion(D, LC);
Store.h
83
///
getRegionManager
- Returns the internal RegionManager object that is
85
MemRegionManager&
getRegionManager
() { return MRMgr; }
Completed in 858 milliseconds