Fix for PR4079: make sure to construct the member expressions for

offsetof correctly in the presence of anonymous structs/unions.

This could definitely use some cleanup, but I don't really want to mess 
with the anonymous union/struct code.



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

2 files changed, 12 insertions, 4 deletions

diff --git a/lib/Sema/SemaExpr.cpp b/lib/Sema/SemaExpr.cpp
index e789e54289..f2f8ae5797 100644
--- a/lib/Sema/SemaExpr.cpp
+++ b/lib/Sema/SemaExpr.cpp
@@ -4636,10 +4636,15 @@ Sema::OwningExprResult Sema::ActOnBuiltinOffsetOf(Scope *S,
 
       // FIXME: C++: Verify that MemberDecl isn't a static field.
       // FIXME: Verify that MemberDecl isn't a bitfield.
-      // MemberDecl->getType() doesn't get the right qualifiers, but it doesn't
-      // matter here.
-      Res = new (Context) MemberExpr(Res, false, MemberDecl, OC.LocEnd,
-                                   MemberDecl->getType().getNonReferenceType());
+      if (cast<RecordDecl>(MemberDecl->getDeclContext())->isAnonymousStructOrUnion()) {
+        Res = static_cast<Expr*>(BuildAnonymousStructUnionMemberReference(
+                SourceLocation(), MemberDecl, Res, SourceLocation()).release());
+      } else {
+        // MemberDecl->getType() doesn't get the right qualifiers, but it
+        // doesn't matter here.
+        Res = new (Context) MemberExpr(Res, false, MemberDecl, OC.LocEnd,
+                MemberDecl->getType().getNonReferenceType());
+      }
     }
   }
 
diff --git a/test/Sema/offsetof.c b/test/Sema/offsetof.c
index 5e52de7245..f8b9fed03c 100644
--- a/test/Sema/offsetof.c
+++ b/test/Sema/offsetof.c
@@ -45,3 +45,6 @@ int a(int len) {
 int a[__builtin_offsetof(struct sockaddr_un, sun_path[len+1])];
 }
 
+// PR4079
+union x {struct {int x;};};
+int x[__builtin_offsetof(union x, x)];