From: Martin Sebor <msebor@redhat.com>
Date: Thu, 25 Jul 2019 19:39:04 +0000 (+0000)
Subject: Wstringop-overflow-14.c: Disable for stricly aligned targets.
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=599780d601abd0e67814a07d9574cc00f227ea5e;p=gcc.git

Wstringop-overflow-14.c: Disable for stricly aligned targets.

gcc/testsuite/ChangeLog:
	* gcc.dg/Wstringop-overflow-14.c: Disable for stricly aligned targets.

From-SVN: r273814
---

diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog
index b395a9afff1..f1f1cbe37e6 100644
--- a/gcc/testsuite/ChangeLog
+++ b/gcc/testsuite/ChangeLog
@@ -2,6 +2,7 @@
 
 	PR tree-optimization/91183
 	PR tree-optimization/86688
+	* gcc.dg/Wstringop-overflow-14.c: Disable for stricly aligned targets.
 	* gcc.dg/strlenopt-70.c: Fix bugs.
 	* gcc.dg/strlenopt-71.c: Same.
 	* gcc.dg/strlenopt-72.c: Same.
diff --git a/gcc/testsuite/gcc.dg/Wstringop-overflow-14.c b/gcc/testsuite/gcc.dg/Wstringop-overflow-14.c
index d23a248446b..d6201b068b6 100644
--- a/gcc/testsuite/gcc.dg/Wstringop-overflow-14.c
+++ b/gcc/testsuite/gcc.dg/Wstringop-overflow-14.c
@@ -2,7 +2,7 @@
    types than char are diagnosed.
    { dg-do compile }
    { dg-require-effective-target int32plus }
-   { dg-options "-O2 -Wall" } */
+   { dg-options "-O2 -Wall -Wno-array-bounds" } */
 
 typedef __INT16_TYPE__  int16_t;
 typedef __INT32_TYPE__  int32_t;
@@ -21,6 +21,13 @@ void test_memcpy_cond (int i)
 {
   char *p = a4 + 1;
   const char *q = i ? s4 : t4;
+  // On strictly aligned target the call below is left unchanged and
+  // triggers (inaccurately) a -Warray-bounds.  The test suppresses
+  // the warning above, which then lets -Wstringop-overrflow detect
+  // the overflow just before expansion.
+  // On other targets it's transformed into a store of a 4-byte integer
+  // which is detected by -Wstringop-overrflow in the strlen pass (i.e.,
+  // before it gets to expansion).
   memcpy (p, q, 4);         // { dg-warning "writing 4 bytes into a region of size 3" }
 }