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