| Ted Kremenek | 71c707b | 2008-10-17 17:24:14 +0000 | [diff] [blame] | 1 | // RUN: clang -checker-simple %s -verify |
| 2 | |||||
| 3 | // The point of this test cases is to exercise properties in the static | ||||
| 4 | // analyzer | ||||
| 5 | |||||
| 6 | @interface MyClass { | ||||
| 7 | @private | ||||
| 8 | id _X; | ||||
| 9 | } | ||||
| 10 | - (id)initWithY:(id)Y; | ||||
| 11 | @property(copy, readonly) id X; | ||||
| 12 | @end | ||||
| 13 | |||||
| 14 | @implementation MyClass | ||||
| 15 | @synthesize X = _X; | ||||
| 16 | - (id)initWithY:(id)Y { | ||||
| 17 | self.X = Y; | ||||
| 18 | return self; | ||||
| 19 | } | ||||
| 20 | @end | ||||