]> granicus.if.org Git - clang/commitdiff
MemSpaceRegions could be uninitialized. We only require R is a real region.
authorZhongxing Xu <xuzhongxing@gmail.com>
Wed, 29 Oct 2008 01:13:28 +0000 (01:13 +0000)
committerZhongxing Xu <xuzhongxing@gmail.com>
Wed, 29 Oct 2008 01:13:28 +0000 (01:13 +0000)
git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@58356 91177308-0d34-0410-b5e6-96231b3b80d8

include/clang/Analysis/PathSensitive/MemRegion.h

index 053ad44053393d82b1874b850011a861d2333da0..bfd931fb6ce9c3df53502a5c4489a8c0314f333f 100644 (file)
@@ -420,7 +420,7 @@ public:
   MemSpaceRegion* getUnknownRegion();
 
   bool isGlobalsRegion(const MemRegion* R) { 
-    assert(R && globals);
+    assert(R);
     return R == globals; 
   }