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