commit 987dc6a3fa0917de269c9d60b7d4f21c68b8b09f
author Anders Carlsson <andersca@mac.com> Sat Jan 23 20:47:59 2010 +0000
committer Anders Carlsson <andersca@mac.com> Sat Jan 23 20:47:59 2010 +0000
tree 07ea0444fd521578132241cab29abdc8ff60e44d
parent b9ea98e6e59a1020361dbb2e2ef3836f6f379cbb

More init work, adding more entity parameters.

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

lib/Sema/SemaInit.cpp

diff --git a/lib/Sema/SemaInit.cpp b/lib/Sema/SemaInit.cpp
index f7d9305..7c150db 100644
--- a/lib/Sema/SemaInit.cpp
+++ b/lib/Sema/SemaInit.cpp
@@ -202,7 +202,8 @@
   std::map<InitListExpr *, InitListExpr *> SyntacticToSemantic;
   InitListExpr *FullyStructuredList;
 
-  void CheckImplicitInitList(InitListExpr *ParentIList, QualType T,
+  void CheckImplicitInitList(const InitializedEntity *Entity,
+                             InitListExpr *ParentIList, QualType T,
                              unsigned &Index, InitListExpr *StructuredList,
                              unsigned &StructuredIndex,
                              bool TopLevelObject = false);
@@ -506,7 +507,8 @@
   return InitializableMembers - structDecl->hasFlexibleArrayMember();
 }
 
-void InitListChecker::CheckImplicitInitList(InitListExpr *ParentIList,
+void InitListChecker::CheckImplicitInitList(const InitializedEntity *Entity,
+                                            InitListExpr *ParentIList,
                                             QualType T, unsigned &Index,
                                             InitListExpr *StructuredList,
                                             unsigned &StructuredIndex,
@@ -540,7 +542,8 @@
 
   // Check the element types and build the structural subobject.
   unsigned StartIndex = Index;
-  CheckListElementTypes(0, ParentIList, T, false, Index,
+  CheckListElementTypes(Entity, ParentIList, T, 
+                        /*SubobjectIsDesignatorContext=*/false, Index,
                         StructuredSubobjectInitList,
                         StructuredSubobjectInitIndex,
                         TopLevelObject);
@@ -750,7 +753,7 @@
     //   considered for the initialization of the first member of
     //   the subaggregate.
     if (ElemType->isAggregateType() || ElemType->isVectorType()) {
-      CheckImplicitInitList(IList, ElemType, Index, StructuredList,
+      CheckImplicitInitList(Entity, IList, ElemType, Index, StructuredList,
                             StructuredIndex);
       ++StructuredIndex;
     } else {
@@ -1185,12 +1188,26 @@
       << *Field;
   }
 
-  if (isa<InitListExpr>(IList->getInit(Index)))
-    CheckSubElementType(0, IList, Field->getType(), Index, StructuredList,
-                        StructuredIndex);
-  else
-    CheckImplicitInitList(IList, Field->getType(), Index, StructuredList,
-                          StructuredIndex);
+  // FIXME: Once we know Entity is not null, we can get rid of the check
+  // and the else block.
+  if (Entity) {
+    InitializedEntity MemberEntity =
+      InitializedEntity::InitializeMember(*Field, Entity);
+    
+    if (isa<InitListExpr>(IList->getInit(Index)))
+      CheckSubElementType(&MemberEntity, IList, Field->getType(), Index, 
+                          StructuredList, StructuredIndex);
+    else
+      CheckImplicitInitList(&MemberEntity, IList, Field->getType(), Index, 
+                            StructuredList, StructuredIndex);
+  } else {
+    if (isa<InitListExpr>(IList->getInit(Index)))
+      CheckSubElementType(0, IList, Field->getType(), Index, 
+                          StructuredList, StructuredIndex);
+    else
+      CheckImplicitInitList(0, IList, Field->getType(), Index, 
+                            StructuredList, StructuredIndex);
+  }    
 }
 
 /// \brief Expand a field designator that refers to a member of an