2 /* { dg-do compile } */
3 /* { dg-options "-Wall" } */
5 typedef int T __attribute__((may_alias));
6 typedef unsigned int U __attribute__((may_alias));
11 T *a = (int *) p; /* { dg-warning "initialization from incompatible pointer type" } */
12 int *b = (T *) p; /* { dg-warning "initialization from incompatible pointer type" } */
13 U *c = (unsigned int *) p; /* { dg-warning "initialization from incompatible pointer type" } */
14 unsigned int *d = (U *) p; /* { dg-warning "initialization from incompatible pointer type" } */