| 1 | // RUN: %clang_cc1 -Wno-objc-root-class -verify %s |
|---|
| 2 | // rdar://11273060 |
|---|
| 3 | |
|---|
| 4 | @interface I |
|---|
| 5 | - (void) setP : (int)arg; |
|---|
| 6 | @end |
|---|
| 7 | |
|---|
| 8 | @interface J |
|---|
| 9 | - (int) P; |
|---|
| 10 | @end |
|---|
| 11 | |
|---|
| 12 | @interface K @end |
|---|
| 13 | |
|---|
| 14 | @interface II @end |
|---|
| 15 | |
|---|
| 16 | @implementation II |
|---|
| 17 | - (void) Meth : (I*) arg { |
|---|
| 18 | arg.P++; // expected-error {{no getter method 'P' for increment of property}} |
|---|
| 19 | --arg.P; // expected-error {{no getter method 'P' for decrement of property}} |
|---|
| 20 | } |
|---|
| 21 | - (void) Meth1 : (J*) arg { |
|---|
| 22 | arg.P++; // expected-error {{no setter method 'setP:' for increment of property}} |
|---|
| 23 | arg.P--; // expected-error {{no setter method 'setP:' for decrement of property}} |
|---|
| 24 | } |
|---|
| 25 | |
|---|
| 26 | - (void) Meth2 : (K*) arg { |
|---|
| 27 | arg.P++; // expected-error {{property 'P' not found on object of type 'K *'}} |
|---|
| 28 | arg.P--; // expected-error {{property 'P' not found on object of type 'K *'}} |
|---|
| 29 | } |
|---|
| 30 | @end |
|---|
| 31 | |
|---|