OpenGrok
Home
Sort by relevance
Sort by last modified time
Full Search
Definition
Symbol
File Path
History
|
|
Help
Searched
defs:newStore
(Results
1 - 2
of
2
) sorted by null
/external/clang/lib/StaticAnalyzer/Core/
ProgramState.cpp
105
StoreRef
newStore
= StoreMgr->removeDeadBindings(NewState.getStore(), LCtx,
107
NewState.setStore(
newStore
);
108
SymReaper.setReapedStore(
newStore
);
128
const StoreRef &
newStore
= Mgr.StoreMgr->BindDefault(getStore(), R, V);
129
ProgramStateRef new_state = makeWithStore(
newStore
);
190
const StoreRef &
newStore
195
ProgramStateRef newState = makeWithStore(
newStore
);
208
const StoreRef &
newStore
=
211
return makeWithStore(
newStore
);
218
const StoreRef &
newStore
[
all
...]
/external/error_prone/checkerframework/
dataflow-2.5.3.jar
Completed in 76 milliseconds