[cfe-commits] r70943 - /cfe/trunk/lib/Analysis/BasicStore.cpp

[Ted Kremenek]

Author: kremenek
Date: Mon May  4 19:02:18 2009
New Revision: 70943

URL: http://llvm.org/viewvc/llvm-project?rev=70943&view=rev
Log:
Remove possibly incorrect assertion that doesn't matter.

Modified:
    cfe/trunk/lib/Analysis/BasicStore.cpp

Modified: cfe/trunk/lib/Analysis/BasicStore.cpp
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/lib/Analysis/BasicStore.cpp?rev=70943&r1=70942&r2=70943&view=diff

==============================================================================
--- cfe/trunk/lib/Analysis/BasicStore.cpp (original)
+++ cfe/trunk/lib/Analysis/BasicStore.cpp Mon May  4 19:02:18 2009
@@ -217,9 +217,6 @@
         // char* y = (char*) &x;
         // 'y' => ElementRegion(0, VarRegion('x'))
         // y[0] = 'a';
-        assert(ER->getIndex().isUnknown() ||
-               cast<nonloc::ConcreteInt>(ER->getIndex()).getValue() == 0);
-        ER = ER; // silence 'unused' warning in release modes.
         return Base;
       }