OpenGrok
Home
Sort by relevance
Sort by last modified time
Full Search
Definition
Symbol
File Path
History
|
|
Help
Searched
refs:removeDeadBindings
(Results
1 - 9
of
9
) sorted by null
/external/clang/include/clang/StaticAnalyzer/Core/PathSensitive/
ConstraintManager.h
112
virtual ProgramStateRef
removeDeadBindings
(ProgramStateRef state,
Environment.h
119
Environment
removeDeadBindings
(Environment Env,
Store.h
144
virtual StoreRef
removeDeadBindings
(Store store, const StackFrameContext *LCtx,
ProgramState.h
513
ProgramStateRef
removeDeadBindings
(ProgramStateRef St,
/external/clang/lib/StaticAnalyzer/Core/
Environment.cpp
137
//
removeDeadBindings
:
145
EnvironmentManager::
removeDeadBindings
(Environment Env,
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);
RangeConstraintManager.cpp
318
ProgramStateRef
removeDeadBindings
(ProgramStateRef St, SymbolReaper& SymReaper);
367
RangeConstraintManager::
removeDeadBindings
(ProgramStateRef state,
ExprEngine.cpp
44
"The # of times
RemoveDeadBindings
is called");
360
CleanedState = StateMgr.
removeDeadBindings
(CleanedState, SFC, SymReaper);
388
CheckerState = getConstraintManager().
removeDeadBindings
(CheckerState,
[
all
...]
RegionStore.cpp
558
///
removeDeadBindings
- Scans the RegionStore of 'state' for dead values.
560
StoreRef
removeDeadBindings
(Store store, const StackFrameContext *LCtx,
[
all
...]
Completed in 491 milliseconds