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