From 50bc94898fac1bd9cc1dabf227208fb5d369c4c4 Mon Sep 17 00:00:00 2001 From: Jakub Jelinek Date: Fri, 23 Oct 2020 10:05:17 +0200 Subject: [PATCH] stor-layout: Reject forming arrays with elt sizes not divisible by elt alignment [PR97164] As mentioned in the PR, since 2005 we reject if array elements are smaller than their alignment (i.e. overaligned elements), because such arrays don't make much sense, only their first element is guaranteed to be aligned as user requested, but the next element can't be. The following testcases show something we've been silent about but is equally bad, the 2005 case is just the most common special case of that the array element size is not divisible by the alignment. In those arrays too only the first element is guaranteed to be properly aligned and the second one can't be. This patch rejects those cases too, but keeps the existing wording for the old common case. Unfortunately, the patch breaks bootstrap, because libbid uses this mess (forms arrays with 24 byte long elements with 16 byte element alignment). I don't really see justification for that, so I've decreased the alignment to 8 bytes instead. 2020-10-23 Jakub Jelinek PR tree-optimization/97164 gcc/ * stor-layout.c (layout_type): Also reject arrays where element size is constant, but not a multiple of element alignment. gcc/testsuite/ * c-c++-common/pr97164.c: New test. * gcc.c-torture/execute/pr36093.c: Move ... * gcc.dg/pr36093.c: ... here. Add dg-do compile and dg-error directives. * gcc.c-torture/execute/pr43783.c: Move ... * gcc.dg/pr43783.c: ... here. Add dg-do compile, dg-options and dg-error directives. libgcc/config/libbid/ * bid_functions.h (UINT192): Decrease alignment to 8 bytes. --- gcc/stor-layout.c | 17 +++++++++++++---- gcc/testsuite/c-c++-common/pr97164.c | 15 +++++++++++++++ .../{gcc.c-torture/execute => gcc.dg}/pr36093.c | 3 ++- .../{gcc.c-torture/execute => gcc.dg}/pr43783.c | 4 +++- libgcc/config/libbid/bid_functions.h | 2 +- 5 files changed, 34 insertions(+), 7 deletions(-) create mode 100644 gcc/testsuite/c-c++-common/pr97164.c rename gcc/testsuite/{gcc.c-torture/execute => gcc.dg}/pr36093.c (79%) rename gcc/testsuite/{gcc.c-torture/execute => gcc.dg}/pr43783.c (71%) diff --git a/gcc/stor-layout.c b/gcc/stor-layout.c index bde6fa22b58..dff81d1c24f 100644 --- a/gcc/stor-layout.c +++ b/gcc/stor-layout.c @@ -2579,10 +2579,19 @@ layout_type (tree type) /* If TYPE_SIZE_UNIT overflowed, then it is certainly larger than TYPE_ALIGN_UNIT. */ && !TREE_OVERFLOW (TYPE_SIZE_UNIT (element)) - && !integer_zerop (TYPE_SIZE_UNIT (element)) - && compare_tree_int (TYPE_SIZE_UNIT (element), - TYPE_ALIGN_UNIT (element)) < 0) - error ("alignment of array elements is greater than element size"); + && !integer_zerop (TYPE_SIZE_UNIT (element))) + { + if (compare_tree_int (TYPE_SIZE_UNIT (element), + TYPE_ALIGN_UNIT (element)) < 0) + error ("alignment of array elements is greater than " + "element size"); + else if (TYPE_ALIGN_UNIT (element) > 1 + && (wi::zext (wi::to_wide (TYPE_SIZE_UNIT (element)), + ffs_hwi (TYPE_ALIGN_UNIT (element)) - 1) + != 0)) + error ("size of array element is not a multiple of its " + "alignment"); + } break; } diff --git a/gcc/testsuite/c-c++-common/pr97164.c b/gcc/testsuite/c-c++-common/pr97164.c new file mode 100644 index 00000000000..8ffb9289449 --- /dev/null +++ b/gcc/testsuite/c-c++-common/pr97164.c @@ -0,0 +1,15 @@ +/* PR tree-optimization/97164 */ +/* { dg-do compile } */ + +typedef struct { int *a; char b[64]; } A __attribute__((aligned (64))); +struct B { A d[4]; } b; /* { dg-error "size of array element is not a multiple of its alignment" } */ +void foo (void); + +int * +bar (void) +{ + struct B *h = &b; + if (h->d[1].a) + foo (); + return h->d[1].a; +} diff --git a/gcc/testsuite/gcc.c-torture/execute/pr36093.c b/gcc/testsuite/gcc.dg/pr36093.c similarity index 79% rename from gcc/testsuite/gcc.c-torture/execute/pr36093.c rename to gcc/testsuite/gcc.dg/pr36093.c index dac5720fad7..84746416f1b 100644 --- a/gcc/testsuite/gcc.c-torture/execute/pr36093.c +++ b/gcc/testsuite/gcc.dg/pr36093.c @@ -1,3 +1,4 @@ +/* { dg-do compile } */ /* { dg-skip-if "small alignment" { pdp11-*-* } } */ extern void abort (void); @@ -7,7 +8,7 @@ typedef struct Bar { } Bar __attribute__((__aligned__(128))); typedef struct Foo { - Bar bar[4]; + Bar bar[4]; /* { dg-error "size of array element is not a multiple of its alignment" } */ } Foo; Foo foo[4]; diff --git a/gcc/testsuite/gcc.c-torture/execute/pr43783.c b/gcc/testsuite/gcc.dg/pr43783.c similarity index 71% rename from gcc/testsuite/gcc.c-torture/execute/pr43783.c rename to gcc/testsuite/gcc.dg/pr43783.c index 1eff2b9808c..196735b1b61 100644 --- a/gcc/testsuite/gcc.c-torture/execute/pr43783.c +++ b/gcc/testsuite/gcc.dg/pr43783.c @@ -1,3 +1,5 @@ +/* { dg-do compile } */ +/* { dg-options "" } */ /* { dg-skip-if "small alignment" { pdp11-*-* } } */ typedef __attribute__((aligned(16))) @@ -5,7 +7,7 @@ struct { unsigned long long w[3]; } UINT192; -UINT192 bid_Kx192[32]; +UINT192 bid_Kx192[32]; /* { dg-error "size of array element is not a multiple of its alignment" } */ extern void abort (void); diff --git a/libgcc/config/libbid/bid_functions.h b/libgcc/config/libbid/bid_functions.h index 05f9566e27d..d0f0cb2914e 100644 --- a/libgcc/config/libbid/bid_functions.h +++ b/libgcc/config/libbid/bid_functions.h @@ -81,7 +81,7 @@ ALIGN (16) #define SQRT80 sqrtw #endif - typedef ALIGN (16) + typedef ALIGN (8) struct { UINT64 w[3]; } UINT192; -- 2.30.2