1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
|
/* Test warnings for assignments and comparisons between ObjC and C types. */
/* Author: Nicola Pero <nicola@brainstorm.co.uk>. */
/* { dg-do compile } */
#include <objc/objc.h>
/* The NeXT runtime headers do not define NULL. */
#ifndef NULL
#define NULL ((void *)0)
#endif
@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 = NULL;
/* These should all generate warnings. */
obj = i; /* { dg-warning "pointer from integer without a cast" } */
obj = j; /* { dg-warning "incompatible pointer type" } */
obj_p = i; /* { dg-warning "pointer from integer without a cast" } */
obj_p = j; /* { dg-warning "incompatible pointer type" } */
obj_c = i; /* { dg-warning "pointer from integer without a cast" } */
obj_c = j; /* { dg-warning "incompatible pointer type" } */
obj_C = i; /* { dg-warning "pointer from integer without a cast" } */
obj_C = j; /* { dg-warning "incompatible pointer type" } */
i = obj; /* { dg-warning "integer from pointer without a cast" } */
i = obj_p; /* { dg-warning "integer from pointer without a cast" } */
i = obj_c; /* { dg-warning "integer from pointer without a cast" } */
i = obj_C; /* { dg-warning "integer from pointer without a cast" } */
j = obj; /* { dg-warning "incompatible pointer type" } */
j = obj_p; /* { dg-warning "incompatible pointer type" } */
j = obj_c; /* { dg-warning "incompatible pointer type" } */
j = obj_C; /* { dg-warning "incompatible pointer type" } */
if (obj == i) ; /* { dg-warning "comparison between pointer and integer" } */
if (i == obj) ; /* { dg-warning "comparison between pointer and integer" } */
if (obj == j) ; /* { dg-warning "lacks a cast" } */
if (j == obj) ; /* { dg-warning "lacks a cast" } */
if (obj_c == i) ; /*{ dg-warning "comparison between pointer and integer" }*/
if (i == obj_c) ; /*{ dg-warning "comparison between pointer and integer" }*/
if (obj_c == j) ; /* { dg-warning "lacks a cast" } */
if (j == obj_c) ; /* { dg-warning "lacks a cast" } */
if (obj_p == i) ; /*{ dg-warning "comparison between pointer and integer" }*/
if (i == obj_p) ; /*{ dg-warning "comparison between pointer and integer" }*/
if (obj_p == j) ; /* { dg-warning "lacks a cast" } */
if (j == obj_p) ; /* { dg-warning "lacks a cast" } */
if (obj_C == i) ; /*{ dg-warning "comparison between pointer and integer" }*/
if (i == obj_C) ; /*{ dg-warning "comparison between pointer and integer" }*/
if (obj_C == j) ; /* { dg-warning "lacks a cast" } */
if (j == obj_C) ; /* { dg-warning "lacks a cast" } */
return 0;
}
|
