test/SemaCXX/attr-cxx0x.cpp

   1 // RUN: %clang_cc1 -fsyntax-only -verify -std=c++11 %s
   2
   3 int align_illegal alignas(3); //expected-error {{requested alignment is not a power of 2}}
   4 char align_big alignas(int);
   5 int align_small alignas(1); // FIXME: this should be rejected
   6 int align_multiple alignas(1) alignas(8) alignas(1);
   7
   8 struct align_member {
   9   int member alignas(8);
  10 };
  11
  12 template <unsigned A> struct alignas(A) align_class_template {};
  13
  14 // FIXME: these should not error
  15 template <typename... T> alignas(T...) struct align_class_temp_pack_type {}; // expected-error{{pack expansions in alignment specifiers are not supported yet}}
  16 template <unsigned... A> alignas(A...) struct align_class_temp_pack_expr {}; // expected-error{{pack expansions in alignment specifiers are not supported yet}}
  17
  18 typedef char align_typedef alignas(8);
  19 template<typename T> using align_alias_template = align_typedef;
  20
  21 static_assert(alignof(align_big) == alignof(int), "k's alignment is wrong");
  22 static_assert(alignof(align_small) == 1, "j's alignment is wrong");
  23 static_assert(alignof(align_multiple) == 8, "l's alignment is wrong");
  24 static_assert(alignof(align_member) == 8, "quuux's alignment is wrong");
  25 static_assert(sizeof(align_member) == 8, "quuux's size is wrong");
  26 static_assert(alignof(align_typedef) == 8, "typedef's alignment is wrong");
  27 static_assert(alignof(align_class_template<8>) == 8, "template's alignment is wrong");
  28 static_assert(alignof(align_class_template<16>) == 16, "template's alignment is wrong");
  29 // FIXME: enable these tests
  30 // static_assert(alignof(align_class_temp_pack_type<short, int, long>) == alignof(long), "template's alignment is wrong");
  31 // static_assert(alignof(align_class_temp_pack_expr<8, 16, 32>) == 32, "template's alignment is wrong");
  32 static_assert(alignof(align_alias_template<int>) == 8, "alias template's alignment is wrong");