1 /* { dg-options "-O2" } */ 2 /* { dg-do run } */ 3 4 static const long long int TagTypeNumber = 0xffff000000000000ll; 5 6 long long int x; 7 foo(void)8void foo(void) 9 { 10 x = TagTypeNumber + 1; 11 } 12 main(int argc,char ** argv)13int main(int argc, char **argv) 14 { 15 if (argc > 0) 16 foo (); 17 18 if ((x & TagTypeNumber) == TagTypeNumber) 19 { 20 unsigned y = (unsigned)x; 21 __builtin_printf ("v: %u\n", y); 22 if (y != 1) 23 __builtin_abort (); 24 } 25 26 return 0; 27 } 28