]> granicus.if.org Git - clang/commitdiff
fix breakage I introduced in r60938
authorChris Lattner <sabre@nondot.org>
Fri, 12 Dec 2008 07:33:52 +0000 (07:33 +0000)
committerChris Lattner <sabre@nondot.org>
Fri, 12 Dec 2008 07:33:52 +0000 (07:33 +0000)
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@60941 91177308-0d34-0410-b5e6-96231b3b80d8

include/clang/Analysis/PathSensitive/MemRegion.h

index 50d084f22b7e9e03c5dc0bd29fdae8900a11228b..5da0ccafc24747cbae1e8f9855e0568dbb364873 100644 (file)
@@ -420,8 +420,8 @@ class ElementRegion : public TypedRegion {
 
   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");
   }