PR middle-end/81401 - false positive -Wformat-overflow in a loop

gcc/testsuite/ChangeLog:
	* gcc.dg/tree-ssa/builtin-sprintf-warn-24.c: New test.
This commit is contained in:
Martin Sebor 2020-03-04 10:23:49 -07:00
parent 97bd1d6b51
commit 3ca63e1c76
2 changed files with 27 additions and 0 deletions

View File

@ -1,3 +1,8 @@
2020-03-04 Martin Sebor <msebor@redhat.com>
PR middle-end/81401
* gcc.dg/tree-ssa/builtin-sprintf-warn-24.c: New test.
2020-03-04 Will Schmidt <will_schmidt@vnet.ibm.com>
* gcc.target/powerpc/20050603-3.c: Remove XFAILS.

View File

@ -0,0 +1,22 @@
/* PR middle-end/81401 - false positive -Wformat-overflow in a loop
{ dg-do compile }
{ dg-options "-O2 -Wall -Wformat-overflow" } */
char a[3];
void f (void)
{
int i, i0 = 0x00;
for (i = i0; i <= 0xff; ++i)
__builtin_sprintf (a, "%02x", i); // { dg-bogus "\\\[-Wformat-overflow" }
}
char b[2];
void g (void)
{
int i;
for (i = 0; i < 10; ++i)
__builtin_sprintf (b, "%d", i); // { dg-bogus "\\\[-Wformat-overflow" }
}