[Bug c/108150] New: gcc.dg/attr-aligned.c fails with incorrect max alignment

["nightstrike at gmail dot com" <gcc-bugzilla@gcc.gnu.org>]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=108150

            Bug ID: 108150
           Summary: gcc.dg/attr-aligned.c fails with incorrect max
                    alignment
           Product: gcc
           Version: unknown
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c
          Assignee: unassigned at gcc dot gnu.org
          Reporter: nightstrike at gmail dot com
  Target Milestone: ---

On Windows targets, the max alignment is 8192.  However, this test winds up
assuming the max alignment is much larger, causing multiple failures. 
Specifically, the test is getting into:

#elif __powerpc64__ || __x86_64__
/* Is this processor- or operating-system specific?  */
#  define ALIGN_MAX_STATIC      ALIGN_MAX_HARD

and ALIGN_MAX_HARD is set to:

/* The maximum alignment GCC can handle.  */
#define ALIGN_MAX_HARD 0x10000000


If it fell through to:
#else
   /* Guaranteed to be accepted regardless of the target.  */
#  define ALIGN_MAX_STATIC      __BIGGEST_ALIGNMENT__

that would still be wrong, as __BIGGEST_ALIGNMENT__ is set to 16.


Another case that checks for Windows and sets it to 8192 should fix it.  The
check should cover all windows platforms, including cygwin and msys. 
Technically, msys defines both __MSYS__ and __CYGWIN__, so testing for
__CYGWIN__ || __MINGW32__ || __MINGW64__ would cover all bases.  Alternatively,
and potentially easier, __WINT_MAX__ is defined on all targets, so you could
just test for that.


Someone will likely want to do it perhaps in a more sophisticated way, or be
more obvious about the macros being tested if WINT_MAX is an obscure choice, or
some other reason.  However, the following change works:

diff --git a/gcc/testsuite/gcc.dg/attr-aligned.c
b/gcc/testsuite/gcc.dg/attr-aligned.c
index a2e11c96180..a56973c99b4 100644
--- a/gcc/testsuite/gcc.dg/attr-aligned.c
+++ b/gcc/testsuite/gcc.dg/attr-aligned.c
@@ -22,6 +22,9 @@
 #  define ALIGN_MAX_STATIC      2
 /* Work around a pdp11 ICE (see PR target/87821).  */
 #  define ALIGN_MAX_AUTO        (ALIGN_MAX_HARD >> 14)
+#elif __WINT_MAX__
+#  define ALIGN_MAX_STATIC      8192
+#  define ALIGN_MAX_AUTO        8192
 #elif __powerpc64__ || __x86_64__
 /* Is this processor- or operating-system specific?  */
 #  define ALIGN_MAX_STATIC      ALIGN_MAX_HARD


For reference, these are the excess errors:
gcc/testsuite/gcc.dg/attr-aligned.c:65:1: error: requested alignment
'268435456' exceeds object file maximum 8192
gcc/testsuite/gcc.dg/attr-aligned.c:66:1: error: requested alignment
'268435456' exceeds object file maximum 8192
gcc/testsuite/gcc.dg/attr-aligned.c:67:1: error: requested alignment
'268435456' exceeds object file maximum 8192
gcc/testsuite/gcc.dg/attr-aligned.c:68:1: error: requested alignment
'268435456' exceeds object file maximum 8192
gcc/testsuite/gcc.dg/attr-aligned.c:70:1: error: static assertion failed
gcc/testsuite/gcc.dg/attr-aligned.c:71:1: error: static assertion failed
gcc/testsuite/gcc.dg/attr-aligned.c:72:1: error: static assertion failed
gcc/testsuite/gcc.dg/attr-aligned.c:73:1: error: static assertion failed
gcc/testsuite/gcc.dg/attr-aligned.c:61:22: error: alignment of 't_max' is
greater than maximum object file alignment 8192
gcc/testsuite/gcc.dg/attr-aligned.c:78:47: error: alignment of 'alignas_sc_max'
is greater than maximum object file alignment 8192
gcc/testsuite/gcc.dg/attr-aligned.c:79:40: error: alignment of 'alignas_c_max'
is greater than maximum object file alignment 8192
gcc/testsuite/gcc.dg/attr-aligned.c:80:34: error: alignment of 'alignas_v_max'
is greater than maximum object file alignment 8192
gcc/testsuite/gcc.dg/attr-aligned.c:99:31: error: alignment of 'aligned_st_max'
is greater than maximum object file alignment 8192