re PR c++/17743 (dependent expressions in attributes)

	PR c++/17743
	* decl2.c (grokfield): Apply attributes also to TYPE_DECLs.

	PR c++/17743
	* g++.dg/ext/attrib17.C: New test.

From-SVN: r89164

gcc/cp/ChangeLog

+2004-10-17  Giovanni Bajo  <giovannibajo@gcc.gnu.org>
+
+	PR c++/17743
+	* decl2.c (grokfield): Apply attributes also to TYPE_DECLs.
+
 2004-10-16  Giovanni Bajo  <giovannibajo@gcc.gnu.org>
 
 	PR c++/10479

gcc/cp/decl2.c

@@ -879,6 +879,9 @@ grokfield (const cp_declarator *declarator,
       if (processing_template_decl)
 	value = push_template_decl (value);
 
+      if (attrlist)
+	cplus_decl_attributes (&value, attrlist, 0);
+
       return value;
     }
 

gcc/testsuite/ChangeLog

+2004-10-17  Giovanni Bajo  <giovannibajo@gcc.gnu.org>
+
+	PR c++/17743
+	* g++.dg/ext/attrib17.C: New test.
+
 2004-10-16  Eric Botcazou  <ebotcazou@libertysurf.fr>
 
 	* gcc.dg/bf-spl1.c: Use 'float' as the base type for FP types.

gcc/testsuite/g++.dg/ext/attrib17.C

+// { dg-do compile }
+// Origin: Benjamin Kosnik <bkoz at gcc dot gnu dot org>
+// PR c++/17743: Attributes applied to typedefs.
+
+struct A {
+  typedef char layout_type[sizeof(double)]
+  __attribute__((aligned(__alignof__(double))));
+  layout_type data;
+};
+
+struct B {
+  typedef char layout_type[sizeof(double)];
+  layout_type data   __attribute__((aligned(__alignof__(double))));
+};
+
+template<bool> struct StaticAssert;
+template<> struct StaticAssert<true> {};
+
+StaticAssert<__alignof__(A) == __alignof__(B)> a1;