1 /* Test of <stddef.h> substitute.
2 Copyright (C) 2009-2018 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
main(void)74 main (void)
75 {
76 return 0;
77 }
78