test/Headers/x86_64-apple-macosx-types.cpp

   1 // RUN: %clang_cc1 -triple x86_64-apple-macosx10.9 -std=c++11 -verify %s
   2 // expected-no-diagnostics
   3
   4 struct true_type {
   5   static constexpr const bool value = true;
   6 };
   7
   8 struct false_type {
   9   static constexpr const bool value = false;
  10 };
  11
  12 template <class _Tp, class _Up> struct is_same           : public false_type {};
  13 template <class _Tp>            struct is_same<_Tp, _Tp> : public true_type {};
  14
  15 // Check that our 'is_same' works.
  16 static_assert(is_same<char, char>::value, "is_same is broken");
  17 static_assert(!is_same<char, char *>::value, "is_same is broken");
  18
  19 template <class _Tp, unsigned _AlignOf, unsigned _SizeOf>
  20 struct check_type {
  21   static constexpr const bool value =
  22     (alignof(_Tp) == _AlignOf) && (sizeof(_Tp) == _SizeOf);
  23 };
  24
  25 //===----------------------------------------------------------------------===//
  26 // Fundamental types
  27 //===----------------------------------------------------------------------===//
  28
  29 static_assert(check_type<bool, 1, 1>::value, "bool is wrong");
  30
  31 static_assert(check_type<char, 1, 1>::value, "char is wrong");
  32 static_assert(check_type<signed char, 1, 1>::value, "signed char is wrong");
  33 static_assert(check_type<unsigned char, 1, 1>::value, "unsigned char is wrong");
  34
  35 static_assert(check_type<char16_t, 2, 2>::value, "char16_t is wrong");
  36 static_assert(check_type<char32_t, 4, 4>::value, "char32_t is wrong");
  37 static_assert(check_type<wchar_t, 4, 4>::value, "wchar_t is wrong");
  38
  39 static_assert(check_type<short, 2, 2>::value, "short is wrong");
  40 static_assert(check_type<unsigned short, 2, 2>::value, "unsigned short is wrong");
  41
  42 static_assert(check_type<int, 4, 4>::value, "int is wrong");
  43 static_assert(check_type<unsigned int, 4, 4>::value, "unsigned int is wrong");
  44
  45 static_assert(check_type<long, 8, 8>::value, "long is wrong");
  46 static_assert(check_type<unsigned long, 8, 8>::value, "unsigned long is wrong");
  47
  48 static_assert(check_type<long long, 8, 8>::value, "long long is wrong");
  49 static_assert(check_type<unsigned long long, 8, 8>::value, "unsigned long long is wrong");
  50
  51 static_assert(check_type<float, 4, 4>::value, "float is wrong");
  52 static_assert(check_type<double, 8, 8>::value, "double is wrong");
  53 static_assert(check_type<long double, 16, 16>::value, "long double is wrong");
  54
  55 static_assert(check_type<void *, 8, 8>::value, "'void *' is wrong");
  56 static_assert(check_type<int (*)(int), 8, 8>::value, "function pointer is wrong");
  57
  58 //===----------------------------------------------------------------------===//
  59 // stdarg.h
  60 //===----------------------------------------------------------------------===//
  61
  62 #include <stdarg.h>
  63
  64 static_assert(check_type<va_list, 8, 24>::value, "va_list is wrong");
  65
  66 //===----------------------------------------------------------------------===//
  67 // stddef.h
  68 //===----------------------------------------------------------------------===//
  69
  70 #define __STDC_WANT_LIB_EXT1__ 1
  71 #include <stddef.h>
  72
  73 static_assert(is_same<long int, ::ptrdiff_t>::value, "::ptrdiff_t is wrong");
  74 static_assert(is_same<decltype(sizeof(char)), ::size_t>::value, "::size_t is wrong");
  75 static_assert(is_same<long unsigned int, ::size_t>::value, "::size_t is wrong");
  76 static_assert(is_same<long unsigned int, ::rsize_t>::value, "::rsize_t is wrong");
  77 static_assert(is_same<long double, ::max_align_t>::value, "::max_align_t is wrong");
  78
  79 #define __need_wint_t
  80 #include <stddef.h>
  81
  82 static_assert(is_same<int, ::wint_t>::value, "::wint_t is wrong");
  83