[cfe-commits] r58356 - /cfe/trunk/include/clang/Analysis/PathSensitive/MemRegion.h
Zhongxing Xu
xuzhongxing at gmail.com
Tue Oct 28 18:13:28 PDT 2008
Author: zhongxingxu
Date: Tue Oct 28 20:13:28 2008
New Revision: 58356
URL: http://llvm.org/viewvc/llvm-project?rev=58356&view=rev
Log:
MemSpaceRegions could be uninitialized. We only require R is a real region.
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=58356&r1=58355&r2=58356&view=diff
==============================================================================
--- cfe/trunk/include/clang/Analysis/PathSensitive/MemRegion.h (original)
+++ cfe/trunk/include/clang/Analysis/PathSensitive/MemRegion.h Tue Oct 28 20:13:28 2008
@@ -420,7 +420,7 @@
MemSpaceRegion* getUnknownRegion();
bool isGlobalsRegion(const MemRegion* R) {
- assert(R && globals);
+ assert(R);
return R == globals;
}
More information about the cfe-commits
mailing list