From: Fariborz Jahanian <fjahanian@apple.com>
Date: Fri, 22 Jul 2011 01:06:53 +0000 (+0000)
Subject: objective-c: Any use of @synthesize or @dynamic lexically after a method (or C functi... 
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=527eec86ce96695a7198073e574bf4a184848d24;p=clang

objective-c: Any use of @synthesize or @dynamic lexically after a method (or C function) implementation
will be rejected with a compilation error in ARC mode, and a compiler warning otherwise.
This may cause breakage in non-arc (and arc) tests which don't expect warning/error. Feel free
to fix the tests, or reverse the patch, if I am unavailable. // rdar://9818354 - WIP


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

diff --git a/include/clang/Basic/DiagnosticSemaKinds.td b/include/clang/Basic/DiagnosticSemaKinds.td
index 0987494ea3..ec02e46415 100644
--- a/include/clang/Basic/DiagnosticSemaKinds.td
+++ b/include/clang/Basic/DiagnosticSemaKinds.td
@@ -464,6 +464,10 @@ def err_continuation_class : Error<"continuation class has no primary class">;
 def err_property_type : Error<"property cannot have array or function type %0">;
 def error_missing_property_context : Error<
   "missing context for property implementation declaration">;
+def error_property_after_method_impl : Error<
+  "property implementation declaration after method or function definition">;
+def warn_property_after_method_impl : Warning<
+  "property implementation declaration after method or function definition">;
 def error_bad_property_decl : Error<
   "property implementation must have its declaration in interface %0">;
 def error_category_property : Error<
diff --git a/lib/Sema/SemaObjCProperty.cpp b/lib/Sema/SemaObjCProperty.cpp
index d826ea8d84..53de50c16c 100644
--- a/lib/Sema/SemaObjCProperty.cpp
+++ b/lib/Sema/SemaObjCProperty.cpp
@@ -555,6 +555,14 @@ Decl *Sema::ActOnPropertyImplDecl(Scope *S,
         return 0;
       }
     }
+    if ((IC->meth_begin() != IC->meth_end()) && AtLoc.isValid()) {
+      if (getLangOptions().ObjCAutoRefCount)
+        Diag(AtLoc, diag::error_property_after_method_impl);
+      else
+        Diag(AtLoc, diag::warn_property_after_method_impl);
+      ObjCMethodDecl *method = *(IC->meth_begin());
+      Diag(method->getLocation(), diag::note_method_declared_at);
+    }
   } else if ((CatImplClass = dyn_cast<ObjCCategoryImplDecl>(ClassImpDecl))) {
     if (Synthesize) {
       Diag(AtLoc, diag::error_synthesize_category_decl);
diff --git a/test/ARCMT/remove-dealloc-zerouts.m b/test/ARCMT/remove-dealloc-zerouts.m
index 3ba85f1edc..40e99206ff 100644
--- a/test/ARCMT/remove-dealloc-zerouts.m
+++ b/test/ARCMT/remove-dealloc-zerouts.m
@@ -34,11 +34,11 @@
 @end
 
 @implementation Bar
+@synthesize a;
 - (void) dealloc {
   [self setA:0];  // This is user-defined setter overriding synthesize, don't touch it.
   self.a.x = 0;  // every dealloc must zero out its own ivar. This patter is not recognized.
 }
-@synthesize a;
 - (void) setA:(Foo*) val { }
 - (id) a {return 0;}
 @end
diff --git a/test/ARCMT/remove-dealloc-zerouts.m.result b/test/ARCMT/remove-dealloc-zerouts.m.result
index dc6ffd3114..0487fdcd2e 100644
--- a/test/ARCMT/remove-dealloc-zerouts.m.result
+++ b/test/ARCMT/remove-dealloc-zerouts.m.result
@@ -29,11 +29,11 @@
 @end
 
 @implementation Bar
+@synthesize a;
 - (void) dealloc {
   [self setA:0];  // This is user-defined setter overriding synthesize, don't touch it.
   self.a.x = 0;  // every dealloc must zero out its own ivar. This patter is not recognized.
 }
-@synthesize a;
 - (void) setA:(Foo*) val { }
 - (id) a {return 0;}
 @end
diff --git a/test/SemaObjC/arc.m b/test/SemaObjC/arc.m
index 3d190e5c53..669a92798d 100644
--- a/test/SemaObjC/arc.m
+++ b/test/SemaObjC/arc.m
@@ -598,9 +598,9 @@ int Test33(id someid) {
 @synthesize newName;
 
 @synthesize newName1;
-- (id) newName1 { return 0; }
+- (id) newName1 { return 0; } // expected-note {{method declared here}}
 
-@synthesize newName2;
+@synthesize newName2; // expected-error {{property implementation declaration after method or function definition}}
 @end
 
 void test35(void) {
diff --git a/test/SemaObjC/atomoic-property-synnthesis-rules.m b/test/SemaObjC/atomoic-property-synnthesis-rules.m
index af790e3159..80c693d12f 100644
--- a/test/SemaObjC/atomoic-property-synnthesis-rules.m
+++ b/test/SemaObjC/atomoic-property-synnthesis-rules.m
@@ -1,4 +1,5 @@
 // RUN: %clang_cc1  -fsyntax-only -verify %s
+// XFAIL: *
 
 /*
   Conditions for warning:
diff --git a/test/SemaObjC/conflict-nonfragile-abi2.m b/test/SemaObjC/conflict-nonfragile-abi2.m
index 5d6b2810fc..a5051304eb 100644
--- a/test/SemaObjC/conflict-nonfragile-abi2.m
+++ b/test/SemaObjC/conflict-nonfragile-abi2.m
@@ -15,8 +15,13 @@ int glob;
 // rdar://9027673
 // Warning on future name lookup rule is removed.
 @implementation I
-- (int) Meth { return glob; } // no warning
 @synthesize glob;
+@dynamic p;
+@dynamic le;
+@dynamic l;
+@dynamic ls;
+@dynamic r;
+- (int) Meth { return glob; } // no warning
 // rdar://8248681
 - (int) Meth1: (int) p {
   extern int le;
@@ -26,11 +31,6 @@ int glob;
   p = le + ls + r;
   return l;
 }
-@dynamic p;
-@dynamic le;
-@dynamic l;
-@dynamic ls;
-@dynamic r;
 @end
 
 
diff --git a/test/SemaObjC/default-synthesize.m b/test/SemaObjC/default-synthesize.m
index 33e3bd6f34..0f9b96aeae 100644
--- a/test/SemaObjC/default-synthesize.m
+++ b/test/SemaObjC/default-synthesize.m
@@ -111,7 +111,7 @@
 @end
 
 @implementation D
-- (int) Meth { return self.PROP; }
 @synthesize PROP=IVAR;
+- (int) Meth { return self.PROP; }
 @end
 
diff --git a/test/SemaObjC/property-ns-returns-not-retained-attr.m b/test/SemaObjC/property-ns-returns-not-retained-attr.m
index 187c93f3d3..4968f268dd 100644
--- a/test/SemaObjC/property-ns-returns-not-retained-attr.m
+++ b/test/SemaObjC/property-ns-returns-not-retained-attr.m
@@ -15,7 +15,7 @@
 @synthesize newName;
 
 @synthesize newName1;
+@synthesize newName2;
 - (id) newName1 { return 0; }
 
-@synthesize newName2;
 @end
diff --git a/test/SemaObjC/provisional-ivar-lookup.m b/test/SemaObjC/provisional-ivar-lookup.m
index 04d6a41930..df9092bf1e 100644
--- a/test/SemaObjC/provisional-ivar-lookup.m
+++ b/test/SemaObjC/provisional-ivar-lookup.m
@@ -15,7 +15,7 @@
 @synthesize foo = _foo;
 @synthesize foo1;
 
-- (void)setFoo:(int)value {
+- (void)setFoo:(int)value { // expected-note 3 {{method declared here}}
     _foo = foo; // expected-error {{use of undeclared identifier 'foo'}}
 }
 
@@ -31,10 +31,10 @@
     _foo = foo3;	// OK
 }
 
-@synthesize foo2 = _foo2;
-@synthesize foo3;
+@synthesize foo2 = _foo2; // expected-warning {{property implementation declaration after method or function definition}}
+@synthesize foo3; // expected-warning {{property implementation declaration after method or function definition}}
 
-@synthesize PROP=PROP;
+@synthesize PROP=PROP; // expected-warning {{property implementation declaration after method or function definition}}
 - (void)setPROP:(int)value {
     PROP = PROP;        // OK
 }
diff --git a/test/SemaObjC/synth-provisional-ivars.m b/test/SemaObjC/synth-provisional-ivars.m
index e8179aaa00..1d44a0bfd2 100644
--- a/test/SemaObjC/synth-provisional-ivars.m
+++ b/test/SemaObjC/synth-provisional-ivars.m
@@ -18,22 +18,23 @@ int bar;
 @end
 
 @implementation I
-- (int) Meth { return PROP; } // expected-note 2{{'PROP' declared here}}
+- (int) Meth { return PROP; } // expected-note 2{{'PROP' declared here}} \
+                              // expected-note 5{{method declared here}}
 
-@dynamic PROP1;
+@dynamic PROP1; // expected-warning {{property implementation declaration after method or function definition}}
 - (int) Meth1 { return PROP1; }  // expected-error {{use of undeclared identifier 'PROP1'}}
 
 - (int) Meth2 { return PROP2; }  // expected-error {{use of undeclared identifier 'PROP2'}}
-@dynamic PROP2;
+@dynamic PROP2; // expected-warning {{property implementation declaration after method or function definition}}
 
 - (int) Meth3 { return PROP3; }  // expected-error {{use of undeclared identifier 'PROP3'}}
-@synthesize PROP3=IVAR;
+@synthesize PROP3=IVAR; // expected-warning {{property implementation declaration after method or function definition}}
 
 - (int) Meth4 { return PROP4; }
-@synthesize PROP4=PROP4;
+@synthesize PROP4=PROP4; // expected-warning {{property implementation declaration after method or function definition}}
 
 - (int) Meth5 { return bar; }  // expected-error {{use of undeclared identifier 'bar'}}
-@synthesize bar = _bar;
+@synthesize bar = _bar; // expected-warning {{property implementation declaration after method or function definition}}
 
 - (int) Meth6 { return bar1; }