PR 87756 - missing unterminated argument warning using address of a constant character

PR 87756 - missing unterminated argument warning using address of a constant character
PR 88211 - missing warning on printf %ls and unterminated wide member array
PR 88226 - missing warning on fprintf, fputs, and puts with an unterminated array

gcc/ChangeLog:

	* gcc.dg/tree-ssa/builtin-fprintf-warn-1.c: Update/remove xfails.
	* gcc.dg/tree-ssa/builtin-printf-warn-1.c: Same.
	* gcc.dg/tree-ssa/user-printf-warn-1.c: Same.

From-SVN: r266522

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index 00a063ddeb531c60437f112a8f4c9810e0bfb832..d8eff4002857abab1c3df2a409a522aa42d41551 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,12 @@
+2018-11-27  Martin Sebor  <msebor@redhat.com>
+
+       PR 87756
+       PR 88211
+       PR 88226
+       * gcc.dg/tree-ssa/builtin-fprintf-warn-1.c: Update/remove xfails.
+       * gcc.dg/tree-ssa/builtin-printf-warn-1.c: Same.
+       * gcc.dg/tree-ssa/user-printf-warn-1.c: Same.
+
 2018-11-27  Mike Gulick  <mgulick@mathworks.com>
 
        PR preprocessor/83173

diff --git a/gcc/testsuite/gcc.dg/tree-ssa/builtin-fprintf-warn-1.c b/gcc/testsuite/gcc.dg/tree-ssa/builtin-fprintf-warn-1.c
index 5e193d6854ada3f35dcc21df1bd23e7dd3b94787..690404ade99bb0ce74fea0c81fef0e07a16a186d 100644 (file)
--- a/gcc/testsuite/gcc.dg/tree-ssa/builtin-fprintf-warn-1.c
+++ b/gcc/testsuite/gcc.dg/tree-ssa/builtin-fprintf-warn-1.c
@@ -84,8 +84,8 @@ void test_fprintf_s_const (int width)
   if (nulptr)
     T ("%s", nulptr);
 
-  T ("%s", &chr_no_nul);          /* { dg-warning ".%s. directive argument is not a nul-terminated string" "pr87756" { xfail *-*-* } } */
-  T ("%s", arr_no_nul);           /* { dg-warning ".%s. directive argument is not a nul-terminated string" "pr87756" { xfail *-*-* } } */
+  T ("%s", &chr_no_nul);          /* { dg-warning ".%s. directive argument is not a nul-terminated string" "pr88226" { xfail *-*-* } } */
+  T ("%s", arr_no_nul);           /* { dg-warning ".%s. directive argument is not a nul-terminated string" "pr88226" { xfail *-*-* } } */
 
   /* Verify that output in excess of INT_MAX bytes is diagnosed even
      when the size of the destination object is unknown.  */
@@ -116,8 +116,8 @@ void test_fprintf_ls_const (int width)
   if (nulptr)
     T ("%ls", nulptr);
 
-  T ("%ls", &wchr_no_nul);        /* { dg-warning ".%ls. directive argument is not a nul-terminated string" "pr87756" { xfail *-*-* } } */
-  T ("%ls", warr_no_nul);         /* { dg-warning ".%ls. directive argument is not a nul-terminated string" "pr87756" { xfail *-*-* } } */
+  T ("%ls", &wchr_no_nul);        /* { dg-warning ".%ls. directive argument is not a nul-terminated string" } */
+  T ("%ls", warr_no_nul);         /* { dg-warning ".%ls. directive argument is not a nul-terminated string" "pr88211" { xfail *-*-* } } */
 
   /* Verify that output in excess of INT_MAX bytes is diagnosed even
      when the size of the destination object is unknown.  */

diff --git a/gcc/testsuite/gcc.dg/tree-ssa/builtin-printf-warn-1.c b/gcc/testsuite/gcc.dg/tree-ssa/builtin-printf-warn-1.c
index 31a5bd3e9b075b3e37ae8409228dce4b6011998e..87ef66025822d3daf60a5e6defadbff2ea865e7b 100644 (file)
--- a/gcc/testsuite/gcc.dg/tree-ssa/builtin-printf-warn-1.c
+++ b/gcc/testsuite/gcc.dg/tree-ssa/builtin-printf-warn-1.c
@@ -81,7 +81,7 @@ void test_printf_s_const (int width)
   if (nulptr)
     T ("%s", nulptr);
 
-  T ("%s", &chr_no_nul);          /* { dg-warning ".%s. directive argument is not a nul-terminated string" "pr87756" { xfail *-*-* } } */
+  T ("%s", &chr_no_nul);          /* { dg-warning ".%s. directive argument is not a nul-terminated string" } */
   T ("%s", arr_no_nul);           /* { dg-warning ".%s. directive argument is not a nul-terminated string" } */
 
   /* Verify that output in excess of INT_MAX bytes is diagnosed even
@@ -113,8 +113,8 @@ void test_printf_ls_const (int width)
   if (nulptr)
     T ("%ls", nulptr);
 
-  T ("%ls", &wchr_no_nul);        /* { dg-warning ".%ls. directive argument is not a nul-terminated string" "pr87756" { xfail *-*-* } } */
-  T ("%ls", warr_no_nul);         /* { dg-warning ".%ls. directive argument is not a nul-terminated string" "pr87756" { xfail *-*-* } } */
+  T ("%ls", &wchr_no_nul);        /* { dg-warning ".%ls. directive argument is not a nul-terminated string" } */
+  T ("%ls", warr_no_nul);         /* { dg-warning ".%ls. directive argument is not a nul-terminated string" "pr88211" { xfail *-*-* } } */
 
   /* Verify that output in excess of INT_MAX bytes is diagnosed even
      when the size of the destination object is unknown.  */

diff --git a/gcc/testsuite/gcc.dg/tree-ssa/user-printf-warn-1.c b/gcc/testsuite/gcc.dg/tree-ssa/user-printf-warn-1.c
index 4788b02025fa04ca401978ae570a49689d678f86..1896e1c64890a34a50df1b538361a8295e81321e 100644 (file)
--- a/gcc/testsuite/gcc.dg/tree-ssa/user-printf-warn-1.c
+++ b/gcc/testsuite/gcc.dg/tree-ssa/user-printf-warn-1.c
@@ -107,7 +107,7 @@ void test_user_print_s_const (int width)
   if (null)
     T ("%s", null);
 
-  T ("%s", &chr_no_nul);          /* { dg-warning ".%s. directive argument is not a nul-terminated string" "pr87756" { xfail *-*-* } } */
+  T ("%s", &chr_no_nul);          /* { dg-warning ".%s. directive argument is not a nul-terminated string" } */
   T ("%s", arr_no_nul);           /* { dg-warning ".%s. directive argument is not a nul-terminated string" } */
 
   /* Verify that output in excess of INT_MAX bytes is diagnosed even
@@ -139,8 +139,8 @@ void test_user_print_ls_const (int width)
   if (null)
     T ("%ls", null);
 
-  T ("%ls", &wchr_no_nul);        /* { dg-warning ".%ls. directive argument is not a nul-terminated string" "pr87756" { xfail *-*-* } } */
-  T ("%ls", warr_no_nul);         /* { dg-warning ".%ls. directive argument is not a nul-terminated string" "pr87756" { xfail *-*-* } } */
+  T ("%ls", &wchr_no_nul);        /* { dg-warning ".%ls. directive argument is not a nul-terminated string" } */
+  T ("%ls", warr_no_nul);         /* { dg-warning ".%ls. directive argument is not a nul-terminated string" "pr88211" { xfail *-*-* } } */
 
   /* Verify that output in excess of INT_MAX bytes is diagnosed even
      when the size of the destination object is unknown.  */