OpenGrok
Home
Sort by relevance
Sort by last modified time
Full Search
Definition
Symbol
File Path
History
|
|
Help
Searched
defs:removeDeadBindings
(Results
1 - 4
of
4
) sorted by null
/external/clang/lib/StaticAnalyzer/Core/
Environment.cpp
165
//
removeDeadBindings
:
173
EnvironmentManager::
removeDeadBindings
(Environment Env,
RangeConstraintManager.cpp
318
ProgramStateRef
removeDeadBindings
(ProgramStateRef St, SymbolReaper& SymReaper);
367
RangeConstraintManager::
removeDeadBindings
(ProgramStateRef state,
ProgramState.cpp
90
ProgramStateManager::
removeDeadBindings
(ProgramStateRef state,
102
NewState.Env = EnvMgr.
removeDeadBindings
(NewState.Env, SymReaper, state);
105
StoreRef newStore = StoreMgr->
removeDeadBindings
(NewState.getStore(), LCtx,
111
return ConstraintMgr->
removeDeadBindings
(Result, SymReaper);
RegionStore.cpp
525
///
removeDeadBindings
- Scans the RegionStore of 'state' for dead values.
527
StoreRef
removeDeadBindings
(Store store, const StackFrameContext *LCtx,
[
all
...]
Completed in 1243 milliseconds