diff options
author | Chris Lattner <sabre@nondot.org> | 2008-12-12 07:33:52 +0000 |
---|---|---|
committer | Chris Lattner <sabre@nondot.org> | 2008-12-12 07:33:52 +0000 |
commit | 3d8173c1c68f451c7492f92023d829c626845925 (patch) | |
tree | 05bb64b6dcec8981b71a158c0a51add05863e8ae | |
parent | 93afb0d4f9f2ec322438c3bb7e1114ea6f614510 (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.h | 4 |
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"); } |