mirror/gcc
2
0
Fork 0
mirror of git://gcc.gnu.org/git/gcc.git synced 2025-04-05 16:41:02 +08:00
Code Issues Packages Projects Releases Wiki Activity

PR middle-end/92323 - bogus -Warray-bounds after unrolling despite __builtin_unreachable

Browse Source 
gcc/testsuite/ChangeLog:
	* gcc.dg/Warray-bounds-57.c: New test.
This commit is contained in:
Martin Sebor 2020-01-30 08:46:23 -07:00
parent bba18325a1
commit 97b40c3920
2 changed files with 58 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

5
gcc/testsuite/ChangeLog
View File

@ -1,3 +1,8 @@
2020-01-30 Martin Sebor <msebor@redhat.com>
PR middle-end/92323
* gcc.dg/Warray-bounds-57.c: New test.
2020-01-30 David Malcolm <dmalcolm@redhat.com>
PR analyzer/93450

53
gcc/testsuite/gcc.dg/Warray-bounds-57.c Normal file
View File

@ -0,0 +1,53 @@
/* PR middle-end/92323 - bogus -Warray-bounds after unrolling despite
__builtin_unreachable
{ dg-do compile }
{ dg-options "-O2 -Wall" } */
struct S { int a[5]; } s;
void sink (void*);
#pragma GCC optimize "2"
void f_O2 (unsigned n, struct S *p)
{
for (unsigned i = 1; i < n - 1; ++i)
s.a[i - 1] = p->a[i]; // { dg-bogus "\\\[-Warray-bounds" }
if (n < 4 || n > 5)
__builtin_unreachable ();
}
void g_O2 (unsigned n, struct S *p)
{
if (n < 4 || n > 5)
__builtin_unreachable ();
for (unsigned i = 1; i < n - 1; ++i)
s.a[i - 1] = p->a[i];
}
// Also exercise -O3 with loop unrolling for good measure.
#pragma GCC optimize "3"
struct T { int a[6]; } t;
void f_O3 (unsigned n, struct T *p)
{
for (unsigned i = 1; i < n - 1; ++i)
t.a[i - 1] = p->a[i]; // { dg-bogus "\\\[-Warray-bounds" }
if (n < 5 || n > 6)
__builtin_unreachable ();
}
void g_O3 (unsigned n, struct T *p)
{
if (n < 5 || n > 6)
__builtin_unreachable ();
for (unsigned i = 1; i < n - 1; ++i)
s.a[i - 1] = p->a[i];
}