Wrestrict.c (test_strcpy_range): Bump string size of one test and add dg-warning...

	* c-c++-common/Wrestrict.c (test_strcpy_range): Bump string size of one
	test and add dg-warning for the -Wstringop-overflow warning.

From-SVN: r256764

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index cead046389a26522490b68c000c3c794d5c7f9d5..a6933d29b96e24c08bd43161238924b3486e95f8 100644 (file)
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -1,3 +1,8 @@
+2018-01-16  Eric Botcazou  <ebotcazou@adacore.com>
+
+       * c-c++-common/Wrestrict.c (test_strcpy_range): Bump string size of one
+       test and add dg-warning for the -Wstringop-overflow warning.
+
 2018-01-16  Eric Botcazou  <ebotcazou@adacore.com>
 
        * c-c++-common/Warray-bounds-4.c (test_strcpy_bounds_memarray_range):

diff --git a/gcc/testsuite/c-c++-common/Wrestrict.c b/gcc/testsuite/c-c++-common/Wrestrict.c
index 671497ea3e631e992d28b4eb6eb993b1eca72794..5fcbbfd169a4d5bf9143e33bb245bbde50f77d7c 100644 (file)
--- a/gcc/testsuite/c-c++-common/Wrestrict.c
+++ b/gcc/testsuite/c-c++-common/Wrestrict.c
@@ -758,7 +758,8 @@ void test_strcpy_range (void)
   T (8, "012", a + r, a);            /* { dg-warning "accessing 4 bytes at offsets \\\[3, \[0-9\]+] and 0 may overlap 1 byte at offset 3" "strcpy" } */
 
   r = SR (DIFF_MAX - 2, DIFF_MAX - 1);
-  T (8, "012", a + r, a);            /* { dg-warning "accessing 4 bytes at offsets \\\[\[0-9\]+, \[0-9\]+] and 0 overlaps" "strcpy" } */
+  T (8, "0123", a + r, a);            /* { dg-warning "accessing 5 bytes at offsets \\\[\[0-9\]+, \[0-9\]+] and 0 overlaps" "strcpy" } */
+                                      /* { dg-warning "writing 5 bytes into a region of size 0 overflows" "memcpy" { target *-*-* } .-1 } */
 
   /* Exercise the full range of ptrdiff_t.  */
   r = signed_value ();