OpenGrok
Home
Sort by relevance
Sort by last modified time
Full Search
Definition
Symbol
File Path
History
|
|
Help
Searched
refs:getRegionManager
(Results
1 - 14
of
14
) sorted by null
/external/clang/lib/StaticAnalyzer/Core/
ConstraintManager.cpp
23
const MemRegion *R = State->getStateManager().
getRegionManager
()
Environment.cpp
110
MemRegionManager &MRMgr = svalBuilder.
getRegionManager
();
116
MemRegionManager &MRMgr = svalBuilder.
getRegionManager
();
ExprEngineCXX.cpp
164
MemRegionManager &MRMgr = getSValBuilder().
getRegionManager
();
383
svalBuilder.
getRegionManager
().getCXXThisRegion(
SValBuilder.cpp
208
return loc::MemRegionVal(
getRegionManager
().
217
return loc::MemRegionVal(
getRegionManager
().getCXXThisRegion(PT, SFC));
Store.cpp
26
MRMgr(svalBuilder.
getRegionManager
()), Ctx(stateMgr.getContext()) {}
CallEvent.cpp
289
MemRegionManager &MRMgr = SVB.
getRegionManager
();
897
MemRegionManager &MRMgr = SVB.
getRegionManager
();
[
all
...]
BugReporterVisitors.cpp
764
MemRegionManager &MRMgr = StateMgr.
getRegionManager
();
[
all
...]
ExprEngine.cpp
178
MemRegionManager &MRMgr = StateMgr.
getRegionManager
();
[
all
...]
/external/clang/lib/StaticAnalyzer/Checkers/
BuiltinFunctionChecker.cpp
56
MemRegionManager& RM = C.getStoreManager().
getRegionManager
();
CallAndMessageChecker.cpp
181
C.getSValBuilder().
getRegionManager
(),
RetainCountChecker.cpp
[
all
...]
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
SValBuilder.h
139
MemRegionManager &
getRegionManager
() { return MemMgr; }
140
const MemRegionManager &
getRegionManager
() const { return MemMgr; }
ProgramState.h
495
MemRegionManager&
getRegionManager
() {
496
return svalBuilder->
getRegionManager
();
498
const MemRegionManager&
getRegionManager
() const {
499
return svalBuilder->
getRegionManager
();
627
return getStateManager().
getRegionManager
().getVarRegion(D, LC);
Store.h
98
///
getRegionManager
- Returns the internal RegionManager object that is
100
MemRegionManager&
getRegionManager
() { return MRMgr; }
Completed in 64 milliseconds