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]);