1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16
/* { dg-do run { target { stdint_types } } } */ #include <stdint.h> extern void abort(void); int32_t bar (int32_t a) { return ((uint32_t) ((a) >> 2)) >> 15; } int main() { if (bar (0xffff3000) != 0x1ffff) abort (); return 0; }