1  /* PR c/37743 */
       2  /* This needs to be run only on targets where __UINT32_TYPE__ is defined
       3     to unsigned int.  */
       4  /* { dg-do compile { target *-*-linux-gnu* } } */
       5  /* { dg-options "-Wformat" } */
       6  
       7  int foo (const char *, ...) __attribute__ ((format (printf, 1, 2)));
       8  
       9  void
      10  bar (unsigned int x)
      11  {
      12    foo ("%x", __builtin_bswap32 (x));
      13  }