commit c7a27928172130c7315bfd470c0689b68891642d
author Zhongxing Xu <xuzhongxing@gmail.com> Wed Dec 24 07:29:24 2008 +0000
committer Zhongxing Xu <xuzhongxing@gmail.com> Wed Dec 24 07:29:24 2008 +0000
tree c59870ee46cb63fc73af2b9071d5a2a6e3e6416e
parent be2d5535f623204bb9949f9ce1c42e25049ca919

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

llvm-svn: 61418

clang/lib/Analysis/RegionStore.cpp

diff --git a/clang/lib/Analysis/RegionStore.cpp b/clang/lib/Analysis/RegionStore.cpp
index 78bb654..020fb53 100644
--- a/clang/lib/Analysis/RegionStore.cpp
+++ b/clang/lib/Analysis/RegionStore.cpp
@@ -765,8 +765,8 @@
 
   // 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 @@
     // 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;
     }