1// RUN: %clang_cc1 -analyze -analyzer-checker=alpha.osx.cocoa.DirectIvarAssignmentForAnnotatedFunctions -verify -fblocks %s
2
3typedef signed char BOOL;
4@protocol NSObject  - (BOOL)isEqual:(id)object; @end
5@interface NSObject <NSObject> {}
6+(id)alloc;
7-(id)init;
8-(id)autorelease;
9-(id)copy;
10-(id)retain;
11@end
12
13@interface MyClass;
14@end
15
16@interface AnnotatedClass : NSObject {
17}
18  - (void) someMethod: (MyClass*)In __attribute__((annotate("objc_no_direct_instance_variable_assignment")));
19  - (void) someMethodNotAnnaotated: (MyClass*)In;
20@end
21
22
23@interface TestProperty : AnnotatedClass {
24  MyClass *_Z;
25  id _nonSynth;
26  MyClass* _NotA __attribute__((annotate("objc_allow_direct_instance_variable_assignment")));
27}
28
29  @property (assign, nonatomic) MyClass* A; // explicitely synthesized, not implemented, non-default ivar name
30
31  @property (assign) MyClass* X;  // automatically synthesized, not implemented
32
33  @property (assign, nonatomic) MyClass* Y; // automatically synthesized, implemented
34
35  @property (assign, nonatomic) MyClass* Z; // non-synthesized ivar, implemented setter
36  @property (readonly) id nonSynth;  // non-synthesized, explicitly implemented to return ivar with expected name
37
38  @property (assign) MyClass* NotA;  // warnings should be suppressed, backing ivar is annotated
39  @property (assign) MyClass* NotX __attribute__((annotate("objc_allow_direct_instance_variable_assignment")));  // warnings should be suppressed
40
41  @end
42
43@implementation TestProperty
44  @synthesize A = __A;
45
46  - (void) someMethod: (MyClass*)In {
47    (__A) = In; // expected-warning {{Direct assignment to an instance variable backing a property; use the setter instead}}
48    _X = In; // expected-warning {{Direct assignment to an instance variable backing a property; use the setter instead}}
49    _Y = In; // expected-warning {{Direct assignment to an instance variable backing a property; use the setter instead}}
50    _Z = In; // expected-warning {{Direct assignment to an instance variable backing a property; use the setter instead}}
51    _nonSynth = 0; // expected-warning {{Direct assignment to an instance variable backing a property; use the setter instead}}
52    _NotX = 0; // no-warning
53    _NotA = 0; // no-warning
54  }
55  - (void) someMethodNotAnnaotated: (MyClass*)In {
56    (__A) = In;
57    _X = In; // no-warning
58    _Y = In; // no-warning
59    _Z = In; // no-warning
60    _nonSynth = 0; // no-warning
61  }
62
63@end