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" } */