Line data Source code
1 : /* Test of <stddef.h> substitute.
2 : Copyright (C) 2009-2020 Free Software Foundation, Inc.
3 :
4 : This program is free software: you can redistribute it and/or modify
5 : it under the terms of the GNU General Public License as published by
6 : the Free Software Foundation; either version 3 of the License, or
7 : (at your option) any later version.
8 :
9 : This program is distributed in the hope that it will be useful,
10 : but WITHOUT ANY WARRANTY; without even the implied warranty of
11 : MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
12 : GNU General Public License for more details.
13 :
14 : You should have received a copy of the GNU General Public License
15 : along with this program. If not, see <https://www.gnu.org/licenses/>. */
16 :
17 : /* Written by Eric Blake <ebb9@byu.net>, 2009. */
18 :
19 : #include <config.h>
20 :
21 : #include <stddef.h>
22 : #include <limits.h>
23 : #include <stdalign.h>
24 : #include "verify.h"
25 :
26 : /* Check that appropriate types are defined. */
27 : wchar_t a = 'c';
28 : ptrdiff_t b = 1;
29 : size_t c = 2;
30 : max_align_t x;
31 :
32 : /* Check that NULL can be passed through varargs as a pointer type,
33 : per POSIX 2008. */
34 : verify (sizeof NULL == sizeof (void *));
35 :
36 : /* Check that offsetof produces integer constants with correct type. */
37 : struct d
38 : {
39 : char e;
40 : char f;
41 : };
42 : /* Solaris 10 has a bug where offsetof is under-parenthesized, and
43 : cannot be used as an arbitrary expression. However, since it is
44 : unlikely to bite real code, we ignore that short-coming. */
45 : /* verify (sizeof offsetof (struct d, e) == sizeof (size_t)); */
46 : verify (sizeof (offsetof (struct d, e)) == sizeof (size_t));
47 : verify (offsetof (struct d, f) == 1);
48 :
49 : /* offsetof promotes to an unsigned integer if and only if sizes do
50 : not fit in int. */
51 : verify ((offsetof (struct d, e) < -1) == (INT_MAX < (size_t) -1));
52 :
53 : /* Check max_align_t's alignment. */
54 : verify (alignof (double) <= alignof (max_align_t));
55 : verify (alignof (int) <= alignof (max_align_t));
56 : verify (alignof (long double) <= alignof (max_align_t));
57 : verify (alignof (long int) <= alignof (max_align_t));
58 : verify (alignof (ptrdiff_t) <= alignof (max_align_t));
59 : verify (alignof (size_t) <= alignof (max_align_t));
60 : verify (alignof (wchar_t) <= alignof (max_align_t));
61 : verify (alignof (struct d) <= alignof (max_align_t));
62 : #if defined __GNUC__ || defined __IBM__ALIGNOF__
63 : verify (__alignof__ (double) <= __alignof__ (max_align_t));
64 : verify (__alignof__ (int) <= __alignof__ (max_align_t));
65 : verify (__alignof__ (long double) <= __alignof__ (max_align_t));
66 : verify (__alignof__ (long int) <= __alignof__ (max_align_t));
67 : verify (__alignof__ (ptrdiff_t) <= __alignof__ (max_align_t));
68 : verify (__alignof__ (size_t) <= __alignof__ (max_align_t));
69 : verify (__alignof__ (wchar_t) <= __alignof__ (max_align_t));
70 : verify (__alignof__ (struct d) <= __alignof__ (max_align_t));
71 : #endif
72 :
73 : int
74 1 : main (void)
75 : {
76 1 : return 0;
77 : }
|