diff options
Diffstat (limited to 'gcc/testsuite/g++.dg/cpp0x/gen-attrs-50.C')
-rw-r--r-- | gcc/testsuite/g++.dg/cpp0x/gen-attrs-50.C | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/gcc/testsuite/g++.dg/cpp0x/gen-attrs-50.C b/gcc/testsuite/g++.dg/cpp0x/gen-attrs-50.C new file mode 100644 index 0000000000..2479dfdf19 --- /dev/null +++ b/gcc/testsuite/g++.dg/cpp0x/gen-attrs-50.C @@ -0,0 +1,22 @@ +// { dg-do compile { target c++11 } } + +typedef char layout_type; + +template<class> struct A { + layout_type member alignas (double) alignas (int); +}; + +// Here, the spec says that A<int> should have the stricter alignment, +// so that would be the alignment of 'double', not 'int'. +static_assert (alignof (A<int>) == alignof (double), + "alignment of struct A must be alignof (double)"); + +template<class> struct alignas (1) alignas (alignof (long double)) B { + layout_type member; +}; + +// Similarly, the B<int> should have the stricter alignment, so that would +// so that would be the alignment of 'long double', not '1'. +static_assert (alignof (B<int>) == alignof (long double), + "alignment of struct A must be alignof (double double)"); + |