blob: 021c54e60b1057d86f688fb299f6becb03e965b8 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
|
/* PR c/39464 */
/* { dg-do compile } */
/* { dg-options "-Wall" } */
typedef int T __attribute__((may_alias));
typedef unsigned int U __attribute__((may_alias));
void
foo (void *p)
{
T *a = (int *) p; /* { dg-bogus "initialization from incompatible pointer type" } */
int *b = (T *) p; /* { dg-bogus "initialization from incompatible pointer type" } */
U *c = (unsigned int *) p; /* { dg-bogus "initialization from incompatible pointer type" } */
unsigned int *d = (U *) p; /* { dg-bogus "initialization from incompatible pointer type" } */
(void) a;
(void) b;
(void) c;
(void) d;
}
|