blob: f41f75f1d7be99fe61ec12b1f25a552dc5fc45a3 [file] [log] [blame]
Douglas Gregor9ba23b42010-09-07 15:23:11 +00001// RUN: %clang_cc1 -pedantic -verify %s
Nick Lewyckyba5f6ec2010-04-24 01:30:46 +00002// RUN: cp %s %t
Douglas Gregor9ba23b42010-09-07 15:23:11 +00003// RUN: not %clang_cc1 -pedantic -fixit -x objective-c %t
4// RUN: %clang_cc1 -pedantic -Werror -x objective-c %t
Anders Carlssonb76cd3d2009-11-10 04:46:30 +00005
6/* This is a test of the various code modification hints that are
7 provided as part of warning or extension diagnostics. All of the
8 warnings will be fixed by -fixit, and the resulting file should
9 compile cleanly with -Werror -pedantic. */
Chris Lattner75e36062009-04-03 18:38:42 +000010
11@protocol X;
12
13void foo() {
Fariborz Jahaniand1084f62013-02-28 23:16:39 +000014 <X> *P; // expected-warning{{protocol has no object type specified; defaults to qualified 'id'}}
Chris Lattner75e36062009-04-03 18:38:42 +000015}
Anders Carlssonb76cd3d2009-11-10 04:46:30 +000016
17@class A;
18@class NSString;
19
20@interface Test
Stephen Hines651f13c2014-04-23 16:59:28 -070021- (void)test:(NSString *)string;
Anders Carlssonb76cd3d2009-11-10 04:46:30 +000022
23@property (copy) NSString *property;
24@end
25
Stephen Hines651f13c2014-04-23 16:59:28 -070026void g(NSString *a);
27void h(id a);
Anders Carlssonb76cd3d2009-11-10 04:46:30 +000028
29void f(Test *t) {
Stephen Hines651f13c2014-04-23 16:59:28 -070030 NSString *a = "Foo"; // expected-error {{string literal must be prefixed by '@'}}
31 id b = "Foo"; // expected-error {{string literal must be prefixed by '@'}}
32 g("Foo"); // expected-error {{string literal must be prefixed by '@'}}
33 h("Foo"); // expected-error {{string literal must be prefixed by '@'}}
34 h(("Foo")); // expected-error {{string literal must be prefixed by '@'}}
35 [t test:"Foo"]; // expected-error {{string literal must be prefixed by '@'}}
36 t.property = "Foo"; // expected-error {{string literal must be prefixed by '@'}}
Douglas Gregor9ba23b42010-09-07 15:23:11 +000037
38 // <rdar://problem/6896493>
39 [t test:@"Foo"]]; // expected-error{{extraneous ']' before ';'}}
40 g(@"Foo")); // expected-error{{extraneous ')' before ';'}}
Anders Carlssonb76cd3d2009-11-10 04:46:30 +000041}
Fariborz Jahanian6326e052011-06-28 00:00:52 +000042
43// rdar://7861841
44@interface Radar7861841 {
45@public
46 int x;
47}
48
49@property (assign) int y;
50@end
51
Fariborz Jahanian59ed9e42012-09-24 22:00:36 +000052int f0(Radar7861841 *a) { return a.x; } // expected-error {{property 'x' not found on object of type 'Radar7861841 *'; did you mean to access instance variable 'x'}}
Fariborz Jahanian6326e052011-06-28 00:00:52 +000053
54int f1(Radar7861841 *a) { return a->y; } // expected-error {{property 'y' found on object of type 'Radar7861841 *'; did you mean to access it with the "." operator?}}
55
Douglas Gregorf78c4e52011-07-30 08:57:03 +000056
57#define nil ((void*)0)
58#define NULL ((void*)0)
59
60void sentinel(int x, ...) __attribute__((sentinel)); // expected-note{{function has been explicitly marked sentinel here}}
61
62@interface Sentinel
63- (void)sentinel:(int)x, ... __attribute__((sentinel)); // expected-note{{method has been explicitly marked sentinel here}}
64@end
65
66void sentinel_test(Sentinel *a) {
67 sentinel(1, 2, 3); // expected-warning{{missing sentinel in function call}}
68 [a sentinel:1, 2, 3]; // expected-warning{{missing sentinel in method dispatch}}
69}