diff options
Diffstat (limited to 'clang')
-rw-r--r-- | clang/lib/Sema/SemaDeclCXX.cpp | 16 | ||||
-rw-r--r-- | clang/test/CXX/special/class.init/class.base.init/p8-0x.cpp | 8 |
2 files changed, 23 insertions, 1 deletions
diff --git a/clang/lib/Sema/SemaDeclCXX.cpp b/clang/lib/Sema/SemaDeclCXX.cpp index b3ec3829b20..ecbff96297e 100644 --- a/clang/lib/Sema/SemaDeclCXX.cpp +++ b/clang/lib/Sema/SemaDeclCXX.cpp @@ -2262,6 +2262,19 @@ struct BaseAndFieldInfo { }; } +/// \brief Determine whether the given indirect field declaration is somewhere +/// within an anonymous union. +static bool isWithinAnonymousUnion(IndirectFieldDecl *F) { + for (IndirectFieldDecl::chain_iterator C = F->chain_begin(), + CEnd = F->chain_end(); + C != CEnd; ++C) + if (CXXRecordDecl *Record = dyn_cast<CXXRecordDecl>((*C)->getDeclContext())) + if (Record->isUnion()) + return true; + + return false; +} + static bool CollectFieldInitializer(Sema &SemaRef, BaseAndFieldInfo &Info, FieldDecl *Field, IndirectFieldDecl *Indirect = 0) { @@ -2293,7 +2306,8 @@ static bool CollectFieldInitializer(Sema &SemaRef, BaseAndFieldInfo &Info, // Don't build an implicit initializer for union members if none was // explicitly specified. - if (Field->getParent()->isUnion()) + if (Field->getParent()->isUnion() || + (Indirect && isWithinAnonymousUnion(Indirect))) return false; // Don't try to build an implicit initializer if there were semantic diff --git a/clang/test/CXX/special/class.init/class.base.init/p8-0x.cpp b/clang/test/CXX/special/class.init/class.base.init/p8-0x.cpp index 81ed9c25705..f857e3d6f11 100644 --- a/clang/test/CXX/special/class.init/class.base.init/p8-0x.cpp +++ b/clang/test/CXX/special/class.init/class.base.init/p8-0x.cpp @@ -48,4 +48,12 @@ namespace VariantMembers { K(int n) : n(n) {} K(int n, bool) : ndc(n) {} }; + struct Nested { + Nested() {} + union { + struct { + NoDefaultCtor ndc; + }; + }; + }; } |