|
111
|
1 /* PR c/81233 */
|
|
|
2 /* { dg-do compile } */
|
|
|
3 /* { dg-options "-Wc++-compat -Wpedantic" } */
|
|
|
4 /* Test we're printing the types, like the good compiler we are. */
|
|
|
5
|
|
|
6 enum E1 { A } e;
|
|
|
7 enum E2 { B };
|
|
|
8 extern void foo_E (enum E1); /* { dg-message "expected 'enum E1' but argument is of type 'int'" } */
|
|
|
9 extern void foo (char *); /* { dg-message "expected 'char \\*' but argument is of type 'int \\*'" } */
|
|
|
10 extern void foo2 (int *); /* { dg-message "expected 'int \\*' but argument is of type 'int'" } */
|
|
|
11 extern void foo3 (int); /* { dg-message "expected 'int' but argument is of type 'int \\*'" } */
|
|
|
12 extern void foo4 (int *); /* { dg-message "expected 'int \\*' but argument is of type 'unsigned int \\*'" } */
|
|
|
13
|
|
|
14 char *
|
|
|
15 fn0 (int *p, char *q)
|
|
|
16 {
|
|
|
17 p = q; /* { dg-warning "assignment to 'int \\*' from incompatible pointer type 'char \\*'" } */
|
|
|
18 int *r = q; /* { dg-warning "initialization of 'int \\*' from incompatible pointer type 'char \\*'" } */
|
|
|
19 foo (r); /* { dg-warning "passing argument 1 of 'foo' from incompatible pointer type" } */
|
|
|
20 return p; /* { dg-warning "returning 'int \\*' from a function with incompatible return type 'char \\*'" } */
|
|
|
21 }
|
|
|
22
|
|
|
23 int *
|
|
|
24 fn1 (int *p)
|
|
|
25 {
|
|
|
26 p = 1; /* { dg-warning "assignment to 'int \\*' from 'int' makes pointer from integer without a cast" } */
|
|
|
27 int *q = 1; /* { dg-warning "initialization of 'int \\*' from 'int' makes pointer from integer without a cast" } */
|
|
|
28 foo2 (1); /* { dg-warning "passing argument 1 of 'foo2' makes pointer from integer without a cast" } */
|
|
|
29 return 1; /* { dg-warning "returning 'int' from a function with return type 'int \\*' makes pointer from integer without a cast" } */
|
|
|
30 }
|
|
|
31
|
|
|
32 int
|
|
|
33 fn2 (int i, int *p)
|
|
|
34 {
|
|
|
35 i = p; /* { dg-warning "assignment to 'int' from 'int \\*' makes integer from pointer without a cast" } */
|
|
|
36 int j = p; /* { dg-warning "initialization of 'int' from 'int \\*' makes integer from pointer without a cast" } */
|
|
|
37 foo3 (p); /* { dg-warning "passing argument 1 of 'foo3' makes integer from pointer without a cast" } */
|
|
|
38 return p; /* { dg-warning "returning 'int \\*' from a function with return type 'int' makes integer from pointer without a cast" } */
|
|
|
39 }
|
|
|
40
|
|
|
41 int *
|
|
|
42 fn3 (int *p, unsigned int *u)
|
|
|
43 {
|
|
|
44 p = u; /* { dg-warning "pointer targets in assignment from 'unsigned int \\*' to 'int \\*' differ in signedness" } */
|
|
|
45 int *q = u; /* { dg-warning "pointer targets in initialization of 'int \\*' from 'unsigned int \\*' differ in signedness" } */
|
|
|
46 foo4 (u); /* { dg-warning "pointer targets in passing argument 1 of 'foo4' differ in signedness" } */
|
|
|
47 return u; /* { dg-warning "pointer targets in returning 'unsigned int \\*' from a function with return type 'int \\*' differ in signedness" } */
|
|
|
48 }
|
|
|
49
|
|
|
50 enum E1
|
|
|
51 fn4 (void)
|
|
|
52 {
|
|
|
53 foo_E (B); /* { dg-warning "enum conversion when passing argument" } */
|
|
|
54 e = 0; /* { dg-warning "enum conversion from 'int' to 'enum E1' in assignment is invalid" } */
|
|
|
55 enum E1 f = 0; /* { dg-warning "enum conversion from 'int' to 'enum E1' in initialization is invalid" } */
|
|
|
56 return 0; /* { dg-warning "enum conversion from 'int' to 'enum E1' in return is invalid" } */
|
|
|
57 }
|
