1 /* { dg-do compile } */
2 /* { dg-options "-O2 -Wformat-overflow=1" } */
3 
acpi_gpiochip_request_interrupt(unsigned short s)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 
13