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
113
MemRegionManager &
getRegionManager
() { return MemMgr; }
114
const MemRegionManager &
getRegionManager
() const { return MemMgr; }
Store.h
83
///
getRegionManager
- Returns the internal RegionManager object that is
85
MemRegionManager&
getRegionManager
() { return MRMgr; }
ProgramState.h
493
MemRegionManager&
getRegionManager
() {
494
return svalBuilder->
getRegionManager
();
496
const MemRegionManager&
getRegionManager
() const {
497
return svalBuilder->
getRegionManager
();
630
return getStateManager().
getRegionManager
().getVarRegion(D, LC);
Completed in 33 milliseconds