Index: cfe/trunk/lib/Parse/ParseDecl.cpp =================================================================== --- cfe/trunk/lib/Parse/ParseDecl.cpp +++ cfe/trunk/lib/Parse/ParseDecl.cpp @@ -5264,6 +5264,14 @@ // Change the declaration context for name lookup, until this function // is exited (and the declarator has been parsed). DeclScopeObj.EnterDeclaratorScope(); + else if (getObjCDeclContext()) { + // Ensure that we don't interpret the next token as an identifier when + // dealing with declarations in an Objective-C container. + D.SetIdentifier(nullptr, Tok.getLocation()); + D.setInvalidType(true); + ConsumeToken(); + goto PastIdentifier; + } } // C++0x [dcl.fct]p14: Index: cfe/trunk/lib/Sema/SemaCXXScopeSpec.cpp =================================================================== --- cfe/trunk/lib/Sema/SemaCXXScopeSpec.cpp +++ cfe/trunk/lib/Sema/SemaCXXScopeSpec.cpp @@ -1001,6 +1001,11 @@ bool Sema::ShouldEnterDeclaratorScope(Scope *S, const CXXScopeSpec &SS) { assert(SS.isSet() && "Parser passed invalid CXXScopeSpec."); + // Don't enter a declarator context when the current context is an Objective-C + // declaration. + if (isa(CurContext) || isa(CurContext)) + return false; + NestedNameSpecifier *Qualifier = SS.getScopeRep(); // There are only two places a well-formed program may qualify a Index: cfe/trunk/test/SemaObjCXX/crash.mm =================================================================== --- cfe/trunk/test/SemaObjCXX/crash.mm +++ cfe/trunk/test/SemaObjCXX/crash.mm @@ -25,3 +25,38 @@ // expected-warning@-2 {{variadic templates are a C++11 extension}} #endif @end + +// rdar://20560175 + +struct OuterType { + typedef int InnerType; +}; + +namespace ns { + typedef int InnerType; +}; + +@protocol InvalidProperties + +@property (nonatomic) (OuterType::InnerType) invalidTypeParens; +// expected-error@-1 {{type name requires a specifier or qualifier}} +// expected-error@-2 {{property requires fields to be named}} +// expected-error@-3 {{expected ';' at end of declaration list}} +// expected-error@-4 {{C++ requires a type specifier for all declarations}} +// expected-error@-5 {{cannot declare variable inside @interface or @protocol}} + +@property (nonatomic) (ns::InnerType) invalidTypeParens2; +// expected-error@-1 {{type name requires a specifier or qualifier}} +// expected-error@-2 {{property requires fields to be named}} +// expected-error@-3 {{expected ';' at end of declaration list}} +// expected-error@-4 {{C++ requires a type specifier for all declarations}} +// expected-error@-5 {{cannot declare variable inside @interface or @protocol}} + +@property (nonatomic) int OuterType::InnerType; // expected-error {{property requires fields to be named}} + +@property (nonatomic) int OuterType::InnerType foo; // expected-error {{property requires fields to be named}} +// expected-error@-1 {{expected ';' at end of declaration list}} +// expected-error@-2 {{C++ requires a type specifier for all declarations}} +// expected-error@-3 {{cannot declare variable inside @interface or @protocol}} + +@end