1 /* { dg-options "-O2" } */
4 static const long long int TagTypeNumber
= 0xffff000000000000ll
;
10 x
= TagTypeNumber
+ 1;
13 int main(int argc
, char **argv
)
18 if ((x
& TagTypeNumber
) == TagTypeNumber
)
20 unsigned y
= (unsigned)x
;
21 __builtin_printf ("v: %u\n", y
);