Sema::ActOnMemberReferenceExpr() needs to perform the default conversions.

Bug and test case provided by Carl Lewis.

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

diff --git a/Sema/SemaExpr.cpp b/Sema/SemaExpr.cpp
index 1d8b883435384999f5861460d670974700979f1d..dae5325ac40837ba05b800880bfee5671500b9ee 100644 (file)
--- a/Sema/SemaExpr.cpp
+++ b/Sema/SemaExpr.cpp
@@ -503,6 +503,9 @@ ActOnMemberReferenceExpr(ExprTy *Base, SourceLocation OpLoc,
                          IdentifierInfo &Member) {
   Expr *BaseExpr = static_cast<Expr *>(Base);
   assert(BaseExpr && "no record expression");
+
+  // Perform default conversions.
+  DefaultFunctionArrayConversion(BaseExpr);
   
   QualType BaseType = BaseExpr->getType();
   assert(!BaseType.isNull() && "no type for member expression");

diff --git a/test/Sema/member-reference.c b/test/Sema/member-reference.c
new file mode 100644 (file)
index 0000000..784d600
--- /dev/null
+++ b/test/Sema/member-reference.c
@@ -0,0 +1,9 @@
+// RUN: clang %s -verify -fsyntax-only
+
+struct simple { int i; };
+
+void f(void) {
+   struct simple s[1];
+   s->i = 1;
+}
+