From: Zhongxing Xu <xuzhongxing@gmail.com>
Date: Wed, 24 Dec 2008 07:29:24 +0000 (+0000)
Subject: set region default value if there are not enough init values for array and struct.
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=130201669aa460218a8b4cbe3176299f5baff726;p=clang

set region default value if there are not enough init values for array and struct.


git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@61418 91177308-0d34-0410-b5e6-96231b3b80d8
---

diff --git a/lib/Analysis/RegionStore.cpp b/lib/Analysis/RegionStore.cpp
index 78bb654871..020fb53c7c 100644
--- a/lib/Analysis/RegionStore.cpp
+++ b/lib/Analysis/RegionStore.cpp
@@ -765,8 +765,8 @@ const GRState* RegionStoreManager::BindArray(const GRState* St,
 
   // When we are binding the whole array, it always has default value 0.
   GRStateRef state(St, StateMgr);
-  //  St = state.set<RegionDefaultValue>(R, NonLoc::MakeVal(getBasicVals(), 0, 
-  //                                                        false));
+  St = state.set<RegionDefaultValue>(R, NonLoc::MakeVal(getBasicVals(), 0, 
+                                                        false));
 
   Store store = St->getStore();
 
@@ -841,9 +841,9 @@ RegionStoreManager::BindStruct(const GRState* St, const TypedRegion* R, SVal V){
     // There may be fewer values than fields only when we are initializing a
     // struct decl. In this case, mark the region as having default value.
     if (VI == VE) {
-      // GRStateRef state(St, StateMgr);
-    //St = state.set<RegionDefaultValue>(R, NonLoc::MakeVal(getBasicVals(), 0, 
-      //                                                   false));
+      GRStateRef state(St, StateMgr);
+      St = state.set<RegionDefaultValue>(R, NonLoc::MakeVal(getBasicVals(), 0, 
+                                                            false));
       break;
     }