clang/test/Headers/limits.cpp

   1 // RUN: %clang_cc1 -ffreestanding -fsyntax-only -verify %s
   2 // RUN: %clang_cc1 -fno-signed-char -ffreestanding -fsyntax-only -verify %s
   3 // RUN: %clang_cc1 -std=c++11 -ffreestanding -fsyntax-only -verify %s
   4 // RUN: %clang_cc1 -std=c17 -ffreestanding -fsyntax-only -verify -x c %s
   5 // RUN: %clang_cc1 -std=c2x -ffreestanding -fsyntax-only -verify -x c %s
   6
   7 // Specifically test arm64 linux platforms.
   8 // RUN: %clang_cc1 -triple arm64-linux -ffreestanding -fsyntax-only -verify -x c %s
   9
  10 // Specifically test 16-bit int platforms.
  11 // RUN: %clang_cc1 -triple=avr -ffreestanding -fsyntax-only -verify -x c %s
  12 // RUN: %clang_cc1 -triple=avr -std=c++11 -ffreestanding -fsyntax-only -verify %s
  13
  14 // expected-no-diagnostics
  15
  16 #include <limits.h>
  17
  18 #if __cplusplus
  19 #define EXPR_TYPE_IS(EXPR, TYP) __is_same(__typeof(EXPR), TYP)
  20 #else
  21 #define EXPR_TYPE_IS(EXPR, TYP) _Generic(EXPR, TYP: 1, default: 0)
  22 #endif
  23
  24 _Static_assert(SCHAR_MAX == -(SCHAR_MIN+1), "");
  25 _Static_assert(EXPR_TYPE_IS(SCHAR_MAX, int), "");
  26 #if SCHAR_MAX
  27 #endif
  28
  29 _Static_assert(SHRT_MAX == -(SHRT_MIN+1), "");
  30 _Static_assert(EXPR_TYPE_IS(SHRT_MAX, int), "");
  31 #if SHRT_MAX
  32 #endif
  33
  34 _Static_assert(INT_MAX == -(INT_MIN+1), "");
  35 _Static_assert(EXPR_TYPE_IS(INT_MAX, int), "");
  36 #if INT_MAX
  37 #endif
  38
  39 _Static_assert(LONG_MAX == -(LONG_MIN+1L), "");
  40 _Static_assert(EXPR_TYPE_IS(LONG_MAX, long), "");
  41 #if LONG_MAX
  42 #endif
  43
  44 _Static_assert(SCHAR_MAX == UCHAR_MAX/2, "");
  45 _Static_assert(SHRT_MAX == USHRT_MAX/2, "");
  46 _Static_assert(INT_MAX == UINT_MAX/2, "");
  47 _Static_assert(LONG_MAX == ULONG_MAX/2, "");
  48
  49 _Static_assert(SCHAR_MIN == -SCHAR_MAX-1, "");
  50 _Static_assert(EXPR_TYPE_IS(SCHAR_MIN, int), "");
  51 #if SCHAR_MIN
  52 #endif
  53
  54 _Static_assert(SHRT_MIN == -SHRT_MAX-1, "");
  55 _Static_assert(EXPR_TYPE_IS(SHRT_MIN, int), "");
  56 #if SHRT_MIN
  57 #endif
  58
  59 _Static_assert(INT_MIN == -INT_MAX-1, "");
  60 _Static_assert(EXPR_TYPE_IS(INT_MIN, int), "");
  61 #if INT_MIN
  62 #endif
  63
  64 _Static_assert(LONG_MIN == -LONG_MAX-1L, "");
  65 _Static_assert(EXPR_TYPE_IS(LONG_MIN, long), "");
  66 #if LONG_MIN
  67 #endif
  68
  69 _Static_assert(UCHAR_MAX == (unsigned char)~0ULL, "");
  70 _Static_assert(UCHAR_MAX <= INT_MAX ?
  71                  EXPR_TYPE_IS(UCHAR_MAX, int) :
  72                  EXPR_TYPE_IS(UCHAR_MAX, unsigned int), "");
  73 #if UCHAR_MAX
  74 #endif
  75
  76 _Static_assert(USHRT_MAX == (unsigned short)~0ULL, "");
  77 _Static_assert(USHRT_MAX <= INT_MAX ?
  78                  EXPR_TYPE_IS(USHRT_MAX, int) :
  79                  EXPR_TYPE_IS(USHRT_MAX, unsigned int), "");
  80 #if USHRT_MAX
  81 #endif
  82
  83 _Static_assert(UINT_MAX == (unsigned int)~0ULL, "");
  84 _Static_assert(EXPR_TYPE_IS(UINT_MAX, unsigned int), "");
  85 #if UINT_MAX
  86 #endif
  87
  88 _Static_assert(ULONG_MAX == (unsigned long)~0ULL, "");
  89 _Static_assert(EXPR_TYPE_IS(ULONG_MAX, unsigned long), "");
  90 #if ULONG_MAX
  91 #endif
  92
  93 _Static_assert(MB_LEN_MAX >= 1, "");
  94 #if MB_LEN_MAX
  95 #endif
  96
  97 _Static_assert(CHAR_BIT >= 8, "");
  98 #if CHAR_BIT
  99 #endif
 100
 101 _Static_assert(CHAR_MIN == (((char)-1 < (char)0) ? -CHAR_MAX-1 : 0), "");
 102 _Static_assert(EXPR_TYPE_IS(CHAR_MIN, int), "");
 103 #if CHAR_MIN
 104 #endif
 105
 106 _Static_assert(CHAR_MAX == (((char)-1 < (char)0) ? -(CHAR_MIN+1) : (char)~0ULL), "");
 107 _Static_assert(CHAR_MAX <= INT_MAX ?
 108                  EXPR_TYPE_IS(CHAR_MAX, int) :
 109                  EXPR_TYPE_IS(CHAR_MAX, unsigned int), "");
 110 #if CHAR_MAX
 111 #endif
 112
 113 #if __STDC_VERSION__ >= 199901 || __cplusplus >= 201103L
 114 _Static_assert(LLONG_MAX == -(LLONG_MIN+1LL), "");
 115 _Static_assert(EXPR_TYPE_IS(LLONG_MAX, long long), "");
 116 #if LLONG_MAX
 117 #endif
 118
 119 _Static_assert(LLONG_MIN == -LLONG_MAX-1LL, "");
 120 #if LLONG_MIN
 121 #endif
 122 _Static_assert(EXPR_TYPE_IS(LLONG_MIN, long long), "");
 123
 124 _Static_assert(ULLONG_MAX == (unsigned long long)~0ULL, "");
 125 _Static_assert(EXPR_TYPE_IS(ULLONG_MAX, unsigned long long), "");
 126 #if ULLONG_MAX
 127 #endif
 128 #else
 129 int LLONG_MIN, LLONG_MAX, ULLONG_MAX; // Not defined.
 130 #endif
 131
 132 #if __STDC_VERSION__ >= 202311L
 133 /* Validate the standard requirements. */
 134 _Static_assert(BOOL_WIDTH >= 1);
 135 #if BOOL_WIDTH
 136 #endif
 137
 138 _Static_assert(CHAR_WIDTH == CHAR_BIT);
 139 _Static_assert(CHAR_WIDTH / CHAR_BIT == sizeof(char));
 140 #if CHAR_WIDTH
 141 #endif
 142 _Static_assert(SCHAR_WIDTH == CHAR_BIT);
 143 _Static_assert(SCHAR_WIDTH / CHAR_BIT == sizeof(signed char));
 144 #if SCHAR_WIDTH
 145 #endif
 146 _Static_assert(UCHAR_WIDTH == CHAR_BIT);
 147 _Static_assert(UCHAR_WIDTH / CHAR_BIT == sizeof(unsigned char));
 148 #if UCHAR_WIDTH
 149 #endif
 150
 151 _Static_assert(USHRT_WIDTH >= 16);
 152 _Static_assert(USHRT_WIDTH / CHAR_BIT == sizeof(unsigned short));
 153 #if USHRT_WIDTH
 154 #endif
 155 _Static_assert(SHRT_WIDTH == USHRT_WIDTH);
 156 _Static_assert(SHRT_WIDTH / CHAR_BIT == sizeof(signed short));
 157 #if SHRT_WIDTH
 158 #endif
 159
 160 _Static_assert(UINT_WIDTH >= 16);
 161 _Static_assert(UINT_WIDTH / CHAR_BIT == sizeof(unsigned int));
 162 #if UINT_WIDTH
 163 #endif
 164 _Static_assert(INT_WIDTH == UINT_WIDTH);
 165 _Static_assert(INT_WIDTH / CHAR_BIT == sizeof(signed int));
 166 #if INT_WIDTH
 167 #endif
 168
 169 _Static_assert(ULONG_WIDTH >= 32);
 170 _Static_assert(ULONG_WIDTH / CHAR_BIT == sizeof(unsigned long));
 171 #if ULONG_WIDTH
 172 #endif
 173 _Static_assert(LONG_WIDTH == ULONG_WIDTH);
 174 _Static_assert(LONG_WIDTH / CHAR_BIT == sizeof(signed long));
 175 #if LONG_WIDTH
 176 #endif
 177
 178 _Static_assert(ULLONG_WIDTH >= 64);
 179 _Static_assert(ULLONG_WIDTH / CHAR_BIT == sizeof(unsigned long long));
 180 #if ULLONG_WIDTH
 181 #endif
 182 _Static_assert(LLONG_WIDTH == ULLONG_WIDTH);
 183 _Static_assert(LLONG_WIDTH / CHAR_BIT == sizeof(signed long long));
 184 #if LLONG_WIDTH
 185 #endif
 186
 187 _Static_assert(BITINT_MAXWIDTH >= ULLONG_WIDTH);
 188 #if BITINT_MAXWIDTH
 189 #endif
 190 #else
 191 /* None of these are defined. */
 192 int BOOL_WIDTH, CHAR_WIDTH, SCHAR_WIDTH, UCHAR_WIDTH, USHRT_WIDTH, SHRT_WIDTH,
 193     UINT_WIDTH, INT_WIDTH, ULONG_WIDTH, LONG_WIDTH, ULLONG_WIDTH, LLONG_WIDTH,
 194     BITINT_MAXWIDTH;
 195 #endif