1// RUN: %clang_cc1 -fsyntax-only -verify %s
2
3@protocol Foo;
4
5Class T;
6id<Foo> S;
7id R;
8void foo() {
9  // Test assignment compatibility of Class and id.  No warning should be
10  // produced.
11  // rdar://6770142 - Class and id<foo> are compatible.
12  S = T; // expected-warning {{incompatible pointer types assigning to 'id<Foo>' from 'Class'}}
13  T = S; // expected-warning {{incompatible pointer types assigning to 'Class' from 'id<Foo>'}}
14  R = T; T = R;
15  R = S; S = R;
16}
17
18// Test attempt to redefine 'id' in an incompatible fashion.
19// rdar://11356439
20typedef int id;  // expected-error {{typedef redefinition with different types ('int' vs 'id')}}
21id b;
22
23typedef double id;  // expected-error {{typedef redefinition with different types ('double' vs 'id')}}
24
25typedef char *id; // expected-error {{typedef redefinition with different types ('char *' vs 'id')}}
26
27typedef union U{ int iu; } *id; // expected-error {{typedef redefinition with different types ('union U *' vs 'id')}}
28
29void test11356439(id o) {
30  o->x; // expected-error {{member reference base type 'id' is not a structure or union}}
31}
32