From 88000fd1dcfa85b7909ffa3cc40a18c577f26e25 Mon Sep 17 00:00:00 2001
From: Martin Sebor <msebor@redhat.com>
Date: Wed, 28 Sep 2016 19:51:08 +0000
Subject: [PATCH] PR middle-end/77721 - -Wformat-length not uses arg range for
converted vars
gcc/testsuite/ChangeLog:
PR middle-end/77721
* gcc.dg/tree-ssa/builtin-sprintf-warn-6.c: New test.
From-SVN: r240595
---
gcc/testsuite/ChangeLog | 5 +
.../gcc.dg/tree-ssa/builtin-sprintf-warn-6.c | 92 +++++++++++++++++++
2 files changed, 97 insertions(+)
create mode 100644 gcc/testsuite/gcc.dg/tree-ssa/builtin-sprintf-warn-6.c
diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index f1a8803cda6a..ca1ded4b17b1 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2016-09-28 Martin Sebor <msebor@redhat.com>
+
+ PR middle-end/77721
+ * gcc.dg/tree-ssa/builtin-sprintf-warn-6.c: New test.
+
2016-09-28 Jerry DeLisle <jvdelisle@gcc.gnu.org>
PR libgfortran/77707
diff --git a/gcc/testsuite/gcc.dg/tree-ssa/builtin-sprintf-warn-6.c b/gcc/testsuite/gcc.dg/tree-ssa/builtin-sprintf-warn-6.c
new file mode 100644
index 000000000000..1a9df982d718
--- /dev/null
+++ b/gcc/testsuite/gcc.dg/tree-ssa/builtin-sprintf-warn-6.c
@@ -0,0 +1,92 @@
+/* PR middle-end/77721 - -Wformat-length not uses arg range for converted vars
+ Test to verify that the correct range information is made available to the
+ -Wformat-lenght check to prevent warnings. */
+/* { dg-do compile } */
+/* { dg-options "-O2 -Wformat -Wformat-length" } */
+
+int snprintf (char*, __SIZE_TYPE__, const char*, ...);
+
+void fuchar (unsigned char j, char *p)
+{
+ if (j > 99)
+ return;
+ snprintf (p, 4, "%3hu", j);
+}
+
+void fschar (signed char j, char *p)
+{
+ const unsigned char k = (unsigned char) j;
+
+ if (k > 99)
+ return;
+
+ snprintf (p, 3, "%3hhu", k); /* { dg-bogus "" "unsigned char" { xfail *-*-* } } */
+}
+
+void fushrt (unsigned short j, char *p)
+{
+ if (j > 999)
+ return;
+ snprintf (p, 4, "%3hu", j);
+}
+
+void fshrt (short j, char *p)
+{
+ const unsigned short k = (unsigned short) j;
+
+ if (k > 999)
+ return;
+
+ snprintf (p, 4, "%3hu", k);
+}
+
+void fuint (unsigned j, char *p)
+{
+ if (j > 999)
+ return;
+ snprintf (p, 4, "%3u", j);
+}
+
+void fint (int j, char *p)
+{
+ const unsigned k = (unsigned) j;
+
+ if (k > 999)
+ return;
+
+ snprintf (p, 4, "%3u", k); /* { dg-bogus "" "unsigned int" { xfail *-*-* } } */
+}
+
+void fulong (unsigned long j, char *p)
+{
+ if (j > 999)
+ return;
+ snprintf (p, 4, "%3lu", j);
+}
+
+void flong (long j, char *p)
+{
+ const unsigned long k = (unsigned long) j;
+
+ if (k > 999)
+ return;
+
+ snprintf (p, 4, "%3lu", k); /* { dg-bogus "" "unsigned long" { xfail *-*-* } } */
+}
+
+void fullong (unsigned long long j, char *p)
+{
+ if (j > 999)
+ return;
+ snprintf (p, 4, "%3llu", j);
+}
+
+void fllong (long j, char *p)
+{
+ const unsigned long long k = (unsigned long long) j;
+
+ if (k > 999)
+ return;
+
+ snprintf (p, 4, "%3llu", k); /* { dg-bogus "" "unsigned long long" { xfail *-*-* } } */
+}
--
GitLab