tests/test-stddef.c

   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 __clang__ || 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 main (void)
  75 {
  76   return 0;
  77 }