1 /* 0x70000000 is too large a constant to become a pointer on
3 /* { dg-do assemble } */
4 /* { dg-xfail-if "" { xstormy16-*-* } { "*" } { "" } } */
12 *p = 0x0000000070000000L;
15 unsigned int *addr = (unsigned int *)0x70000000;
16 printf("%d, %d\n", addr[1], addr[0]);