1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
|
/* Test of alignasof module.
Copyright 2009-2023 Free Software Foundation, Inc.
This program is free software: you can redistribute it and/or modify
it under the terms of the GNU General Public License as published by
the Free Software Foundation, either version 3 of the License, or
(at your option) any later version.
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
You should have received a copy of the GNU General Public License
along with this program. If not, see <https://www.gnu.org/licenses/>. */
/* Written by Paul Eggert, inspired by Bruno Haible's test-alignof.c. */
#include <config.h>
#include <stddef.h>
#include <stdint.h>
#include "macros.h"
typedef long double longdouble;
typedef struct { char a[1]; } struct1;
typedef struct { char a[2]; } struct2;
typedef struct { char a[3]; } struct3;
typedef struct { char a[4]; } struct4;
#if (202311 <= __STDC_VERSION__ || __alignas_is_defined \
|| 201103 <= __cplusplus)
/* mingw can go up only to 8. 8 is all that GNU Emacs needs, so let's
limit the test to 8 for now. */
# define TEST_ALIGNMENT 8
#else
# undef alignas
# define alignas(alignment)
# define TEST_ALIGNMENT 1
#endif
#define CHECK_STATIC(type) \
typedef struct { char slot1; type slot2; } type##_helper; \
static_assert (alignof (type) == offsetof (type##_helper, slot2)); \
const int type##_alignment = alignof (type); \
type alignas (TEST_ALIGNMENT) static_##type##_alignas
#define CHECK_ALIGNED(var) ASSERT ((uintptr_t) &(var) % TEST_ALIGNMENT == 0)
CHECK_STATIC (char);
CHECK_STATIC (short);
CHECK_STATIC (int);
CHECK_STATIC (long);
#ifdef INT64_MAX
CHECK_STATIC (int64_t);
#endif
CHECK_STATIC (float);
CHECK_STATIC (double);
/* CHECK_STATIC (longdouble); */
CHECK_STATIC (struct1);
CHECK_STATIC (struct2);
CHECK_STATIC (struct3);
CHECK_STATIC (struct4);
int
main ()
{
#if defined __SUNPRO_C && __SUNPRO_C < 0x5150
/* Avoid a test failure due to Sun Studio Developer Bug Report #2125432. */
fputs ("Skipping test: known Sun C compiler bug\n", stderr);
return 77;
#elif defined __HP_cc && __ia64
/* Avoid a test failure due to HP-UX Itanium cc bug; see:
https://lists.gnu.org/r/bug-gnulib/2017-03/msg00078.html */
fputs ("Skipping test: known HP-UX Itanium cc compiler bug\n", stderr);
return 77;
#elif defined __clang__ && defined __ibmxl__
/* Avoid a test failure with IBM xlc 16.1. It ignores alignas (8),
_Alignas (8), and __attribute__ ((__aligned__ (8))). */
fputs ("Skipping test: known AIX XL C compiler deficiency\n", stderr);
return 77;
#else
CHECK_ALIGNED (static_char_alignas);
CHECK_ALIGNED (static_short_alignas);
CHECK_ALIGNED (static_int_alignas);
CHECK_ALIGNED (static_long_alignas);
# ifdef INT64_MAX
CHECK_ALIGNED (static_int64_t_alignas);
# endif
CHECK_ALIGNED (static_float_alignas);
CHECK_ALIGNED (static_double_alignas);
/* CHECK_ALIGNED (static_longdouble_alignas); */
CHECK_ALIGNED (static_struct1_alignas);
CHECK_ALIGNED (static_struct2_alignas);
CHECK_ALIGNED (static_struct3_alignas);
CHECK_ALIGNED (static_struct4_alignas);
return 0;
#endif
}
|
