gcc/testsuite/gcc.dg/pr82123.c

   1 /* { dg-do compile } */
   2 /* { dg-options "-O2 -Wformat-overflow=1" } */
   3
   4 void acpi_gpiochip_request_interrupt(unsigned short s)
   5 {
   6         char name[3];
   7         unsigned int pin = s;
   8
   9         if (pin <= 255)
  10                 __builtin_sprintf(name, "%02X", pin);
  11 }
  12