diff --git a/Analysis/ValueState.cpp b/Analysis/ValueState.cpp
index 1b08d8e..b5a5985 100644
--- a/Analysis/ValueState.cpp
+++ b/Analysis/ValueState.cpp
@@ -34,6 +34,9 @@
 
 
 RValue ValueStateManager::GetValue(const StateTy& St, const LValue& LV) {
+  if (isa<InvalidValue>(LV))
+    return InvalidValue();
+  
   switch (LV.getSubKind()) {
     case lval::DeclValKind: {
       StateTy::VariableBindingsTy::TreeTy* T =