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