[cfe-commits] r60941 - /cfe/trunk/include/clang/Analysis/PathSensitive/MemRegion.h
Chris Lattner
sabre at nondot.org
Thu Dec 11 23:33:52 PST 2008
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");
}
More information about the cfe-commits
mailing list