aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--gcc/testsuite/ChangeLog5
-rw-r--r--gcc/testsuite/gcc.dg/tree-ssa/builtin-sprintf-warn-24.c22
2 files changed, 27 insertions, 0 deletions
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 83882d2..b28eb52 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -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.
diff --git a/gcc/testsuite/gcc.dg/tree-ssa/builtin-sprintf-warn-24.c b/gcc/testsuite/gcc.dg/tree-ssa/builtin-sprintf-warn-24.c
new file mode 100644
index 0000000..d910978
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/tree-ssa/builtin-sprintf-warn-24.c
@@ -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" }
+}