aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorChris Lattner <sabre@nondot.org>2008-12-12 07:33:52 +0000
committerChris Lattner <sabre@nondot.org>2008-12-12 07:33:52 +0000
commit3d8173c1c68f451c7492f92023d829c626845925 (patch)
tree05bb64b6dcec8981b71a158c0a51add05863e8ae
parent93afb0d4f9f2ec322438c3bb7e1114ea6f614510 (diff)
fix breakage I introduced in r60938
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@60941 91177308-0d34-0410-b5e6-96231b3b80d8
-rw-r--r--include/clang/Analysis/PathSensitive/MemRegion.h4
1 files changed, 2 insertions, 2 deletions
diff --git a/include/clang/Analysis/PathSensitive/MemRegion.h b/include/clang/Analysis/PathSensitive/MemRegion.h
index 50d084f22b..5da0ccafc2 100644
--- a/include/clang/Analysis/PathSensitive/MemRegion.h
+++ b/include/clang/Analysis/PathSensitive/MemRegion.h
@@ -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");
}