diff --git a/include/clang/AST/Attr.h b/include/clang/AST/Attr.h index 72bc8a9ffa..abdcfb4b05 100644 --- a/include/clang/AST/Attr.h +++ b/include/clang/AST/Attr.h @@ -36,7 +36,8 @@ public: Format, Visibility, FastCall, - StdCall + StdCall, + TransparentUnion }; private: @@ -218,6 +219,16 @@ public: static bool classof(const StdCallAttr *A) { return true; } }; +class TransparentUnionAttr : public Attr { +public: + TransparentUnionAttr() : Attr(TransparentUnion) {} + + // Implement isa/cast/dyncast/etc. + + static bool classof(const Attr *A) { return A->getKind() == TransparentUnion; } + static bool classof(const TransparentUnionAttr *A) { return true; } +}; + } // end namespace clang #endif diff --git a/include/clang/Parse/AttributeList.h b/include/clang/Parse/AttributeList.h index c71f8ff1f8..418dc00ac9 100644 --- a/include/clang/Parse/AttributeList.h +++ b/include/clang/Parse/AttributeList.h @@ -64,6 +64,7 @@ public: AT_stdcall, AT_nothrow, AT_noinline, + AT_transparent_union, AT_warn_unused_result }; diff --git a/lib/Parse/AttributeList.cpp b/lib/Parse/AttributeList.cpp index c764085caa..2d8de97f3c 100644 --- a/lib/Parse/AttributeList.cpp +++ b/lib/Parse/AttributeList.cpp @@ -90,6 +90,9 @@ AttributeList::Kind AttributeList::getKind(const IdentifierInfo *Name) { case 15: if (!memcmp(Str, "ext_vector_type", 15)) return AT_ext_vector_type; break; + case 17: + if (!memcmp(Str, "transparent_union", 17)) return AT_transparent_union; + break; case 18: if (!memcmp(Str, "warn_unused_result", 18)) return AT_warn_unused_result; break; diff --git a/lib/Sema/Sema.h b/lib/Sema/Sema.h index 4b6722abc6..33d3ce4ece 100644 --- a/lib/Sema/Sema.h +++ b/lib/Sema/Sema.h @@ -323,6 +323,7 @@ private: void HandleFormatAttribute(Decl *d, AttributeList *rawAttr); void HandleStdCallAttribute(Decl *d, AttributeList *rawAttr); void HandleFastCallAttribute(Decl *d, AttributeList *rawAttr); + void HandleTransparentUnionAttribute(Decl *d, AttributeList *rawAttr); void WarnUndefinedMethod(SourceLocation ImpLoc, ObjCMethodDecl *method, bool &IncompleteImpl); diff --git a/lib/Sema/SemaDecl.cpp b/lib/Sema/SemaDecl.cpp index c97ecc8313..373aaceb87 100644 --- a/lib/Sema/SemaDecl.cpp +++ b/lib/Sema/SemaDecl.cpp @@ -2003,6 +2003,9 @@ void Sema::HandleDeclAttribute(Decl *New, AttributeList *Attr) { case AttributeList::AT_format: HandleFormatAttribute(New, Attr); break; + case AttributeList::AT_transparent_union: + HandleTransparentUnionAttribute(New, Attr); + break; default: #if 0 // TODO: when we have the full set of attributes, warn about unknown ones. @@ -2419,6 +2422,29 @@ void Sema::HandleFormatAttribute(Decl *d, AttributeList *rawAttr) { Idx.getZExtValue(), FirstArg.getZExtValue())); } +void Sema::HandleTransparentUnionAttribute(Decl *d, AttributeList *rawAttr) { + // check the attribute arguments. + if (rawAttr->getNumArgs() != 0) { + Diag(rawAttr->getLoc(), diag::err_attribute_wrong_number_arguments, + std::string("0")); + return; + } + + TypeDecl *decl = dyn_cast(d); + + if (!decl || !Context.getTypeDeclType(decl)->isUnionType()) { + Diag(rawAttr->getLoc(), diag::warn_attribute_wrong_decl_type, + "transparent_union", "union"); + return; + } + + QualType QTy = Context.getTypeDeclType(decl); + const RecordType *Ty = QTy->getAsUnionType(); + +// FIXME +// Ty->addAttr(new TransparentUnionAttr()); +} + void Sema::HandleAnnotateAttribute(Decl *d, AttributeList *rawAttr) { // check the attribute arguments. if (rawAttr->getNumArgs() != 1) {