Fix <rdar://problem/6500554> missing objc error message.

git-svn-id: https://llvm.org/svn/llvm-project/cfe/trunk@65198 91177308-0d34-0410-b5e6-96231b3b80d8

include/clang/Basic/DiagnosticSemaKinds.def

@@ -103,7 +103,9 @@ DIAG(err_builtin_definition, ERROR,
 DIAG(ext_typedef_without_a_name, EXTWARN,
      "typedef requires a name")
 DIAG(err_statically_allocated_object, ERROR,
-     "statically allocated Objective-C object %0")
+     "Objective-C type cannot be statically allocated")
+DIAG(err_object_cannot_be_by_value, ERROR,
+     "Objective-C type cannot be %0 by value")
 DIAG(warn_enum_value_overflow, WARNING,
      "overflow in enumeration value")
 DIAG(warn_pragma_pack_invalid_alignment, WARNING,
@@ -174,8 +176,6 @@ DIAG(err_duplicate_method_decl, ERROR,
      "duplicate declaration of method %0")
 DIAG(error_missing_method_context, ERROR,
      "missing context for method declaration")
-DIAG(err_object_as_method_param, ERROR,
-     "can not use an object as parameter to a method")
 DIAG(err_objc_property_attr_mutually_exclusive, ERROR,
      "property attributes '%0' and '%1' are mutually exclusive")
 DIAG(err_objc_property_requires_object, ERROR,

lib/Sema/SemaDecl.cpp

@@ -1470,8 +1470,7 @@ Sema::ActOnVariableDeclarator(Scope* S, Declarator& D, DeclContext* DC,
     CheckExtraCXXDefaultArguments(D);
 
   if (R.getTypePtr()->isObjCInterfaceType()) {
-    Diag(D.getIdentifierLoc(), diag::err_statically_allocated_object)
-      << D.getIdentifier();
+    Diag(D.getIdentifierLoc(), diag::err_statically_allocated_object);
     InvalidDecl = true;
   }
 
@@ -2761,6 +2760,13 @@ Sema::ActOnParamDeclarator(Scope *S, Declarator &D) {
       << D.getCXXScopeSpec().getRange();
     New->setInvalidDecl();
   }
+  // Parameter declarators cannot be interface types. All ObjC objects are
+  // passed by reference.
+  if (parmDeclType->isObjCInterfaceType()) {
+    Diag(D.getIdentifierLoc(), diag::err_object_cannot_be_by_value) 
+         << "passed";
+    New->setInvalidDecl();
+  }
 
   // Add the parameter declaration into this scope.
   S->AddDecl(New);
@@ -3671,8 +3677,7 @@ void Sema::ActOnFields(Scope* S,
     }
     /// A field cannot be an Objective-c object
     if (FDTy->isObjCInterfaceType()) {
-      Diag(FD->getLocation(), diag::err_statically_allocated_object)
-        << FD->getDeclName();
+      Diag(FD->getLocation(), diag::err_statically_allocated_object);
       FD->setInvalidDecl();
       EnclosingDecl->setInvalidDecl();
       continue;

lib/Sema/SemaDeclObjC.cpp

@@ -1344,9 +1344,17 @@ Sema::DeclTy *Sema::ActOnMethodDeclaration(
   }
   QualType resultDeclType;
   
-  if (ReturnType)
+  if (ReturnType) {
     resultDeclType = QualType::getFromOpaquePtr(ReturnType);
-  else // get the type for "id".
+    
+    // Methods cannot return interface types. All ObjC objects are
+    // passed by reference.
+    if (resultDeclType->isObjCInterfaceType()) {
+      Diag(MethodLoc, diag::err_object_cannot_be_by_value)
+           << "returned";
+      return 0;
+    }
+  } else // get the type for "id".
     resultDeclType = Context.getObjCIdType();
   
   ObjCMethodDecl* ObjCMethod = 
@@ -1375,7 +1383,9 @@ Sema::DeclTy *Sema::ActOnMethodDeclaration(
         argType = Context.getPointerType(argType);
       else if (argType->isObjCInterfaceType()) {
         // FIXME! provide more precise location for the parameter
-        Diag(MethodLoc, diag::err_object_as_method_param);
+        Diag(MethodLoc, diag::err_object_cannot_be_by_value)
+             << "passed";
+        ObjCMethod->setInvalidDecl();
         return 0;
       }
     } else

test/Parser/objc-init.m

@@ -14,8 +14,8 @@ void test1() {
 	id objects[] = {[NSNumber METH]};
 }
 
-void test2(NSNumber x) {
-	id objects[] = {[x METH]}; // expected-error {{bad receiver type}}
+void test2(NSNumber x) { // expected-error {{Objective-C type cannot be passed by value}}
+	id objects[] = {[x METH]};
 }
 
 void test3(NSNumber *x) {

test/SemaObjC/invalid-objc-decls-1.m

@@ -1,29 +1,33 @@
 // RUN: clang -fsyntax-only -verify %s
 
 @interface Super @end
-Super s1; // expected-error{{statically allocated Objective-C object 's1'}}
+Super s1; // expected-error{{Objective-C type cannot be statically allocated}}
 
-extern Super e1; // expected-error{{statically allocated Objective-C object 'e1'}}
+extern Super e1; // expected-error{{Objective-C type cannot be statically allocated}}
 
 struct S {
-  Super s1; // expected-error{{statically allocated Objective-C object 's1'}}
+  Super s1; // expected-error{{Objective-C type cannot be statically allocated}}
 };
 
 @protocol P1 @end
 
 @interface INTF
 {
-  Super ivar1; // expected-error{{statically allocated Objective-C object 'ivar1'}}
+  Super ivar1; // expected-error{{Objective-C type cannot be statically allocated}}
 }
 @end
 
+struct whatever {
+  Super objField; // expected-error{{Objective-C type cannot be statically allocated}}
+};
+
 @interface MyIntf
 {
-  Super<P1> ivar1; // expected-error{{statically allocated Objective-C object 'ivar1'}}
+  Super<P1> ivar1; // expected-error{{Objective-C type cannot be statically allocated}}
 }
 @end
 
-Super foo(Super parm1) {
-	Super p1; // expected-error{{statically allocated Objective-C object 'p1'}}
+Super foo(Super parm1) { // expected-error{{Objective-C type cannot be passed by value}}
+	Super p1; // expected-error{{Objective-C type cannot be statically allocated}}
 	return p1;
 }

test/SemaObjC/method-bad-param.m

@@ -7,11 +7,15 @@
 @end
 
 @interface bar
--(void) my_method:(foo) my_param; // expected-error {{can not use an object as parameter to a method}}
+-(void) my_method:(foo) my_param; // expected-error {{Objective-C type cannot be passed by value}}
+- (foo)cccccc:(long)ddddd;  // expected-error {{Objective-C type cannot be returned by value}}
 @end
 
 @implementation bar
--(void) my_method:(foo) my_param  // expected-error {{can not use an object as parameter to a method}}
+-(void) my_method:(foo) my_param  // expected-error {{Objective-C type cannot be passed by value}}
+{
+}
+- (foo)cccccc:(long)ddddd // expected-error {{Objective-C type cannot be returned by value}}
 {
 }
 @end