OpenGrok
Home
Sort by relevance
Sort by last modified time
Full Search
Definition
Symbol
File Path
History
|
|
Help
Searched
refs:StateMgr
(Results
1 - 10
of
10
) sorted by null
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
ExprEngine.h
69
///
StateMgr
- Object that manages the data for all created states.
70
ProgramStateManager
StateMgr
;
285
virtual ProgramStateManager& getStateManager() { return
StateMgr
; }
287
StoreManager& getStoreManager() { return
StateMgr
.getStoreManager(); }
290
return
StateMgr
.getConstraintManager();
295
return
StateMgr
.getBasicVals();
SValBuilder.h
45
ProgramStateManager &
StateMgr
;
63
ProgramStateManager &
stateMgr
)
67
StateMgr
(
stateMgr
),
124
ProgramStateManager &getStateManager() { return
StateMgr
; }
326
ProgramStateManager &
stateMgr
);
Store.h
43
ProgramStateManager &
StateMgr
;
49
StoreManager(ProgramStateManager &
stateMgr
);
/external/clang/lib/StaticAnalyzer/Core/
ExprEngine.cpp
66
StateMgr
(getContext(), mgr.getStoreManagerCreator(),
69
SymMgr(
StateMgr
.getSymbolManager()),
70
svalBuilder(
StateMgr
.getSValBuilder()),
93
ProgramStateRef state =
StateMgr
.getInitialState(InitLoc);
189
ProgramStateManager &
StateMgr
= State->getStateManager();
190
MemRegionManager &MRMgr =
StateMgr
.getRegionManager();
191
StoreManager &StoreMgr =
StateMgr
.getStoreManager();
360
CleanedState =
StateMgr
.removeDeadBindings(CleanedState, SFC, SymReaper);
391
assert(
StateMgr
.haveEqualEnvironments(CheckerState, Pred->getState()) &&
394
assert(
StateMgr
.haveEqualStores(CheckerState, Pred->getState()) &
[
all
...]
SValBuilder.cpp
433
StoreManager &storeMgr =
StateMgr
.getStoreManager();
453
val =
StateMgr
.ArrayToPointer(val.castAs<Loc>(), elemTy);
509
StoreManager &storeMgr =
StateMgr
.getStoreManager();
BugReporterVisitors.cpp
356
ProgramStateManager &
StateMgr
= BRC.getStateManager();
357
CallEventManager &CallMgr =
StateMgr
.getCallEventManager();
512
ProgramStateManager &
StateMgr
= BRC.getStateManager();
513
CallEventManager &CallMgr =
StateMgr
.getCallEventManager();
847
ProgramStateManager &
StateMgr
= N->getState()->getStateManager();
848
MemRegionManager &MRMgr =
StateMgr
.getRegionManager();
[
all
...]
Store.cpp
24
StoreManager::StoreManager(ProgramStateManager &
stateMgr
)
25
: svalBuilder(
stateMgr
.getSValBuilder()),
StateMgr
(
stateMgr
),
26
MRMgr(svalBuilder.getRegionManager()), Ctx(
stateMgr
.getContext()) {}
75
ASTContext &Ctx =
StateMgr
.getContext();
CallEvent.cpp
482
ProgramStateManager &
StateMgr
= getState()->getStateManager();
483
SValBuilder &SVB =
StateMgr
.getSValBuilder();
497
ThisVal =
StateMgr
.getStoreManager().evalDynamicCast(ThisVal, Ty, Failed);
[
all
...]
RegionStore.cpp
360
if (SubEngine *Eng =
StateMgr
.getOwningEngine()) {
679
ClusterAnalysis(RegionStoreManager &rm, ProgramStateManager &
StateMgr
,
681
: RM(rm), Ctx(
StateMgr
.getContext()),
682
svalBuilder(
StateMgr
.getSValBuilder()),
[
all
...]
/external/clang/lib/StaticAnalyzer/Checkers/
RetainCountChecker.cpp
[
all
...]
Completed in 172 milliseconds