commit e82c7a44d6cba61f30ada1daba24a31afa8e9be1
author Ted Kremenek <kremenek@apple.com> Thu Feb 21 19:30:14 2008 +0000
committer Ted Kremenek <kremenek@apple.com> Thu Feb 21 19:30:14 2008 +0000
tree 54713c3a0a8a391aa7f540b7c138ec15895c2ab5
parent 7328fa6ec83203e379b2cbf8534168ee335c2588

RemoveDeadBindings should now check for UninitalizedVal, as it is a now
an error to cast it to LVal.

llvm-svn: 47450

clang/Analysis/ValueState.cpp

diff --git a/clang/Analysis/ValueState.cpp b/clang/Analysis/ValueState.cpp
index db2ef6b..e175a1c 100644
--- a/clang/Analysis/ValueState.cpp
+++ b/clang/Analysis/ValueState.cpp
@@ -94,8 +94,15 @@
     Marked.insert(V);
     
     if (V->getType()->isPointerType()) {
-      const LVal& LV =
-        cast<LVal>(GetRVal(St, lval::DeclVal(cast<VarDecl>(V))));      
+      
+      RVal X = GetRVal(St, lval::DeclVal(cast<VarDecl>(V)));
+      
+      assert (!X.isUnknown());
+      
+      if (X.isUninit())
+        continue;
+      
+      LVal LV = cast<LVal>(X);
       
       for (RVal::symbol_iterator SI = LV.symbol_begin(), SE = LV.symbol_end();
                                                          SI != SE; ++SI) {