This patch fixes multiple issues in clang's designated init builder and
completes support for C1X anonymous struct/union init features:
* Indexed anonymous member initializers should not be expanded. Doing so makes
little sense and would cause unresolvable semantic ambiguity in valid code
(regression introduced by r69153).
* Subobject initialization of (possibly nested) anonymous members are now
referred to with paths relative to the naming record context, eliminating the
synthesis of incorrect implicit InitListExprs that caused CodeGen to assert.
* Field lookup was missing a null check in IdentifierInfo comparison which
caused lookup for a known (already resolved) field to match the first unnamed
data member it encountered leading to silent miscompilation.
* Subobject paths are no longer built using the general purpose
Sema::BuildAnonymousStructUnionMemberPath(). If any corner cases crop up, we
will now assert earlier in Sema instead of passing invalid InitListExprs
through to CodeGen.
Fixes PR6955, from Alp Toker!
llvm-svn: 116098
diff --git a/clang/lib/Sema/SemaInit.cpp b/clang/lib/Sema/SemaInit.cpp
index 6fd1d68..bac9f8f 100644
--- a/clang/lib/Sema/SemaInit.cpp
+++ b/clang/lib/Sema/SemaInit.cpp
@@ -1167,6 +1167,22 @@
StructuredList, StructuredIndex);
}
+/// \brief Similar to Sema::BuildAnonymousStructUnionMemberPath() but builds a
+/// relative path and has strict checks.
+static void BuildRelativeAnonymousStructUnionMemberPath(FieldDecl *Field,
+ llvm::SmallVectorImpl<FieldDecl *> &Path,
+ DeclContext *BaseDC) {
+ Path.push_back(Field);
+ for (DeclContext *Ctx = Field->getDeclContext();
+ !Ctx->Equals(BaseDC);
+ Ctx = Ctx->getParent()) {
+ ValueDecl *AnonObject =
+ cast<RecordDecl>(Ctx)->getAnonymousStructOrUnionObject();
+ FieldDecl *AnonField = cast<FieldDecl>(AnonObject);
+ Path.push_back(AnonField);
+ }
+}
+
/// \brief Expand a field designator that refers to a member of an
/// anonymous struct or union into a series of field designators that
/// refers to the field within the appropriate subobject.
@@ -1178,13 +1194,14 @@
unsigned DesigIdx,
FieldDecl *Field,
RecordDecl::field_iterator &FieldIter,
- unsigned &FieldIndex) {
+ unsigned &FieldIndex,
+ DeclContext *BaseDC) {
typedef DesignatedInitExpr::Designator Designator;
// Build the path from the current object to the member of the
// anonymous struct/union (backwards).
llvm::SmallVector<FieldDecl *, 4> Path;
- SemaRef.BuildAnonymousStructUnionMemberPath(Field, Path);
+ BuildRelativeAnonymousStructUnionMemberPath(Field, Path, BaseDC);
// Build the replacement designators.
llvm::SmallVector<Designator, 4> Replacements;
@@ -1343,7 +1360,9 @@
if (Field->isUnnamedBitfield())
continue;
- if (KnownField == *Field || Field->getIdentifier() == FieldName)
+ if (KnownField && KnownField == *Field)
+ break;
+ if (FieldName && FieldName == Field->getIdentifier())
break;
++FieldIndex;
@@ -1400,10 +1419,10 @@
cast<RecordDecl>((ReplacementField)->getDeclContext())
->isAnonymousStructOrUnion()) {
// Handle an field designator that refers to a member of an
- // anonymous struct or union.
+ // anonymous struct or union. This is a C1X feature.
ExpandAnonymousFieldDesignator(SemaRef, DIE, DesigIdx,
ReplacementField,
- Field, FieldIndex);
+ Field, FieldIndex, RT->getDecl());
D = DIE->getDesignator(DesigIdx);
} else if (!KnownField) {
// The replacement field comes from typo correction; find it
@@ -1421,12 +1440,6 @@
++FieldIndex;
}
}
- } else if (!KnownField &&
- cast<RecordDecl>((*Field)->getDeclContext())
- ->isAnonymousStructOrUnion()) {
- ExpandAnonymousFieldDesignator(SemaRef, DIE, DesigIdx, *Field,
- Field, FieldIndex);
- D = DIE->getDesignator(DesigIdx);
}
// All of the fields of a union are located at the same place in