diff options
Diffstat (limited to 'clang/lib/Sema')
| -rw-r--r-- | clang/lib/Sema/SemaDecl.cpp | 9 | ||||
| -rw-r--r-- | clang/lib/Sema/SemaExprMember.cpp | 16 | 
2 files changed, 15 insertions, 10 deletions
diff --git a/clang/lib/Sema/SemaDecl.cpp b/clang/lib/Sema/SemaDecl.cpp index 20c1b1015e4..2416f39442b 100644 --- a/clang/lib/Sema/SemaDecl.cpp +++ b/clang/lib/Sema/SemaDecl.cpp @@ -10144,6 +10144,12 @@ FieldDecl *Sema::HandleField(Scope *S, RecordDecl *Record,      }    } +  // TR 18037 does not allow fields to be declared with address spaces. +  if (T.getQualifiers().hasAddressSpace()) { +    Diag(Loc, diag::err_field_with_address_space); +    D.setInvalidType(); +  } +    // OpenCL 1.2 spec, s6.9 r:    // The event type cannot be used to declare a structure or union field.    if (LangOpts.OpenCL && T->isEventT()) { @@ -10151,12 +10157,11 @@ FieldDecl *Sema::HandleField(Scope *S, RecordDecl *Record,      D.setInvalidType();    } -    DiagnoseFunctionSpecifiers(D);    if (D.getDeclSpec().isThreadSpecified())      Diag(D.getDeclSpec().getThreadSpecLoc(), diag::err_invalid_thread); -   +    // Check to see if this name was declared as a member previously    NamedDecl *PrevDecl = 0;    LookupResult Previous(*this, II, Loc, LookupMemberName, ForRedeclaration); diff --git a/clang/lib/Sema/SemaExprMember.cpp b/clang/lib/Sema/SemaExprMember.cpp index 16f4a43bd77..7b016c6574a 100644 --- a/clang/lib/Sema/SemaExprMember.cpp +++ b/clang/lib/Sema/SemaExprMember.cpp @@ -1598,27 +1598,27 @@ BuildFieldReferenceExpr(Sema &S, Expr *BaseExpr, bool IsArrow,    } else {      QualType BaseType = BaseExpr->getType();      if (IsArrow) BaseType = BaseType->getAs<PointerType>()->getPointeeType(); -     +      Qualifiers BaseQuals = BaseType.getQualifiers(); -     +      // GC attributes are never picked up by members.      BaseQuals.removeObjCGCAttr(); -     +      // CVR attributes from the base are picked up by members,      // except that 'mutable' members don't pick up 'const'.      if (Field->isMutable()) BaseQuals.removeConst(); -     +      Qualifiers MemberQuals      = S.Context.getCanonicalType(MemberType).getQualifiers(); -     -    // TR 18037 does not allow fields to be declared with address spaces. +      assert(!MemberQuals.hasAddressSpace()); -     + +      Qualifiers Combined = BaseQuals + MemberQuals;      if (Combined != MemberQuals)        MemberType = S.Context.getQualifiedType(MemberType, Combined);    } -   +    S.UnusedPrivateFields.remove(Field);    ExprResult Base =  | 

