From 599780d601abd0e67814a07d9574cc00f227ea5e Mon Sep 17 00:00:00 2001 From: Martin Sebor Date: Thu, 25 Jul 2019 19:39:04 +0000 Subject: [PATCH] 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 --- gcc/testsuite/ChangeLog | 1 + gcc/testsuite/gcc.dg/Wstringop-overflow-14.c | 9 ++++++++- 2 files changed, 9 insertions(+), 1 deletion(-) 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" } } -- 2.30.2