Daniel Dunbar | d7d5f02 | 2009-03-24 02:24:46 +0000 | [diff] [blame] | 1 | // RUN: clang-cc -fsyntax-only -verify -pedantic %s |
Fariborz Jahanian | c395bda | 2007-12-20 19:24:10 +0000 | [diff] [blame] | 2 | |
Fariborz Jahanian | 3886012 | 2008-01-09 00:33:05 +0000 | [diff] [blame] | 3 | #define nil (void *)0; |
| 4 | #define Nil (void *)0; |
Fariborz Jahanian | c395bda | 2007-12-20 19:24:10 +0000 | [diff] [blame] | 5 | |
| 6 | extern void foo(); |
| 7 | |
| 8 | @protocol MyProtocol |
| 9 | - (void) foo; |
| 10 | @end |
| 11 | |
| 12 | @interface MyClass |
| 13 | @end |
| 14 | |
| 15 | @interface MyOtherClass <MyProtocol> |
| 16 | - (void) foo; |
| 17 | @end |
| 18 | |
| 19 | int main() |
| 20 | { |
| 21 | id obj = nil; |
| 22 | id<MyProtocol> obj_p = nil; |
| 23 | MyClass *obj_c = nil; |
| 24 | MyOtherClass *obj_cp = nil; |
| 25 | Class obj_C = Nil; |
| 26 | |
| 27 | /* Assigning to an 'id' variable should never |
| 28 | generate a warning. */ |
| 29 | obj = obj_p; /* Ok */ |
| 30 | obj = obj_c; /* Ok */ |
| 31 | obj = obj_cp; /* Ok */ |
| 32 | obj = obj_C; /* Ok */ |
| 33 | |
| 34 | /* Assigning to a 'MyClass *' variable should always generate a |
| 35 | warning, unless done from an 'id'. */ |
| 36 | obj_c = obj; /* Ok */ |
Chris Lattner | 5cf216b | 2008-01-04 18:04:52 +0000 | [diff] [blame] | 37 | obj_c = obj_cp; // // expected-warning {{incompatible pointer types assigning 'MyOtherClass *', expected 'MyClass *'}} |
Steve Naroff | d824c9c | 2009-04-14 15:11:46 +0000 | [diff] [blame] | 38 | obj_c = obj_C; |
Fariborz Jahanian | c395bda | 2007-12-20 19:24:10 +0000 | [diff] [blame] | 39 | |
| 40 | /* Assigning to an 'id<MyProtocol>' variable should generate a |
| 41 | warning if done from a 'MyClass *' (which doesn't implement |
| 42 | MyProtocol), but not from an 'id' or from a 'MyOtherClass *' |
| 43 | (which implements MyProtocol). */ |
| 44 | obj_p = obj; /* Ok */ |
Steve Naroff | 3957907 | 2008-10-14 22:18:38 +0000 | [diff] [blame] | 45 | obj_p = obj_c; // expected-warning {{incompatible type assigning 'MyClass *', expected 'id<MyProtocol>'}} |
Fariborz Jahanian | c395bda | 2007-12-20 19:24:10 +0000 | [diff] [blame] | 46 | obj_p = obj_cp; /* Ok */ |
Chris Lattner | 2c4463f | 2009-04-12 09:02:39 +0000 | [diff] [blame] | 47 | obj_p = obj_C; // Ok |
Fariborz Jahanian | c395bda | 2007-12-20 19:24:10 +0000 | [diff] [blame] | 48 | |
| 49 | /* Assigning to a 'MyOtherClass *' variable should always generate |
| 50 | a warning, unless done from an 'id' or an 'id<MyProtocol>' (since |
| 51 | MyOtherClass implements MyProtocol). */ |
| 52 | obj_cp = obj; /* Ok */ |
Chris Lattner | 5cf216b | 2008-01-04 18:04:52 +0000 | [diff] [blame] | 53 | obj_cp = obj_c; // expected-warning {{incompatible pointer types assigning 'MyClass *', expected 'MyOtherClass *'}} |
Fariborz Jahanian | c395bda | 2007-12-20 19:24:10 +0000 | [diff] [blame] | 54 | obj_cp = obj_p; /* Ok */ |
Steve Naroff | d824c9c | 2009-04-14 15:11:46 +0000 | [diff] [blame] | 55 | obj_cp = obj_C; |
Fariborz Jahanian | c395bda | 2007-12-20 19:24:10 +0000 | [diff] [blame] | 56 | |
| 57 | /* Any comparison involving an 'id' must be without warnings. */ |
| 58 | if (obj == obj_p) foo() ; /* Ok */ /*Bogus warning here in 2.95.4*/ |
| 59 | if (obj_p == obj) foo() ; /* Ok */ |
| 60 | if (obj == obj_c) foo() ; /* Ok */ |
| 61 | if (obj_c == obj) foo() ; /* Ok */ |
| 62 | if (obj == obj_cp) foo() ; /* Ok */ |
| 63 | if (obj_cp == obj) foo() ; /* Ok */ |
| 64 | if (obj == obj_C) foo() ; /* Ok */ |
| 65 | if (obj_C == obj) foo() ; /* Ok */ |
| 66 | |
| 67 | /* Any comparison between 'MyClass *' and anything which is not an 'id' |
| 68 | must generate a warning. */ |
Steve Naroff | 4084c30 | 2009-07-23 01:01:38 +0000 | [diff] [blame^] | 69 | if (obj_p == obj_c) foo() ; // expected-warning {{comparison of distinct pointer types ('id<MyProtocol>' and 'MyClass *')}} |
Fariborz Jahanian | 0f01deb | 2007-12-20 22:37:58 +0000 | [diff] [blame] | 70 | |
| 71 | if (obj_c == obj_cp) foo() ; // expected-warning {{comparison of distinct pointer types ('MyClass *' and 'MyOtherClass *')}} |
| 72 | if (obj_cp == obj_c) foo() ; // expected-warning {{comparison of distinct pointer types ('MyOtherClass *' and 'MyClass *')}} |
| 73 | |
Steve Naroff | d824c9c | 2009-04-14 15:11:46 +0000 | [diff] [blame] | 74 | if (obj_c == obj_C) foo() ; |
| 75 | if (obj_C == obj_c) foo() ; |
Fariborz Jahanian | c395bda | 2007-12-20 19:24:10 +0000 | [diff] [blame] | 76 | |
| 77 | /* Any comparison between 'MyOtherClass *' (which implements |
| 78 | MyProtocol) and an 'id' implementing MyProtocol are Ok. */ |
| 79 | if (obj_cp == obj_p) foo() ; /* Ok */ |
| 80 | if (obj_p == obj_cp) foo() ; /* Ok */ |
| 81 | |
| 82 | |
Steve Naroff | d824c9c | 2009-04-14 15:11:46 +0000 | [diff] [blame] | 83 | if (obj_p == obj_C) foo() ; |
| 84 | if (obj_C == obj_p) foo() ; |
| 85 | if (obj_cp == obj_C) foo() ; |
| 86 | if (obj_C == obj_cp) foo() ; |
Fariborz Jahanian | c395bda | 2007-12-20 19:24:10 +0000 | [diff] [blame] | 87 | |
| 88 | return 0; |
| 89 | } |