196 lines · cpp
1// RUN: %clang_cc1 -ffreestanding -fsyntax-only -verify %s2// RUN: %clang_cc1 -fno-signed-char -ffreestanding -fsyntax-only -verify %s3// RUN: %clang_cc1 -std=c++11 -ffreestanding -fsyntax-only -verify %s4// RUN: %clang_cc1 -std=c17 -ffreestanding -fsyntax-only -verify -x c %s5// RUN: %clang_cc1 -std=c2x -ffreestanding -fsyntax-only -verify -x c %s6 7// Specifically test arm64 linux platforms.8// RUN: %clang_cc1 -triple arm64-linux -ffreestanding -fsyntax-only -verify -x c %s9 10// Specifically test 16-bit int platforms.11// RUN: %clang_cc1 -triple=avr -ffreestanding -fsyntax-only -verify -x c %s12// RUN: %clang_cc1 -triple=avr -std=c++11 -ffreestanding -fsyntax-only -verify %s13 14// expected-no-diagnostics15 16#include <limits.h>17 18#if __cplusplus19#define EXPR_TYPE_IS(EXPR, TYP) __is_same(__typeof(EXPR), TYP)20#else21#define EXPR_TYPE_IS(EXPR, TYP) _Generic(EXPR, TYP: 1, default: 0)22#endif23 24_Static_assert(SCHAR_MAX == -(SCHAR_MIN+1), "");25_Static_assert(EXPR_TYPE_IS(SCHAR_MAX, int), "");26#if SCHAR_MAX27#endif28 29_Static_assert(SHRT_MAX == -(SHRT_MIN+1), "");30_Static_assert(EXPR_TYPE_IS(SHRT_MAX, int), "");31#if SHRT_MAX32#endif33 34_Static_assert(INT_MAX == -(INT_MIN+1), "");35_Static_assert(EXPR_TYPE_IS(INT_MAX, int), "");36#if INT_MAX37#endif38 39_Static_assert(LONG_MAX == -(LONG_MIN+1L), "");40_Static_assert(EXPR_TYPE_IS(LONG_MAX, long), "");41#if LONG_MAX42#endif43 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_MIN52#endif53 54_Static_assert(SHRT_MIN == -SHRT_MAX-1, "");55_Static_assert(EXPR_TYPE_IS(SHRT_MIN, int), "");56#if SHRT_MIN57#endif58 59_Static_assert(INT_MIN == -INT_MAX-1, "");60_Static_assert(EXPR_TYPE_IS(INT_MIN, int), "");61#if INT_MIN62#endif63 64_Static_assert(LONG_MIN == -LONG_MAX-1L, "");65_Static_assert(EXPR_TYPE_IS(LONG_MIN, long), "");66#if LONG_MIN67#endif68 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_MAX74#endif75 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_MAX81#endif82 83_Static_assert(UINT_MAX == (unsigned int)~0ULL, "");84_Static_assert(EXPR_TYPE_IS(UINT_MAX, unsigned int), "");85#if UINT_MAX86#endif87 88_Static_assert(ULONG_MAX == (unsigned long)~0ULL, "");89_Static_assert(EXPR_TYPE_IS(ULONG_MAX, unsigned long), "");90#if ULONG_MAX91#endif92 93_Static_assert(MB_LEN_MAX >= 1, "");94#if MB_LEN_MAX95#endif96 97_Static_assert(CHAR_BIT >= 8, "");98#if CHAR_BIT99#endif100 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_MIN104#endif105 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_MAX111#endif112 113#if __STDC_VERSION__ >= 199901 || __cplusplus >= 201103L114_Static_assert(LLONG_MAX == -(LLONG_MIN+1LL), "");115_Static_assert(EXPR_TYPE_IS(LLONG_MAX, long long), "");116#if LLONG_MAX117#endif118 119_Static_assert(LLONG_MIN == -LLONG_MAX-1LL, "");120#if LLONG_MIN121#endif122_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_MAX127#endif128#else129int LLONG_MIN, LLONG_MAX, ULLONG_MAX; // Not defined.130#endif131 132#if __STDC_VERSION__ >= 202311L133/* Validate the standard requirements. */134_Static_assert(BOOL_WIDTH >= 1);135#if BOOL_WIDTH136#endif137 138_Static_assert(CHAR_WIDTH == CHAR_BIT);139_Static_assert(CHAR_WIDTH / CHAR_BIT == sizeof(char));140#if CHAR_WIDTH141#endif142_Static_assert(SCHAR_WIDTH == CHAR_BIT);143_Static_assert(SCHAR_WIDTH / CHAR_BIT == sizeof(signed char));144#if SCHAR_WIDTH145#endif146_Static_assert(UCHAR_WIDTH == CHAR_BIT);147_Static_assert(UCHAR_WIDTH / CHAR_BIT == sizeof(unsigned char));148#if UCHAR_WIDTH149#endif150 151_Static_assert(USHRT_WIDTH >= 16);152_Static_assert(USHRT_WIDTH / CHAR_BIT == sizeof(unsigned short));153#if USHRT_WIDTH154#endif155_Static_assert(SHRT_WIDTH == USHRT_WIDTH);156_Static_assert(SHRT_WIDTH / CHAR_BIT == sizeof(signed short));157#if SHRT_WIDTH158#endif159 160_Static_assert(UINT_WIDTH >= 16);161_Static_assert(UINT_WIDTH / CHAR_BIT == sizeof(unsigned int));162#if UINT_WIDTH163#endif164_Static_assert(INT_WIDTH == UINT_WIDTH);165_Static_assert(INT_WIDTH / CHAR_BIT == sizeof(signed int));166#if INT_WIDTH167#endif168 169_Static_assert(ULONG_WIDTH >= 32);170_Static_assert(ULONG_WIDTH / CHAR_BIT == sizeof(unsigned long));171#if ULONG_WIDTH172#endif173_Static_assert(LONG_WIDTH == ULONG_WIDTH);174_Static_assert(LONG_WIDTH / CHAR_BIT == sizeof(signed long));175#if LONG_WIDTH176#endif177 178_Static_assert(ULLONG_WIDTH >= 64);179_Static_assert(ULLONG_WIDTH / CHAR_BIT == sizeof(unsigned long long));180#if ULLONG_WIDTH181#endif182_Static_assert(LLONG_WIDTH == ULLONG_WIDTH);183_Static_assert(LLONG_WIDTH / CHAR_BIT == sizeof(signed long long));184#if LLONG_WIDTH185#endif186 187_Static_assert(BITINT_MAXWIDTH >= ULLONG_WIDTH);188#if BITINT_MAXWIDTH189#endif190#else191/* None of these are defined. */192int 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#endif196