[cfe-commits] r47550 - /cfe/trunk/Analysis/ValueState.cpp

[Ted Kremenek]

Author: kremenek
Date: Mon Feb 25 12:56:23 2008
New Revision: 47550

URL: http://llvm.org/viewvc/llvm-project?rev=47550&view=rev
Log:
Fixed bug in RemoveDeadBindings when performing the mark-and-sweep over the
symbolic store: VarDecl's inserted into the sweep may not always bind to
anything; handle this special case just like bindings to uninitialized values.

Modified:
    cfe/trunk/Analysis/ValueState.cpp

Modified: cfe/trunk/Analysis/ValueState.cpp
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/Analysis/ValueState.cpp?rev=47550&r1=47549&r2=47550&view=diff

==============================================================================
--- cfe/trunk/Analysis/ValueState.cpp (original)
+++ cfe/trunk/Analysis/ValueState.cpp Mon Feb 25 12:56:23 2008
@@ -95,11 +95,9 @@
     
     if (V->getType()->isPointerType()) {
       
-      RVal X = GetRVal(St, lval::DeclVal(cast<VarDecl>(V)));
+      RVal X = GetRVal(St, lval::DeclVal(cast<VarDecl>(V)));      
       
-      assert (!X.isUnknown());
-      
-      if (X.isUninit())
+      if (X.isUnknownOrUninit())
         continue;
       
       LVal LV = cast<LVal>(X);