1  /* { dg-do compile } */
       2  
       3  typedef __INT16_TYPE__ int16_t;
       4  typedef __INT32_TYPE__ int32_t;
       5  
       6  static inline int32_t bar (int16_t x, int16_t y)
       7  {
       8    return x * y;
       9  }
      10  
      11  void foo (int16_t i, int16_t *p, int16_t x)
      12  {
      13    while (i--)
      14      {
      15        *p = bar (*p, x) >> 15;
      16        p++;
      17        *p = bar (*p, x) >> 15;
      18        p++;
      19      }
      20  }