| /* PR middle-end/79538 - missing -Wformat-overflow with %s and non-member array arguments |
| { dg-do compile } |
| { dg-options "-O2 -Wformat-overflow" } */ |
| |
| char a3[3]; |
| char a4[4]; |
| char d[3]; |
| |
| void g (int i) |
| { |
| const char *s = i < 0 ? a3 : a4; |
| __builtin_sprintf (d, "%s", s); /* { dg-warning ".__builtin_sprintf. may write a terminating nul past the end of the destination" } */ |
| return; |
| } |
| |
| void f () |
| { |
| char des[3]; |
| char src[] = "abcd"; |
| __builtin_sprintf (des, "%s", src); /* { dg-warning "directive writing 4 bytes into a region of size 3" } */ |
| return; |
| } |
