1138ef868028ecbba4f74af8b185a8dff4d1346caJF Bastien// RUN: %clang_cc1 -ffreestanding -fsyntax-only -verify %s 2138ef868028ecbba4f74af8b185a8dff4d1346caJF Bastien// RUN: %clang_cc1 -fno-signed-char -ffreestanding -fsyntax-only -verify %s 3138ef868028ecbba4f74af8b185a8dff4d1346caJF Bastien// RUN: %clang_cc1 -std=c++11 -ffreestanding -fsyntax-only -verify %s 4138ef868028ecbba4f74af8b185a8dff4d1346caJF Bastien// expected-no-diagnostics 5138ef868028ecbba4f74af8b185a8dff4d1346caJF Bastien 6138ef868028ecbba4f74af8b185a8dff4d1346caJF Bastien#include <limits.h> 7138ef868028ecbba4f74af8b185a8dff4d1346caJF Bastien 8138ef868028ecbba4f74af8b185a8dff4d1346caJF Bastien_Static_assert(SCHAR_MAX == -(SCHAR_MIN+1), ""); 9138ef868028ecbba4f74af8b185a8dff4d1346caJF Bastien_Static_assert(SHRT_MAX == -(SHRT_MIN+1), ""); 10138ef868028ecbba4f74af8b185a8dff4d1346caJF Bastien_Static_assert(INT_MAX == -(INT_MIN+1), ""); 11138ef868028ecbba4f74af8b185a8dff4d1346caJF Bastien_Static_assert(LONG_MAX == -(LONG_MIN+1L), ""); 12138ef868028ecbba4f74af8b185a8dff4d1346caJF Bastien 13138ef868028ecbba4f74af8b185a8dff4d1346caJF Bastien_Static_assert(SCHAR_MAX == UCHAR_MAX/2, ""); 14138ef868028ecbba4f74af8b185a8dff4d1346caJF Bastien_Static_assert(SHRT_MAX == USHRT_MAX/2, ""); 15138ef868028ecbba4f74af8b185a8dff4d1346caJF Bastien_Static_assert(INT_MAX == UINT_MAX/2, ""); 16138ef868028ecbba4f74af8b185a8dff4d1346caJF Bastien_Static_assert(LONG_MAX == ULONG_MAX/2, ""); 17138ef868028ecbba4f74af8b185a8dff4d1346caJF Bastien 18138ef868028ecbba4f74af8b185a8dff4d1346caJF Bastien_Static_assert(SCHAR_MIN == -SCHAR_MAX-1, ""); 19138ef868028ecbba4f74af8b185a8dff4d1346caJF Bastien_Static_assert(SHRT_MIN == -SHRT_MAX-1, ""); 20138ef868028ecbba4f74af8b185a8dff4d1346caJF Bastien_Static_assert(INT_MIN == -INT_MAX-1, ""); 21138ef868028ecbba4f74af8b185a8dff4d1346caJF Bastien_Static_assert(LONG_MIN == -LONG_MAX-1L, ""); 22138ef868028ecbba4f74af8b185a8dff4d1346caJF Bastien 23138ef868028ecbba4f74af8b185a8dff4d1346caJF Bastien_Static_assert(UCHAR_MAX == (unsigned char)~0ULL, ""); 24138ef868028ecbba4f74af8b185a8dff4d1346caJF Bastien_Static_assert(USHRT_MAX == (unsigned short)~0ULL, ""); 25138ef868028ecbba4f74af8b185a8dff4d1346caJF Bastien_Static_assert(UINT_MAX == (unsigned int)~0ULL, ""); 26138ef868028ecbba4f74af8b185a8dff4d1346caJF Bastien_Static_assert(ULONG_MAX == (unsigned long)~0ULL, ""); 27138ef868028ecbba4f74af8b185a8dff4d1346caJF Bastien 28138ef868028ecbba4f74af8b185a8dff4d1346caJF Bastien_Static_assert(MB_LEN_MAX >= 1, ""); 29138ef868028ecbba4f74af8b185a8dff4d1346caJF Bastien 30138ef868028ecbba4f74af8b185a8dff4d1346caJF Bastien_Static_assert(CHAR_BIT >= 8, ""); 31138ef868028ecbba4f74af8b185a8dff4d1346caJF Bastien 32138ef868028ecbba4f74af8b185a8dff4d1346caJF Bastienconst bool char_is_signed = (char)-1 < (char)0; 33138ef868028ecbba4f74af8b185a8dff4d1346caJF Bastien_Static_assert(CHAR_MIN == (char_is_signed ? -CHAR_MAX-1 : 0), ""); 34138ef868028ecbba4f74af8b185a8dff4d1346caJF Bastien_Static_assert(CHAR_MAX == (char_is_signed ? -(CHAR_MIN+1) : (char)~0ULL), ""); 35138ef868028ecbba4f74af8b185a8dff4d1346caJF Bastien 36138ef868028ecbba4f74af8b185a8dff4d1346caJF Bastien#if __STDC_VERSION__ >= 199901 || __cplusplus >= 201103L 37138ef868028ecbba4f74af8b185a8dff4d1346caJF Bastien_Static_assert(LLONG_MAX == -(LLONG_MIN+1LL), ""); 38138ef868028ecbba4f74af8b185a8dff4d1346caJF Bastien_Static_assert(LLONG_MIN == -LLONG_MAX-1LL, ""); 39138ef868028ecbba4f74af8b185a8dff4d1346caJF Bastien_Static_assert(ULLONG_MAX == (unsigned long long)~0ULL, ""); 40138ef868028ecbba4f74af8b185a8dff4d1346caJF Bastien#else 41138ef868028ecbba4f74af8b185a8dff4d1346caJF Bastienint LLONG_MIN, LLONG_MAX, ULLONG_MAX; // Not defined. 42138ef868028ecbba4f74af8b185a8dff4d1346caJF Bastien#endif 43