diff options
Diffstat (limited to 'test/SemaObjCXX/comptypes-7.mm')
-rw-r--r-- | test/SemaObjCXX/comptypes-7.mm | 74 |
1 files changed, 74 insertions, 0 deletions
diff --git a/test/SemaObjCXX/comptypes-7.mm b/test/SemaObjCXX/comptypes-7.mm new file mode 100644 index 0000000000..ca6c506aff --- /dev/null +++ b/test/SemaObjCXX/comptypes-7.mm @@ -0,0 +1,74 @@ +// RUN: %clang_cc1 -fsyntax-only -verify -pedantic %s + +#define nil nullptr + +extern void foo(); + +@protocol MyProtocol +- (void) method; +@end + +@interface MyClass +@end + +int main() +{ + id obj = nil; + id <MyProtocol> obj_p = nil; + MyClass *obj_c = nil; + Class obj_C = nil; + + int i = 0; + int *j = nil; + + /* These should all generate errors. */ + + obj = i; // expected-error {{assigning to 'id' from incompatible type 'int'}} + obj = j; // expected-error {{assigning to 'id' from incompatible type 'int *'}} + + obj_p = i; // expected-error {{assigning to 'id<MyProtocol>' from incompatible type 'int'}} + obj_p = j; // expected-error {{assigning to 'id<MyProtocol>' from incompatible type 'int *'}} + + obj_c = i; // expected-error {{assigning to 'MyClass *' from incompatible type 'int'}} + obj_c = j; // expected-error {{assigning to 'MyClass *' from incompatible type 'int *'}} + + obj_C = i; // expected-error {{assigning to 'Class' from incompatible type 'int'}} + obj_C = j; // expected-error {{assigning to 'Class' from incompatible type 'int *'}} + + i = obj; // expected-error {{assigning to 'int' from incompatible type 'id'}} + i = obj_p; // expected-error {{assigning to 'int' from incompatible type 'id<MyProtocol>'}} + i = obj_c; // expected-error {{assigning to 'int' from incompatible type 'MyClass *'}} + i = obj_C; // expected-error {{assigning to 'int' from incompatible type 'Class'}} + + j = obj; // expected-error {{assigning to 'int *' from incompatible type 'id'}} + j = obj_p; // expected-error {{assigning to 'int *' from incompatible type 'id<MyProtocol>'}} + j = obj_c; // expected-error {{assigning to 'int *' from incompatible type 'MyClass *'}} + j = obj_C; // expected-error {{assigning to 'int *' from incompatible type 'Class'}} + + if (obj == i) foo() ; // expected-error {{comparison between pointer and integer ('id' and 'int')}} + if (i == obj) foo() ; // expected-error {{comparison between pointer and integer ('int' and 'id')}} + if (obj == j) foo() ; // expected-error {{invalid operands to binary expression ('id' and 'int *')}} + if (j == obj) foo() ; // expected-error {{invalid operands to binary expression ('int *' and 'id')}} + + if (obj_c == i) foo() ; // expected-error {{comparison between pointer and integer ('MyClass *' and 'int')}} + if (i == obj_c) foo() ; // expected-error {{comparison between pointer and integer ('int' and 'MyClass *')}} + if (obj_c == j) foo() ; // expected-error {{invalid operands to binary expression ('MyClass *' and 'int *')}} + if (j == obj_c) foo() ; // expected-error {{invalid operands to binary expression ('int *' and 'MyClass *')}} + + if (obj_p == i) foo() ; // expected-error {{comparison between pointer and integer ('id<MyProtocol>' and 'int')}} + if (i == obj_p) foo() ; // expected-error {{comparison between pointer and integer ('int' and 'id<MyProtocol>')}} + if (obj_p == j) foo() ; // expected-error {{invalid operands to binary expression ('id<MyProtocol>' and 'int *')}} + if (j == obj_p) foo() ; // expected-error {{invalid operands to binary expression ('int *' and 'id<MyProtocol>')}} + + if (obj_C == i) foo() ; // expected-error {{comparison between pointer and integer ('Class' and 'int')}} + if (i == obj_C) foo() ; // expected-error {{comparison between pointer and integer ('int' and 'Class')}} + if (obj_C == j) foo() ; // expected-error {{invalid operands to binary expression ('Class' and 'int *')}} + if (j == obj_C) foo() ; // expected-error {{invalid operands to binary expression ('int *' and 'Class')}} + + Class bar1 = nil; + Class <MyProtocol> bar = nil; + bar = bar1; + bar1 = bar; + + return 0; +} |