OpenGrok
Home
Sort by relevance
Sort by last modified time
Full Search
Definition
Symbol
File Path
History
|
|
Help
Searched
defs:StateMgr
(Results
1 - 5
of
5
) sorted by null
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
SValBuilder.h
45
ProgramStateManager &
StateMgr
;
63
ProgramStateManager &
stateMgr
)
67
StateMgr
(
stateMgr
),
123
ProgramStateManager &getStateManager() { return
StateMgr
; }
319
ProgramStateManager &
stateMgr
);
Store.h
43
ProgramStateManager &
StateMgr
;
49
StoreManager(ProgramStateManager &
stateMgr
);
ExprEngine.h
69
///
StateMgr
- Object that manages the data for all created states.
70
ProgramStateManager
StateMgr
;
276
virtual ProgramStateManager& getStateManager() { return
StateMgr
; }
278
StoreManager& getStoreManager() { return
StateMgr
.getStoreManager(); }
281
return
StateMgr
.getConstraintManager();
286
return
StateMgr
.getBasicVals();
/external/clang/lib/StaticAnalyzer/Core/
CallEvent.cpp
496
ProgramStateManager &
StateMgr
= getState()->getStateManager();
497
SValBuilder &SVB =
StateMgr
.getSValBuilder();
511
ThisVal =
StateMgr
.getStoreManager().evalDynamicCast(ThisVal, Ty, Failed);
[
all
...]
BugReporterVisitors.cpp
345
ProgramStateManager &
StateMgr
= BRC.getStateManager();
346
CallEventManager &CallMgr =
StateMgr
.getCallEventManager();
464
ProgramStateManager &
StateMgr
= BRC.getStateManager();
465
CallEventManager &CallMgr =
StateMgr
.getCallEventManager();
763
ProgramStateManager &
StateMgr
= N->getState()->getStateManager();
764
MemRegionManager &MRMgr =
StateMgr
.getRegionManager();
[
all
...]
Completed in 128 milliseconds