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