1 /* { dg-do compile } */
2 /* { dg-options "-std=c11" } */
3 /* Origin: Martin Uecker <uecker@eecs.berkeley.edu> */
4 void tvoid(void* x);
transpose0(double * out,_Atomic double * in)5 void transpose0(double* out, _Atomic double* in) { }
transpose1(double out[2][2],_Atomic double in[2][2])6 void transpose1(double out[2][2], _Atomic double in[2][2]) { }
transpose2(double out[2][2][2],_Atomic double in[2][2][2])7 void transpose2(double out[2][2][2], _Atomic double in[2][2][2]) { }
8 // return
x2(_Atomic int x[3][3])9 int (*x2(_Atomic int x[3][3]))[3] { return x; } /* { dg-warning "returning '_Atomic int \\(\\*\\)\\\[3\\\]' from a function with incompatible return type" } */
x3(int x[3][3])10 _Atomic int (*x3(int x[3][3]))[3] { return x; } /* { dg-warning "returning 'int \\(\\*\\)\\\[3\\\]' from a function with incompatible return type" } */
test(void)11 void test(void)
12 {
13 double x0[2];
14 double y0[2];
15 _Atomic double z0[4];
16 double x1[2][2];
17 double y1[2][2];
18 double o1[2][3];
19 _Atomic double z1[2][2];
20 double x2[2][2][2];
21 double y2[2][2][2];
22 double o2[2][2][3];
23 _Atomic double z2[2][2][2];
24 tvoid(z0);
25 tvoid(z1);
26 tvoid(z2);
27 // passing as arguments
28 transpose0(y0, x0); /* { dg-warning "passing argument 2 of 'transpose0' from incompatible pointer type" } */
29 transpose1(y1, o1); /* { dg-warning "passing argument 2 of 'transpose1' from incompatible pointer type" } */
30 transpose1(y1, x1); /* { dg-warning "passing argument 2 of 'transpose1' from incompatible pointer type" } */
31 transpose2(y2, o2); /* { dg-warning "passing argument 2 of 'transpose2' from incompatible pointer type" } */
32 transpose2(y2, x2); /* { dg-warning "passing argument 2 of 'transpose2' from incompatible pointer type" } */
33 // initialization
34 _Atomic double (*x0p) = x0; /* { dg-warning "initialization of '_Atomic double \\*' from incompatible pointer type" } */
35 _Atomic double (*x1p)[2] = x1; /* { dg-warning "initialization of '_Atomic double \\(\\*\\)\\\[2\\\]' from incompatible pointer type" } */
36 _Atomic double (*x2p)[2][2] = x2; /* { dg-warning "initialization of '_Atomic double \\(\\*\\)\\\[2\\\]\\\[2\\\]' from incompatible pointer type" } */
37 // assignment
38 x0p = x0; /* { dg-warning "assignment to '_Atomic double \\*' from incompatible pointer type" } */
39 x1p = x1; /* { dg-warning "assignment to '_Atomic double \\(\\*\\)\\\[2\\\]' from incompatible pointer type" } */
40 x2p = x2; /* { dg-warning "assignment to '_Atomic double \\(\\*\\)\\\[2\\\]\\\[2\\\]' from incompatible pointer type" } */
41 // subtraction
42 &(x0[1]) - &(z0[0]); /* { dg-error "invalid operands to binary" } */
43 &(x1[1]) - &(z1[0]); /* { dg-error "invalid operands to binary" } */
44 &(x2[1]) - &(z2[0]); /* { dg-error "invalid operands to binary" } */
45 // comparison
46 x0 == z0; /* { dg-warning "comparison of distinct pointer types lacks a cast" } */
47 x1 == z1; /* { dg-warning "comparison of distinct pointer types lacks a cast" } */
48 x2 == z2; /* { dg-warning "comparison of distinct pointer types lacks a cast" } */
49 x0 > z0; /* { dg-warning "comparison of distinct pointer types lacks a cast" } */
50 x1 > z1; /* { dg-warning "comparison of distinct pointer types lacks a cast" } */
51 x2 > z2; /* { dg-warning "comparison of distinct pointer types lacks a cast" } */
52 x0 < z0; /* { dg-warning "comparison of distinct pointer types lacks a cast" } */
53 x1 < z1; /* { dg-warning "comparison of distinct pointer types lacks a cast" } */
54 x2 < z2; /* { dg-warning "comparison of distinct pointer types lacks a cast" } */
55 // conditional expressions
56 (void)(1 ? x0 : z0); /* { dg-warning "pointer type mismatch in conditional expression" } */
57 (void)(1 ? x1 : z1); /* { dg-warning "pointer type mismatch in conditional expression" } */
58 (void)(1 ? x2 : z2); /* { dg-warning "pointer type mismatch in conditional expression" } */
59 }
60
61