Permit prefixed attributes with lists of declarations

Author: tautschnig

regression/ansi-c/gcc_attributes9/main.c

@@ -8,6 +8,9 @@ const char* __attribute__((section("s"))) bar1();
 const char* __attribute__((section("s"),weak)) bar2();
 const char* __attribute__((section("s"))) __attribute__((weak)) bar();
 
+volatile int __attribute__((__section__(".init.data1"))) txt_heap_base1;
+volatile int __attribute__((__section__(".init.data3"))) txt_heap_base, __attribute__((__section__(".init.data4"))) txt_heap_size;
+
 #endif
 
 int main()

src/ansi-c/c_storage_spec.h

@@ -82,10 +82,7 @@ class c_storage_spect
     a.is_register     |=b.is_register;
     a.is_inline       |=b.is_inline;
     a.is_thread_local |=b.is_thread_local;
-    a.is_weak         |=b.is_weak;
-    if(!b.alias.empty()) a.alias=b.alias;
-    if(!b.asm_label.empty()) a.asm_label=b.asm_label;
-    if(!b.section.empty()) a.section=b.section;
+    // attributes belong to the declarator, don't replace them
 
     return a;
   }

src/ansi-c/parser.y

@@ -971,18 +971,19 @@ declaring_list:
           // add the initializer
           to_ansi_c_declaration(stack($$)).add_initializer(stack($5));
         }
-        | declaring_list ',' declarator
+        | declaring_list ',' gcc_type_attribute_opt declarator
           post_declarator_attributes_opt
           {
             // type attribute goes into declarator
-            $3=merge($4, $3);
-            PARSER.add_declarator(stack($1), stack($3));
+            $5=merge($5, $3);
+            $4=merge($5, $4);
+            PARSER.add_declarator(stack($1), stack($4));
           }
           initializer_opt
         {
           // add in the initializer
           $$=$1;
-          to_ansi_c_declaration(stack($$)).add_initializer(stack($6));
+          to_ansi_c_declaration(stack($$)).add_initializer(stack($7));
         }
         ;