commit 77b97002e955949352d2740f7b47c41f9402dec7
author Steve Naroff <snaroff@apple.com> Tue Sep 04 14:36:54 2007 +0000
committer Steve Naroff <snaroff@apple.com> Tue Sep 04 14:36:54 2007 +0000
tree 1f5c0533f3ba0be80560fd1c284696babff4b501
parent 7717c56b4f9ddb02f326abf7b7fa542571548668

Make sure initializer type promotions get propagated.

This fixes a recent regression with Codegen/mandel.c.

llvm-svn: 41696

clang/Sema/Sema.h

diff --git a/clang/Sema/Sema.h b/clang/Sema/Sema.h
index 95b8900..b7500f8 100644
--- a/clang/Sema/Sema.h
+++ b/clang/Sema/Sema.h
@@ -442,10 +442,11 @@
                                    IdentifierInfo &Comp, SourceLocation CmpLoc);
   
   /// type checking declaration initializers (C99 6.7.8)
-  bool CheckInitializer(Expr *simpleInit_or_initList, QualType &declType,
+  bool CheckInitializer(Expr *&simpleInit_or_initList, QualType &declType,
                         bool isStatic);
-  bool CheckSingleInitializer(Expr *simpleInit, QualType declType);
-  bool CheckInitExpr(Expr *expr, bool isStatic, QualType ElementType);
+  bool CheckSingleInitializer(Expr *&simpleInit, QualType declType);
+  bool CheckInitExpr(Expr *expr, InitListExpr *IList, unsigned slot,
+                     bool isStatic, QualType ElementType);
   void CheckVariableInitList(QualType DeclType, InitListExpr *IList, 
                              QualType ElementType, bool isStatic, 
                              int &nInitializers, bool &hadError);

clang/Sema/SemaDecl.cpp

diff --git a/clang/Sema/SemaDecl.cpp b/clang/Sema/SemaDecl.cpp
index a1ef816..b178e09 100644
--- a/clang/Sema/SemaDecl.cpp
+++ b/clang/Sema/SemaDecl.cpp
@@ -239,7 +239,7 @@
   return 0;
 }
 
-bool Sema::CheckSingleInitializer(Expr *Init, QualType DeclType) {
+bool Sema::CheckSingleInitializer(Expr *&Init, QualType DeclType) {
   AssignmentCheckResult result;
   SourceLocation loc = Init->getLocStart();
   // Get the type before calling CheckSingleAssignmentConstraints(), since
@@ -289,8 +289,10 @@
   return false;
 }
 
-bool Sema::CheckInitExpr(Expr *expr, bool isStatic, QualType ElementType) {
+bool Sema::CheckInitExpr(Expr *expr, InitListExpr *IList, unsigned slot,
+                         bool isStatic, QualType ElementType) {
   SourceLocation loc;
+  Expr *savExpr = expr; // Might be promoted by CheckSingleInitializer.
 
   if (isStatic && !expr->isConstantExpr(Context, &loc)) { // C99 6.7.8p4.
     Diag(loc, diag::err_init_element_not_constant, expr->getSourceRange());
@@ -298,6 +300,8 @@
   } else if (CheckSingleInitializer(expr, ElementType)) {
     return true; // types weren't compatible.
   }
+  if (savExpr != expr) // The type was promoted, update initializer list.
+    IList->setInit(slot, expr);
   return false;
 }
 
@@ -322,7 +326,7 @@
                               maxElements, hadError);
       }
     } else {
-      hadError = CheckInitExpr(expr, isStatic, ElementType);
+      hadError = CheckInitExpr(expr, IList, i, isStatic, ElementType);
     }
     nInitializers++;
   }
@@ -366,7 +370,7 @@
         CheckConstantInitList(DeclType, InitList, ElementType, isStatic, 
                               totalInits, hadError);
       } else {
-        hadError = CheckInitExpr(expr, isStatic, ElementType);
+        hadError = CheckInitExpr(expr, IList, i, isStatic, ElementType);
         nInitsAtLevel++; // increment the number of initializers at this level.
         totalInits--;    // decrement the total number of initializers.
         
@@ -388,7 +392,7 @@
   return;
 }
 
-bool Sema::CheckInitializer(Expr *Init, QualType &DeclType, bool isStatic) {
+bool Sema::CheckInitializer(Expr *&Init, QualType &DeclType, bool isStatic) {
   InitListExpr *InitList = dyn_cast<InitListExpr>(Init);
   if (!InitList)
     return CheckSingleInitializer(Init, DeclType);

clang/include/clang/AST/Expr.h

diff --git a/clang/include/clang/AST/Expr.h b/clang/include/clang/AST/Expr.h
index 037fecb..c5e0a6d 100644
--- a/clang/include/clang/AST/Expr.h
+++ b/clang/include/clang/AST/Expr.h
@@ -991,6 +991,11 @@
     return InitExprs[Init];
   }
   
+  void setInit(unsigned Init, Expr *expr) { 
+    assert(Init < NumInits && "Initializer access out of range!");
+    InitExprs[Init] = expr;
+  }
+  
   virtual SourceRange getSourceRange() const {
     return SourceRange(LBraceLoc, RBraceLoc);
   }