diff options
Diffstat (limited to 'clang/Analysis/ValueState.cpp')
| -rw-r--r-- | clang/Analysis/ValueState.cpp | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/clang/Analysis/ValueState.cpp b/clang/Analysis/ValueState.cpp index 4b097ee4a42..1d428f199b2 100644 --- a/clang/Analysis/ValueState.cpp +++ b/clang/Analysis/ValueState.cpp @@ -442,6 +442,14 @@ ValueState* ValueStateManager::UnbindVar(ValueState* St, VarDecl* D) { return getPersistentState(NewSt); } +void ValueStateManager::Unbind(ValueState& StImpl, LVal LV) { + + if (isa<lval::DeclVal>(LV)) + StImpl.VarBindings = VBFactory.Remove(StImpl.VarBindings, + cast<lval::DeclVal>(LV).getDecl()); + +} + ValueState* ValueStateManager::getInitialState() { // Create a state with empty variable bindings. |
