Daniel Dunbar | a572887 | 2009-12-15 20:14:24 +0000 | [diff] [blame] | 1 | // RUN: %clang_cc1 -fsyntax-only -verify %s |
Andy Gibbs | 8e8fb3b | 2012-10-19 12:44:48 +0000 | [diff] [blame] | 2 | // expected-no-diagnostics |
Fariborz Jahanian | db07b3f | 2009-10-27 23:02:38 +0000 | [diff] [blame] | 3 | |
Fariborz Jahanian | e23fa2d | 2009-10-30 01:13:23 +0000 | [diff] [blame] | 4 | @protocol MyProtocol @end |
| 5 | |
Fariborz Jahanian | db07b3f | 2009-10-27 23:02:38 +0000 | [diff] [blame] | 6 | @interface NSObject @end |
| 7 | |
Fariborz Jahanian | e23fa2d | 2009-10-30 01:13:23 +0000 | [diff] [blame] | 8 | @interface NSInterm : NSObject <MyProtocol> |
Fariborz Jahanian | db07b3f | 2009-10-27 23:02:38 +0000 | [diff] [blame] | 9 | @end |
| 10 | |
| 11 | @interface NSArray : NSInterm |
| 12 | @end |
| 13 | |
Fariborz Jahanian | e23fa2d | 2009-10-30 01:13:23 +0000 | [diff] [blame] | 14 | @interface NSSet : NSObject <MyProtocol> |
Fariborz Jahanian | db07b3f | 2009-10-27 23:02:38 +0000 | [diff] [blame] | 15 | @end |
| 16 | |
| 17 | |
Fariborz Jahanian | e23fa2d | 2009-10-30 01:13:23 +0000 | [diff] [blame] | 18 | @interface N1 : NSObject |
| 19 | @end |
| 20 | |
| 21 | @interface N1() <MyProtocol> |
| 22 | @end |
| 23 | |
Fariborz Jahanian | db07b3f | 2009-10-27 23:02:38 +0000 | [diff] [blame] | 24 | NSObject* test (int argc) { |
| 25 | NSArray *array = ((void*)0); |
| 26 | NSSet *set = ((void*)0); |
| 27 | return (argc) ? set : array ; |
| 28 | } |
| 29 | |
| 30 | |
| 31 | NSObject* test1 (int argc) { |
| 32 | NSArray *array = ((void*)0); |
| 33 | NSSet *set = ((void*)0); |
Fariborz Jahanian | e23fa2d | 2009-10-30 01:13:23 +0000 | [diff] [blame] | 34 | id <MyProtocol> instance = (argc) ? array : set; |
| 35 | id <MyProtocol> instance1 = (argc) ? set : array; |
| 36 | |
| 37 | N1 *n1 = ((void*)0); |
| 38 | id <MyProtocol> instance2 = (argc) ? set : n1; |
| 39 | id <MyProtocol> instance3 = (argc) ? n1 : array; |
| 40 | |
| 41 | NSArray<MyProtocol> *qual_array = ((void*)0); |
| 42 | id <MyProtocol> instance4 = (argc) ? array : qual_array; |
| 43 | id <MyProtocol> instance5 = (argc) ? qual_array : array; |
| 44 | NSSet<MyProtocol> *qual_set = ((void*)0); |
| 45 | id <MyProtocol> instance6 = (argc) ? qual_set : qual_array; |
| 46 | id <MyProtocol> instance7 = (argc) ? qual_set : array; |
| 47 | id <MyProtocol> instance8 = (argc) ? qual_array : set; |
| 48 | id <MyProtocol> instance9 = (argc) ? qual_array : qual_set; |
| 49 | |
| 50 | |
Fariborz Jahanian | db07b3f | 2009-10-27 23:02:38 +0000 | [diff] [blame] | 51 | return (argc) ? array : set; |
| 52 | } |