2 /* { dg-require-effective-target lp64 } */
4 extern void __attribute__ ((noreturn
)) abort (void);
6 int __attribute__ ((noinline
, noclone
))
7 foo (unsigned long addr
) {
8 unsigned long *p
= (unsigned long*)((addr
& 0xffff83fffffffff8UL
) * 4);
9 unsigned long xxx
= (unsigned long)(p
+ 1);
10 return xxx
>= 0x3c000000000UL
;
18 if (foo (0x7c0000000000UL
))
20 if (!foo (0xfc0000000000UL
))