OpenGrok
Home
Sort by relevance
Sort by last modified time
Full Search
Definition
Symbol
File Path
History
|
|
Help
Searched
full:storemgr
(Results
1 - 7
of
7
) sorted by null
/external/clang/lib/StaticAnalyzer/Core/
AnalysisManager.cpp
20
StoreManagerCreator
storemgr
,
33
CreateStoreMgr(
storemgr
), CreateConstraintMgr(constraintmgr),
ProgramState.cpp
74
StoreRef newStore =
StoreMgr
->removeDeadBindings(NewState.getStore(), LCtx,
87
StoreMgr
->getInitialStore(InitLoc),
97
getStateManager().
StoreMgr
->BindCompoundLiteral(getStore(), CL, LC, V);
103
getStateManager().
StoreMgr
->BindDecl(getStore(), VR, IVal);
109
getStateManager().
StoreMgr
->BindDeclWithNoInit(getStore(), VR);
115
const ProgramState *newState = makeWithStore(Mgr.
StoreMgr
->Bind(getStore(),
127
const StoreRef &newStore = Mgr.
StoreMgr
->BindDefault(getStore(), R, V);
158
= Mgr.
StoreMgr
->invalidateRegions(getStore(), Regions, E, Count, IS,
165
Mgr.
StoreMgr
->invalidateRegions(getStore(), Regions, E, Count, IS,
174
const StoreRef &newStore = getStateManager().
StoreMgr
->Remove(OldStore, LV)
[
all
...]
SValBuilder.cpp
232
StoreManager &
storeMgr
= StateMgr.getStoreManager();
233
R =
storeMgr
.castRegion(R, castTy);
303
StoreManager &
storeMgr
= StateMgr.getStoreManager();
308
R =
storeMgr
.castRegion(R, castTy);
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
ProgramState.h
413
llvm::OwningPtr<StoreManager>
StoreMgr
;
449
StoreMgr
.reset((*CreateStoreManager)(*this));
462
StoreMgr
.reset((*CreateStoreManager)(*this));
500
StoreManager& getStoreManager() { return *
StoreMgr
; }
515
return
StoreMgr
->ArrayToPointer(Array);
525
StoreMgr
->iterBindings(state->getStore(), F);
657
return getStateManager().
StoreMgr
->getLValueVar(VD, LC);
661
return getStateManager().
StoreMgr
->getLValueString(literal);
666
return getStateManager().
StoreMgr
->getLValueCompoundLiteral(literal, LC);
670
return getStateManager().
StoreMgr
->getLValueIvar(D, Base)
[
all
...]
AnalysisManager.h
81
StoreManagerCreator
storemgr
,
SymbolManager.h
457
StoreManager &
storeMgr
)
458
: LCtx(ctx), Loc(s), SymMgr(symmgr), reapedStore(0,
storeMgr
) {}
/external/clang/lib/StaticAnalyzer/Checkers/
CallAndMessageChecker.cpp
113
StoreManager &
StoreMgr
;
117
FindUninitializedField(ASTContext &c, StoreManager &
storeMgr
,
119
: C(c),
StoreMgr
(
storeMgr
), MrMgr(mrMgr), store(s) {}
136
const SVal &V =
StoreMgr
.Retrieve(store, loc::MemRegionVal(FR));
Completed in 307 milliseconds