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
140
MemRegionManager &
getRegionManager
() { return MemMgr; }
141
const MemRegionManager &
getRegionManager
() const { return MemMgr; }
Store.h
83
///
getRegionManager
- Returns the internal RegionManager object that is
85
MemRegionManager&
getRegionManager
() { return MRMgr; }
ProgramState.h
500
MemRegionManager&
getRegionManager
() {
501
return svalBuilder->
getRegionManager
();
503
const MemRegionManager&
getRegionManager
() const {
504
return svalBuilder->
getRegionManager
();
632
return getStateManager().
getRegionManager
().getVarRegion(D, LC);
Completed in 63 milliseconds