OpenGrok
Home
Sort by relevance
Sort by last modified time
Full Search
Definition
Symbol
File Path
History
|
|
Help
Searched
defs:getRegionManager
(Results
1 - 3
of
3
) sorted by null
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
SValBuilder.h
142
MemRegionManager &
getRegionManager
() { return MemMgr; }
143
const MemRegionManager &
getRegionManager
() const { return MemMgr; }
Store.h
84
///
getRegionManager
- Returns the internal RegionManager object that is
86
MemRegionManager&
getRegionManager
() { return MRMgr; }
ProgramState.h
476
MemRegionManager&
getRegionManager
() {
477
return svalBuilder->
getRegionManager
();
479
const MemRegionManager&
getRegionManager
() const {
480
return svalBuilder->
getRegionManager
();
610
return getStateManager().
getRegionManager
().getVarRegion(D, LC);
Completed in 66 milliseconds