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 | ee99aa63cae08baf5c525cd7debe099f5af1607c (patch) | |
| tree | aa3b52945065305f3950fcc78111ef092b6465b1 | |
| parent | b9d23802043893104d09a6312c692673546b84a9 (diff) | |
| download | bcm5719-llvm-ee99aa63cae08baf5c525cd7debe099f5af1607c.tar.gz bcm5719-llvm-ee99aa63cae08baf5c525cd7debe099f5af1607c.zip | |
fix breakage I introduced in r60938
llvm-svn: 60941
| -rw-r--r-- | clang/include/clang/Analysis/PathSensitive/MemRegion.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/clang/include/clang/Analysis/PathSensitive/MemRegion.h b/clang/include/clang/Analysis/PathSensitive/MemRegion.h index 50d084f22b7..5da0ccafc24 100644 --- a/clang/include/clang/Analysis/PathSensitive/MemRegion.h +++ b/clang/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"); } |
