zircon/system/utest/int-types/int-types.cc - fuchsia - Git at Google

 // Copyright 2016 The Fuchsia Authors. All rights reserved.
 // Use of this source code is governed by a BSD-style license that can be
 // found in the LICENSE file.

 #include <inttypes.h>
 #include <limits.h>
 #include <signal.h>
 #include <stdint.h>
 #include <wchar.h>

 #include <type_traits>

 #include <zxtest/zxtest.h>

 namespace {

 // stdint.h defines the following types:
 // Fixed width types:
 // int8_t
 // int16_t
 // int32_t
 // int64_t
 // uint8_t
 // uint16_t
 // uint32_t
 // uint64_t

 // Minimum width types:
 // int_least8_t
 // int_least16_t
 // int_least32_t
 // int_least64_t
 // uint_least8_t
 // uint_least16_t
 // uint_least32_t
 // uint_least64_t

 // Fast minimum width types:
 // int_fast8_t
 // int_fast16_t
 // int_fast32_t
 // int_fast64_t
 // uint_fast8_t
 // uint_fast16_t
 // uint_fast32_t
 // uint_fast64_t

 // Pointer-sized types:
 // intptr_t
 // uintptr_t

 // Maximum-width types:
 // intmax_t
 // uintmax_t

 // stddef.h defines the following types:
 // ptrdiff_t
 // size_t
 // wchar_t

 // signal.h defines the following type:
 // sig_atomic_t

 // Test sizes.
 static_assert(CHAR_BIT == 8, "");

 static_assert(sizeof(int8_t) == 1, "");
 static_assert(sizeof(int16_t) == 2, "");
 static_assert(sizeof(int32_t) == 4, "");
 static_assert(sizeof(int64_t) == 8, "");
 static_assert(sizeof(uint8_t) == 1, "");
 static_assert(sizeof(uint16_t) == 2, "");
 static_assert(sizeof(uint32_t) == 4, "");
 static_assert(sizeof(uint64_t) == 8, "");

 static_assert(sizeof(int_least8_t) >= 1, "");
 static_assert(sizeof(int_least16_t) >= 2, "");
 static_assert(sizeof(int_least32_t) >= 4, "");
 static_assert(sizeof(int_least64_t) >= 8, "");
 static_assert(sizeof(uint_least8_t) >= 1, "");
 static_assert(sizeof(uint_least16_t) >= 2, "");
 static_assert(sizeof(uint_least32_t) >= 4, "");
 static_assert(sizeof(uint_least64_t) >= 8, "");

 static_assert(sizeof(int_fast8_t) >= 1, "");
 static_assert(sizeof(int_fast16_t) >= 2, "");
 static_assert(sizeof(int_fast32_t) >= 4, "");
 static_assert(sizeof(int_fast64_t) >= 8, "");
 static_assert(sizeof(uint_fast8_t) >= 1, "");
 static_assert(sizeof(uint_fast16_t) >= 2, "");
 static_assert(sizeof(uint_fast32_t) >= 4, "");
 static_assert(sizeof(uint_fast64_t) >= 8, "");

 static_assert(sizeof(intptr_t) == sizeof(void*), "");
 static_assert(sizeof(uintptr_t) == sizeof(void*), "");

 static_assert(sizeof(intmax_t) == 8, "");
 static_assert(sizeof(uintmax_t) == 8, "");

 static_assert(sizeof(ptrdiff_t) == sizeof(void*), "");
 static_assert(sizeof(size_t) == sizeof(void*), "");

 // No interesting guarantees can be made about the sizes of these:
 // wchar_t
 // sig_atomic_t

 // Check maximums.
 #define CHECK_MAX_TYPE(type, TYPE, max_t, MAX) \
   ((max_t)TYPE##_MAX == (MAX >> (CHAR_BIT * (sizeof(max_t) - sizeof(type)))))

 #define CHECK_MAX_UNSIGNED(type, TYPE) CHECK_MAX_TYPE(type, TYPE, uintmax_t, UINTMAX_MAX)
 #define CHECK_MAX_SIGNED(type, TYPE) CHECK_MAX_TYPE(type, TYPE, intmax_t, INTMAX_MAX)

 #define CHECK_MAX(type, TYPE)                                                                      \
   static_assert(                                                                                   \
       std::is_signed<type>::value ? CHECK_MAX_SIGNED(type, TYPE) : CHECK_MAX_UNSIGNED(type, TYPE), \
       "");

 CHECK_MAX(int8_t, INT8)
 CHECK_MAX(int16_t, INT16)
 CHECK_MAX(int32_t, INT32)
 CHECK_MAX(int64_t, INT64)
 CHECK_MAX(uint8_t, UINT8)
 CHECK_MAX(uint16_t, UINT16)
 CHECK_MAX(uint32_t, UINT32)
 CHECK_MAX(uint64_t, UINT64)

 CHECK_MAX(int_least8_t, INT_LEAST8)
 CHECK_MAX(int_least16_t, INT_LEAST16)
 CHECK_MAX(int_least32_t, INT_LEAST32)
 CHECK_MAX(int_least64_t, INT_LEAST64)
 CHECK_MAX(uint_least8_t, UINT_LEAST8)
 CHECK_MAX(uint_least16_t, UINT_LEAST16)
 CHECK_MAX(uint_least32_t, UINT_LEAST32)
 CHECK_MAX(uint_least64_t, UINT_LEAST64)

 CHECK_MAX(int_fast8_t, INT_FAST8)
 CHECK_MAX(int_fast16_t, INT_FAST16)
 CHECK_MAX(int_fast32_t, INT_FAST32)
 CHECK_MAX(int_fast64_t, INT_FAST64)
 CHECK_MAX(uint_fast8_t, UINT_FAST8)
 CHECK_MAX(uint_fast16_t, UINT_FAST16)
 CHECK_MAX(uint_fast32_t, UINT_FAST32)
 CHECK_MAX(uint_fast64_t, UINT_FAST64)

 CHECK_MAX(intptr_t, INTPTR)
 CHECK_MAX(uintptr_t, UINTPTR)

 CHECK_MAX(intmax_t, INTMAX)
 CHECK_MAX(uintmax_t, UINTMAX)

 CHECK_MAX(ptrdiff_t, PTRDIFF)
 CHECK_MAX(size_t, SIZE)
 CHECK_MAX(wchar_t, WCHAR)

 CHECK_MAX(sig_atomic_t, SIG_ATOMIC)

 // Check minimums.
 #define CHECK_MIN_TYPE(type, TYPE) \
   ((intmax_t)TYPE##_MIN == (INTMAX_MIN >> (CHAR_BIT * (sizeof(intmax_t) - sizeof(type)))))

 #define CHECK_MIN(type, TYPE) static_assert(CHECK_MIN_TYPE(type, TYPE), "")

 CHECK_MIN(int8_t, INT8);
 CHECK_MIN(int16_t, INT16);
 CHECK_MIN(int32_t, INT32);
 CHECK_MIN(int64_t, INT64);

 CHECK_MIN(int_least8_t, INT_LEAST8);
 CHECK_MIN(int_least16_t, INT_LEAST16);
 CHECK_MIN(int_least32_t, INT_LEAST32);
 CHECK_MIN(int_least64_t, INT_LEAST64);

 CHECK_MIN(int_fast8_t, INT_FAST8);
 CHECK_MIN(int_fast16_t, INT_FAST16);
 CHECK_MIN(int_fast32_t, INT_FAST32);
 CHECK_MIN(int_fast64_t, INT_FAST64);

 CHECK_MIN(intptr_t, INTPTR);

 CHECK_MIN(intmax_t, INTMAX);

 CHECK_MIN(ptrdiff_t, PTRDIFF);
 static_assert(std::is_signed<wchar_t>::value ? CHECK_MIN_TYPE(wchar_t, WCHAR) : (WCHAR_MIN == 0),
               "");

 static_assert(std::is_signed<sig_atomic_t>::value ? CHECK_MIN_TYPE(sig_atomic_t, SIG_ATOMIC)
                                                   : (SIG_ATOMIC_MIN == 0),
               "");

 // The INTN_C and UINTN_C macros expand into integer constants
 // "corresponding to the type int_leastN_t" and "uint_leastN_t"
 // respectively.

 static_assert(INT8_C(0) == std::integral_constant<int_least8_t, 0>::value, "");
 static_assert(INT8_C(-0x7f - 1) == std::integral_constant<int_least8_t, -0x7f - 1>::value, "");
 static_assert(INT8_C(0x7f) == std::integral_constant<int_least8_t, 0x7f>::value, "");

 static_assert(INT16_C(0) == std::integral_constant<int_least16_t, 0>::value, "");
 static_assert(INT16_C(-0x7fff - 1) == std::integral_constant<int_least16_t, -0x7fff - 1>::value,
               "");
 static_assert(INT16_C(0x7fff) == std::integral_constant<int_least16_t, 0x7fff>::value, "");

 static_assert(INT32_C(0) == std::integral_constant<int_least32_t, 0>::value, "");
 static_assert(INT32_C(-0x7fffffff - 1) ==
                   std::integral_constant<int_least32_t, -0x7fffffff - 1>::value,
               "");
 static_assert(INT32_C(0x7fffffff) == std::integral_constant<int_least32_t, 0x7fffffff>::value, "");

 static_assert(INT64_C(0) == std::integral_constant<int_least64_t, 0>::value, "");
 static_assert(INT64_C(-0x7fffffffffffffff - 1) ==
                   std::integral_constant<int_least64_t, -0x7fffffffffffffff - 1>::value,
               "");
 static_assert(INT64_C(0x7fffffffffffffff) ==
                   std::integral_constant<int_least64_t, 0x7fffffffffffffff>::value,
               "");

 static_assert(UINT8_C(0) == std::integral_constant<uint_least8_t, 0>::value, "");
 static_assert(UINT8_C(0xff) == std::integral_constant<uint_least8_t, 0xff>::value, "");

 static_assert(UINT16_C(0) == std::integral_constant<uint_least16_t, 0>::value, "");
 static_assert(UINT16_C(0xffff) == std::integral_constant<uint_least16_t, 0xffff>::value, "");

 static_assert(UINT32_C(0) == std::integral_constant<uint_least32_t, 0>::value, "");
 static_assert(UINT32_C(0xffffffff) == std::integral_constant<uint_least32_t, 0xffffffff>::value,
               "");

 static_assert(UINT64_C(0) == std::integral_constant<uint_least64_t, 0>::value, "");
 static_assert(UINT64_C(0xffffffffffffffff) ==
                   std::integral_constant<uint_least64_t, 0xffffffffffffffff>::value,
               "");

 // Unlike the above, the INTMAX_C and UINTMAX_C macros explicitly
 // produce values of type intmax_t and uintmax_t respectively, not
 // just compatible values.

 static_assert(std::is_same<intmax_t, decltype(INTMAX_C(0))>::value, "");
 static_assert(std::is_same<intmax_t, decltype(INTMAX_C(-0x7fffffffffffffff - 1))>::value, "");
 static_assert(std::is_same<intmax_t, decltype(INTMAX_C(0x7fffffffffffffff))>::value, "");
 static_assert(INTMAX_C(0) == std::integral_constant<intmax_t, 0>::value, "");
 static_assert(INTMAX_C(-0xffffffffffffffff - 1) ==
                   std::integral_constant<intmax_t, -0xffffffffffffffff - 1>::value,
               "");
 static_assert(INTMAX_C(0x7fffffffffffffff) ==
                   std::integral_constant<intmax_t, 0x7fffffffffffffff>::value,
               "");

 static_assert(std::is_same<uintmax_t, decltype(UINTMAX_C(0))>::value, "");
 static_assert(std::is_same<uintmax_t, decltype(UINTMAX_C(0xffffffffffffffff))>::value, "");
 static_assert(UINTMAX_C(0) == std::integral_constant<uintmax_t, 0>::value, "");
 static_assert(UINTMAX_C(0xffffffffffffffff) ==
                   std::integral_constant<uintmax_t, 0xffffffffffffffff>::value,
               "");

 // Check PRI* and SCN* format strings.
 #define LAST(fmt) (fmt[strlen(fmt) - 1])

 // Signed format specifiers.
 #define CHECK_d(fmt) EXPECT_EQ(LAST(fmt), 'd', "incorrect format specifier")
 #define CHECK_i(fmt) EXPECT_EQ(LAST(fmt), 'i', "incorrect format specifier")

 // Unsigned format specifiers. Note that X is only used by printf, and
 // not also by scanf.
 #define CHECK_o(fmt) EXPECT_EQ(LAST(fmt), 'o', "incorrect format specifier")
 #define CHECK_u(fmt) EXPECT_EQ(LAST(fmt), 'u', "incorrect format specifier")
 #define CHECK_x(fmt) EXPECT_EQ(LAST(fmt), 'x', "incorrect format specifier")
 #define CHECK_X(fmt) EXPECT_EQ(LAST(fmt), 'X', "incorrect format specifier")

 #define CHECK_FORMAT_STRINGS(pri, scn, pcheck, scheck, type, max) \
   do {                                                            \
     pcheck(pri);                                                  \
     scheck(scn);                                                  \
     char buf[256] = {0};                                          \
     ASSERT_GT(snprintf(buf, sizeof(buf), "%" pri, (type)max), 1); \
     type n = (type)0;                                             \
     ASSERT_EQ(sscanf(buf, "%" scn, &n), 1);                       \
     ASSERT_EQ(n, max);                                            \
   } while (0)

 #define CHECK_SIGNED_FORMATS(size, type, max)                                  \
   do {                                                                         \
     CHECK_FORMAT_STRINGS(PRId##size, SCNd##size, CHECK_d, CHECK_d, type, max); \
     CHECK_FORMAT_STRINGS(PRIi##size, SCNi##size, CHECK_i, CHECK_i, type, max); \
   } while (0)

 // Since X is not used by scanf (only x), the last line has PRIX but
 // SCNx (upper and lower case).
 #define CHECK_UNSIGNED_FORMATS(size, type, max)                                \
   do {                                                                         \
     CHECK_FORMAT_STRINGS(PRIo##size, SCNo##size, CHECK_o, CHECK_o, type, max); \
     CHECK_FORMAT_STRINGS(PRIu##size, SCNu##size, CHECK_u, CHECK_u, type, max); \
     CHECK_FORMAT_STRINGS(PRIx##size, SCNx##size, CHECK_x, CHECK_x, type, max); \
     CHECK_FORMAT_STRINGS(PRIX##size, SCNx##size, CHECK_X, CHECK_x, type, max); \
   } while (0)

 #define CHECK_FORMATS(size, type, max)         \
   do {                                         \
     if (std::is_signed<type>::value) {         \
       CHECK_SIGNED_FORMATS(size, type, max);   \
     } else {                                   \
       CHECK_UNSIGNED_FORMATS(size, type, max); \
     }                                          \
   } while (0)

 TEST(IntTypesCpp, FormatSpecifiers) {
   CHECK_FORMATS(8, int8_t, INT8_MAX);
   CHECK_FORMATS(16, int16_t, INT16_MAX);
   CHECK_FORMATS(32, int32_t, INT32_MAX);
   CHECK_FORMATS(64, int64_t, INT64_MAX);
   CHECK_FORMATS(8, uint8_t, UINT8_MAX);
   CHECK_FORMATS(16, uint16_t, UINT16_MAX);
   CHECK_FORMATS(32, uint32_t, UINT32_MAX);
   CHECK_FORMATS(64, uint64_t, UINT64_MAX);

   CHECK_FORMATS(FAST8, int_fast8_t, INT_FAST8_MAX);
   CHECK_FORMATS(FAST16, int_fast16_t, INT_FAST16_MAX);
   CHECK_FORMATS(FAST32, int_fast32_t, INT_FAST32_MAX);
   CHECK_FORMATS(FAST64, int_fast64_t, INT_FAST64_MAX);
   CHECK_FORMATS(FAST8, uint_fast8_t, UINT_FAST8_MAX);
   CHECK_FORMATS(FAST16, uint_fast16_t, UINT_FAST16_MAX);
   CHECK_FORMATS(FAST32, uint_fast32_t, UINT_FAST32_MAX);
   CHECK_FORMATS(FAST64, uint_fast64_t, UINT_FAST64_MAX);

   CHECK_FORMATS(LEAST8, int_least8_t, INT_LEAST8_MAX);
   CHECK_FORMATS(LEAST16, int_least16_t, INT_LEAST16_MAX);
   CHECK_FORMATS(LEAST32, int_least32_t, INT_LEAST32_MAX);
   CHECK_FORMATS(LEAST64, int_least64_t, INT_LEAST64_MAX);
   CHECK_FORMATS(LEAST8, uint_least8_t, UINT_LEAST8_MAX);
   CHECK_FORMATS(LEAST16, uint_least16_t, UINT_LEAST16_MAX);
   CHECK_FORMATS(LEAST32, uint_least32_t, UINT_LEAST32_MAX);
   CHECK_FORMATS(LEAST64, uint_least64_t, UINT_LEAST64_MAX);

   CHECK_FORMATS(PTR, intptr_t, INTPTR_MAX);
   CHECK_FORMATS(PTR, uintptr_t, UINTPTR_MAX);

   // Note that these are definined in addition to %j
   CHECK_FORMATS(MAX, intmax_t, INTMAX_MAX);
   CHECK_FORMATS(MAX, uintmax_t, UINTMAX_MAX);

   // ptrdiff_t is simply %t.
   // size_t is simply %z.
   // wchar_t is simply %sl.

   // No particular format specifier or macro is defined for sig_atomic_t.
 }

 }  // namespace
	// Copyright 2016 The Fuchsia Authors. All rights reserved.
	// Use of this source code is governed by a BSD-style license that can be
	// found in the LICENSE file.

	#include <inttypes.h>
	#include <limits.h>
	#include <signal.h>
	#include <stdint.h>
	#include <wchar.h>

	#include <type_traits>

	#include <zxtest/zxtest.h>

	namespace {

	// stdint.h defines the following types:
	// Fixed width types:
	// int8_t
	// int16_t
	// int32_t
	// int64_t
	// uint8_t
	// uint16_t
	// uint32_t
	// uint64_t

	// Minimum width types:
	// int_least8_t
	// int_least16_t
	// int_least32_t
	// int_least64_t
	// uint_least8_t
	// uint_least16_t
	// uint_least32_t
	// uint_least64_t

	// Fast minimum width types:
	// int_fast8_t
	// int_fast16_t
	// int_fast32_t
	// int_fast64_t
	// uint_fast8_t
	// uint_fast16_t
	// uint_fast32_t
	// uint_fast64_t

	// Pointer-sized types:
	// intptr_t
	// uintptr_t

	// Maximum-width types:
	// intmax_t
	// uintmax_t

	// stddef.h defines the following types:
	// ptrdiff_t
	// size_t
	// wchar_t

	// signal.h defines the following type:
	// sig_atomic_t

	// Test sizes.
	static_assert(CHAR_BIT == 8, "");

	static_assert(sizeof(int8_t) == 1, "");
	static_assert(sizeof(int16_t) == 2, "");
	static_assert(sizeof(int32_t) == 4, "");
	static_assert(sizeof(int64_t) == 8, "");
	static_assert(sizeof(uint8_t) == 1, "");
	static_assert(sizeof(uint16_t) == 2, "");
	static_assert(sizeof(uint32_t) == 4, "");
	static_assert(sizeof(uint64_t) == 8, "");

	static_assert(sizeof(int_least8_t) >= 1, "");
	static_assert(sizeof(int_least16_t) >= 2, "");
	static_assert(sizeof(int_least32_t) >= 4, "");
	static_assert(sizeof(int_least64_t) >= 8, "");
	static_assert(sizeof(uint_least8_t) >= 1, "");
	static_assert(sizeof(uint_least16_t) >= 2, "");
	static_assert(sizeof(uint_least32_t) >= 4, "");
	static_assert(sizeof(uint_least64_t) >= 8, "");

	static_assert(sizeof(int_fast8_t) >= 1, "");
	static_assert(sizeof(int_fast16_t) >= 2, "");
	static_assert(sizeof(int_fast32_t) >= 4, "");
	static_assert(sizeof(int_fast64_t) >= 8, "");
	static_assert(sizeof(uint_fast8_t) >= 1, "");
	static_assert(sizeof(uint_fast16_t) >= 2, "");
	static_assert(sizeof(uint_fast32_t) >= 4, "");
	static_assert(sizeof(uint_fast64_t) >= 8, "");

	static_assert(sizeof(intptr_t) == sizeof(void*), "");
	static_assert(sizeof(uintptr_t) == sizeof(void*), "");

	static_assert(sizeof(intmax_t) == 8, "");
	static_assert(sizeof(uintmax_t) == 8, "");

	static_assert(sizeof(ptrdiff_t) == sizeof(void*), "");
	static_assert(sizeof(size_t) == sizeof(void*), "");

	// No interesting guarantees can be made about the sizes of these:
	// wchar_t
	// sig_atomic_t

	// Check maximums.
	#define CHECK_MAX_TYPE(type, TYPE, max_t, MAX) \
	((max_t)TYPE##_MAX == (MAX >> (CHAR_BIT * (sizeof(max_t) - sizeof(type)))))

	#define CHECK_MAX_UNSIGNED(type, TYPE) CHECK_MAX_TYPE(type, TYPE, uintmax_t, UINTMAX_MAX)
	#define CHECK_MAX_SIGNED(type, TYPE) CHECK_MAX_TYPE(type, TYPE, intmax_t, INTMAX_MAX)

	#define CHECK_MAX(type, TYPE) \
	static_assert( \
	std::is_signed<type>::value ? CHECK_MAX_SIGNED(type, TYPE) : CHECK_MAX_UNSIGNED(type, TYPE), \
	"");

	CHECK_MAX(int8_t, INT8)
	CHECK_MAX(int16_t, INT16)
	CHECK_MAX(int32_t, INT32)
	CHECK_MAX(int64_t, INT64)
	CHECK_MAX(uint8_t, UINT8)
	CHECK_MAX(uint16_t, UINT16)
	CHECK_MAX(uint32_t, UINT32)
	CHECK_MAX(uint64_t, UINT64)

	CHECK_MAX(int_least8_t, INT_LEAST8)
	CHECK_MAX(int_least16_t, INT_LEAST16)
	CHECK_MAX(int_least32_t, INT_LEAST32)
	CHECK_MAX(int_least64_t, INT_LEAST64)
	CHECK_MAX(uint_least8_t, UINT_LEAST8)
	CHECK_MAX(uint_least16_t, UINT_LEAST16)
	CHECK_MAX(uint_least32_t, UINT_LEAST32)
	CHECK_MAX(uint_least64_t, UINT_LEAST64)

	CHECK_MAX(int_fast8_t, INT_FAST8)
	CHECK_MAX(int_fast16_t, INT_FAST16)
	CHECK_MAX(int_fast32_t, INT_FAST32)
	CHECK_MAX(int_fast64_t, INT_FAST64)
	CHECK_MAX(uint_fast8_t, UINT_FAST8)
	CHECK_MAX(uint_fast16_t, UINT_FAST16)
	CHECK_MAX(uint_fast32_t, UINT_FAST32)
	CHECK_MAX(uint_fast64_t, UINT_FAST64)

	CHECK_MAX(intptr_t, INTPTR)
	CHECK_MAX(uintptr_t, UINTPTR)

	CHECK_MAX(intmax_t, INTMAX)
	CHECK_MAX(uintmax_t, UINTMAX)

	CHECK_MAX(ptrdiff_t, PTRDIFF)
	CHECK_MAX(size_t, SIZE)
	CHECK_MAX(wchar_t, WCHAR)

	CHECK_MAX(sig_atomic_t, SIG_ATOMIC)

	// Check minimums.
	#define CHECK_MIN_TYPE(type, TYPE) \
	((intmax_t)TYPE##_MIN == (INTMAX_MIN >> (CHAR_BIT * (sizeof(intmax_t) - sizeof(type)))))

	#define CHECK_MIN(type, TYPE) static_assert(CHECK_MIN_TYPE(type, TYPE), "")

	CHECK_MIN(int8_t, INT8);
	CHECK_MIN(int16_t, INT16);
	CHECK_MIN(int32_t, INT32);
	CHECK_MIN(int64_t, INT64);

	CHECK_MIN(int_least8_t, INT_LEAST8);
	CHECK_MIN(int_least16_t, INT_LEAST16);
	CHECK_MIN(int_least32_t, INT_LEAST32);
	CHECK_MIN(int_least64_t, INT_LEAST64);

	CHECK_MIN(int_fast8_t, INT_FAST8);
	CHECK_MIN(int_fast16_t, INT_FAST16);
	CHECK_MIN(int_fast32_t, INT_FAST32);
	CHECK_MIN(int_fast64_t, INT_FAST64);

	CHECK_MIN(intptr_t, INTPTR);

	CHECK_MIN(intmax_t, INTMAX);

	CHECK_MIN(ptrdiff_t, PTRDIFF);
	static_assert(std::is_signed<wchar_t>::value ? CHECK_MIN_TYPE(wchar_t, WCHAR) : (WCHAR_MIN == 0),
	"");

	static_assert(std::is_signed<sig_atomic_t>::value ? CHECK_MIN_TYPE(sig_atomic_t, SIG_ATOMIC)
	: (SIG_ATOMIC_MIN == 0),
	"");

	// The INTN_C and UINTN_C macros expand into integer constants
	// "corresponding to the type int_leastN_t" and "uint_leastN_t"
	// respectively.

	static_assert(INT8_C(0) == std::integral_constant<int_least8_t, 0>::value, "");
	static_assert(INT8_C(-0x7f - 1) == std::integral_constant<int_least8_t, -0x7f - 1>::value, "");
	static_assert(INT8_C(0x7f) == std::integral_constant<int_least8_t, 0x7f>::value, "");

	static_assert(INT16_C(0) == std::integral_constant<int_least16_t, 0>::value, "");
	static_assert(INT16_C(-0x7fff - 1) == std::integral_constant<int_least16_t, -0x7fff - 1>::value,
	"");
	static_assert(INT16_C(0x7fff) == std::integral_constant<int_least16_t, 0x7fff>::value, "");

	static_assert(INT32_C(0) == std::integral_constant<int_least32_t, 0>::value, "");
	static_assert(INT32_C(-0x7fffffff - 1) ==
	std::integral_constant<int_least32_t, -0x7fffffff - 1>::value,
	"");
	static_assert(INT32_C(0x7fffffff) == std::integral_constant<int_least32_t, 0x7fffffff>::value, "");

	static_assert(INT64_C(0) == std::integral_constant<int_least64_t, 0>::value, "");
	static_assert(INT64_C(-0x7fffffffffffffff - 1) ==
	std::integral_constant<int_least64_t, -0x7fffffffffffffff - 1>::value,
	"");
	static_assert(INT64_C(0x7fffffffffffffff) ==
	std::integral_constant<int_least64_t, 0x7fffffffffffffff>::value,
	"");

	static_assert(UINT8_C(0) == std::integral_constant<uint_least8_t, 0>::value, "");
	static_assert(UINT8_C(0xff) == std::integral_constant<uint_least8_t, 0xff>::value, "");

	static_assert(UINT16_C(0) == std::integral_constant<uint_least16_t, 0>::value, "");
	static_assert(UINT16_C(0xffff) == std::integral_constant<uint_least16_t, 0xffff>::value, "");

	static_assert(UINT32_C(0) == std::integral_constant<uint_least32_t, 0>::value, "");
	static_assert(UINT32_C(0xffffffff) == std::integral_constant<uint_least32_t, 0xffffffff>::value,
	"");

	static_assert(UINT64_C(0) == std::integral_constant<uint_least64_t, 0>::value, "");
	static_assert(UINT64_C(0xffffffffffffffff) ==
	std::integral_constant<uint_least64_t, 0xffffffffffffffff>::value,
	"");

	// Unlike the above, the INTMAX_C and UINTMAX_C macros explicitly
	// produce values of type intmax_t and uintmax_t respectively, not
	// just compatible values.

	static_assert(std::is_same<intmax_t, decltype(INTMAX_C(0))>::value, "");
	static_assert(std::is_same<intmax_t, decltype(INTMAX_C(-0x7fffffffffffffff - 1))>::value, "");
	static_assert(std::is_same<intmax_t, decltype(INTMAX_C(0x7fffffffffffffff))>::value, "");
	static_assert(INTMAX_C(0) == std::integral_constant<intmax_t, 0>::value, "");
	static_assert(INTMAX_C(-0xffffffffffffffff - 1) ==
	std::integral_constant<intmax_t, -0xffffffffffffffff - 1>::value,
	"");
	static_assert(INTMAX_C(0x7fffffffffffffff) ==
	std::integral_constant<intmax_t, 0x7fffffffffffffff>::value,
	"");

	static_assert(std::is_same<uintmax_t, decltype(UINTMAX_C(0))>::value, "");
	static_assert(std::is_same<uintmax_t, decltype(UINTMAX_C(0xffffffffffffffff))>::value, "");
	static_assert(UINTMAX_C(0) == std::integral_constant<uintmax_t, 0>::value, "");
	static_assert(UINTMAX_C(0xffffffffffffffff) ==
	std::integral_constant<uintmax_t, 0xffffffffffffffff>::value,
	"");

	// Check PRI* and SCN* format strings.
	#define LAST(fmt) (fmt[strlen(fmt) - 1])

	// Signed format specifiers.
	#define CHECK_d(fmt) EXPECT_EQ(LAST(fmt), 'd', "incorrect format specifier")
	#define CHECK_i(fmt) EXPECT_EQ(LAST(fmt), 'i', "incorrect format specifier")

	// Unsigned format specifiers. Note that X is only used by printf, and
	// not also by scanf.
	#define CHECK_o(fmt) EXPECT_EQ(LAST(fmt), 'o', "incorrect format specifier")
	#define CHECK_u(fmt) EXPECT_EQ(LAST(fmt), 'u', "incorrect format specifier")
	#define CHECK_x(fmt) EXPECT_EQ(LAST(fmt), 'x', "incorrect format specifier")
	#define CHECK_X(fmt) EXPECT_EQ(LAST(fmt), 'X', "incorrect format specifier")

	#define CHECK_FORMAT_STRINGS(pri, scn, pcheck, scheck, type, max) \
	do { \
	pcheck(pri); \
	scheck(scn); \
	char buf[256] = {0}; \
	ASSERT_GT(snprintf(buf, sizeof(buf), "%" pri, (type)max), 1); \
	type n = (type)0; \
	ASSERT_EQ(sscanf(buf, "%" scn, &n), 1); \
	ASSERT_EQ(n, max); \
	} while (0)

	#define CHECK_SIGNED_FORMATS(size, type, max) \
	do { \
	CHECK_FORMAT_STRINGS(PRId##size, SCNd##size, CHECK_d, CHECK_d, type, max); \
	CHECK_FORMAT_STRINGS(PRIi##size, SCNi##size, CHECK_i, CHECK_i, type, max); \
	} while (0)

	// Since X is not used by scanf (only x), the last line has PRIX but
	// SCNx (upper and lower case).
	#define CHECK_UNSIGNED_FORMATS(size, type, max) \
	do { \
	CHECK_FORMAT_STRINGS(PRIo##size, SCNo##size, CHECK_o, CHECK_o, type, max); \
	CHECK_FORMAT_STRINGS(PRIu##size, SCNu##size, CHECK_u, CHECK_u, type, max); \
	CHECK_FORMAT_STRINGS(PRIx##size, SCNx##size, CHECK_x, CHECK_x, type, max); \
	CHECK_FORMAT_STRINGS(PRIX##size, SCNx##size, CHECK_X, CHECK_x, type, max); \
	} while (0)

	#define CHECK_FORMATS(size, type, max) \
	do { \
	if (std::is_signed<type>::value) { \
	CHECK_SIGNED_FORMATS(size, type, max); \
	} else { \
	CHECK_UNSIGNED_FORMATS(size, type, max); \
	} \
	} while (0)

	TEST(IntTypesCpp, FormatSpecifiers) {
	CHECK_FORMATS(8, int8_t, INT8_MAX);
	CHECK_FORMATS(16, int16_t, INT16_MAX);
	CHECK_FORMATS(32, int32_t, INT32_MAX);
	CHECK_FORMATS(64, int64_t, INT64_MAX);
	CHECK_FORMATS(8, uint8_t, UINT8_MAX);
	CHECK_FORMATS(16, uint16_t, UINT16_MAX);
	CHECK_FORMATS(32, uint32_t, UINT32_MAX);
	CHECK_FORMATS(64, uint64_t, UINT64_MAX);

	CHECK_FORMATS(FAST8, int_fast8_t, INT_FAST8_MAX);
	CHECK_FORMATS(FAST16, int_fast16_t, INT_FAST16_MAX);
	CHECK_FORMATS(FAST32, int_fast32_t, INT_FAST32_MAX);
	CHECK_FORMATS(FAST64, int_fast64_t, INT_FAST64_MAX);
	CHECK_FORMATS(FAST8, uint_fast8_t, UINT_FAST8_MAX);
	CHECK_FORMATS(FAST16, uint_fast16_t, UINT_FAST16_MAX);
	CHECK_FORMATS(FAST32, uint_fast32_t, UINT_FAST32_MAX);
	CHECK_FORMATS(FAST64, uint_fast64_t, UINT_FAST64_MAX);

	CHECK_FORMATS(LEAST8, int_least8_t, INT_LEAST8_MAX);
	CHECK_FORMATS(LEAST16, int_least16_t, INT_LEAST16_MAX);
	CHECK_FORMATS(LEAST32, int_least32_t, INT_LEAST32_MAX);
	CHECK_FORMATS(LEAST64, int_least64_t, INT_LEAST64_MAX);
	CHECK_FORMATS(LEAST8, uint_least8_t, UINT_LEAST8_MAX);
	CHECK_FORMATS(LEAST16, uint_least16_t, UINT_LEAST16_MAX);
	CHECK_FORMATS(LEAST32, uint_least32_t, UINT_LEAST32_MAX);
	CHECK_FORMATS(LEAST64, uint_least64_t, UINT_LEAST64_MAX);

	CHECK_FORMATS(PTR, intptr_t, INTPTR_MAX);
	CHECK_FORMATS(PTR, uintptr_t, UINTPTR_MAX);

	// Note that these are definined in addition to %j
	CHECK_FORMATS(MAX, intmax_t, INTMAX_MAX);
	CHECK_FORMATS(MAX, uintmax_t, UINTMAX_MAX);

	// ptrdiff_t is simply %t.
	// size_t is simply %z.
	// wchar_t is simply %sl.

	// No particular format specifier or macro is defined for sig_atomic_t.
	}

	} // namespace