[cfe-commits] r60941 - /cfe/trunk/include/clang/Analysis/PathSensitive/MemRegion.h

[Chris Lattner]

Author: lattner
Date: Fri Dec 12 01:33:52 2008
New Revision: 60941

URL: http://llvm.org/viewvc/llvm-project?rev=60941&view=rev
Log:
fix breakage I introduced in r60938

Modified:
    cfe/trunk/include/clang/Analysis/PathSensitive/MemRegion.h

Modified: cfe/trunk/include/clang/Analysis/PathSensitive/MemRegion.h
URL: http://llvm.org/viewvc/llvm-project/cfe/trunk/include/clang/Analysis/PathSensitive/MemRegion.h?rev=60941&r1=60940&r2=60941&view=diff

==============================================================================
--- cfe/trunk/include/clang/Analysis/PathSensitive/MemRegion.h (original)
+++ cfe/trunk/include/clang/Analysis/PathSensitive/MemRegion.h Fri Dec 12 01:33:52 2008
@@ -420,8 +420,8 @@
 
   ElementRegion(SVal Idx, const MemRegion* sReg)
     : TypedRegion(sReg, ElementRegionKind), Index(Idx) {
-    assert(isa<nonloc::ConcreteInt>(&Idx) &&
-           cast<nonloc::ConcreteInt>(&Idx)->getValue().isSigned() &&
+    assert((!isa<nonloc::ConcreteInt>(&Idx) ||
+           cast<nonloc::ConcreteInt>(&Idx)->getValue().isSigned()) &&
            "The index must be signed");
   }