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");
}
_______________________________________________
cfe-commits mailing list
[email protected]
http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits
