1 files changed, 42 insertions, 0 deletions
diff --git a/gcc/testsuite/g++.dg/ext/tmplattr3.C b/gcc/testsuite/g++.dg/ext/tmplattr3.C
new file mode 100644
index 000000000..f8d3c1620
--- /dev/null
+++ b/gcc/testsuite/g++.dg/ext/tmplattr3.C
@@ -0,0 +1,42 @@
+// PR c++/17743
+
+template<typename T>
+struct X {
+  typedef char layout_type[sizeof(T)]
+  __attribute ((aligned(__alignof(double))));
+  layout_type data;
+};
+
+template<typename T>
+struct Y {
+  typedef char layout_type[sizeof(T)]
+  __attribute ((aligned(__alignof(T))));
+  layout_type data;
+};
+
+template<typename T>
+struct Z {
+  typedef char layout_type[sizeof(T)]
+  __attribute ((aligned(__alignof(T))));
+  struct Z2 {
+    layout_type data;
+  } in;
+};
+
+template<typename T>
+struct A;
+
+template <typename T>
+struct A<T*> {
+  typedef char layout_type[sizeof(T)]
+  __attribute ((aligned(__alignof(T))));
+  layout_type data;
+};
+
+template<bool> struct StaticAssert;
+template<> struct StaticAssert<true> {};
+
+StaticAssert<__alignof(X<double>) == __alignof(double)> d1;
+StaticAssert<__alignof(Y<double>) == __alignof(double)> d2;
+StaticAssert<__alignof(Z<double>) == __alignof(double)> d3;
+StaticAssert<__alignof(A<double*>) == __alignof(double)> d4;