Make gcc_attribute5 work: attributes in parentheses

Author: tautschnig

regression/ansi-c/gcc_attributes5/main.c

@@ -21,6 +21,14 @@ STATIC_ASSERT(__alignof(var7)==8);
 
 void (__attribute__((aligned)) *****f1)(void);
 void (__attribute__((aligned)) f2)(void);
+
+int __attribute__((cdecl,regparm(0))) *foo1(int x);
+int __attribute__((cdecl,regparm(0))) *(foo2)(int x);
+int (__attribute__((cdecl,regparm(0))) *foo3)(int x);
+int (* __attribute__((cdecl,regparm(0))) foo4)(int x);
+typedef int (__attribute__((cdecl,regparm(0))) foo5)(int x);
+typedef int (__attribute__((cdecl,regparm(0))) *foo6)(int x);
+typedef int* (__attribute__((cdecl,regparm(0))) *foo7)(int x);
 
 #endif
 

regression/ansi-c/gcc_attributes5/test.desc

@@ -1,4 +1,4 @@
-KNOWNBUG
+CORE
 main.c
 
 ^EXIT=0$

src/ansi-c/parser.y

@@ -2881,6 +2881,32 @@ function_head:
 declarator:
           identifier_declarator
         | typedef_declarator
+        | paren_attribute_declarator
+        ;
+
+paren_attribute_declarator:
+          '(' gcc_type_attribute_list identifier_declarator ')'
+        {
+          stack_type($1)=typet(ID_abstract);
+          $2=merge($2, $1); // dest=$2
+          make_subtype($3, $2); // dest=$3
+          $$=$3;
+        }
+        | '(' gcc_type_attribute_list identifier_declarator ')' postfixing_abstract_declarator
+        {
+          stack_type($1)=typet(ID_abstract);
+          $2=merge($2, $1); // dest=$2
+          make_subtype($3, $2); // dest=$3
+          /* note: this is (a pointer to) a function ($5) */
+          /* or an array ($5) with name ($3) */
+          $$=$3;
+          make_subtype($$, $5);
+        }
+        | '*' paren_attribute_declarator
+        {
+          $$=$2;
+          do_pointer($1, $2);
+        }
         ;
 
 typedef_declarator:

src/ansi-c/parser_static.inc

@@ -193,6 +193,7 @@ static void make_subtype(typet &dest, typet &src)
          src.id()==ID_pointer ||
          src.id()==ID_code ||
          src.id()==ID_merged_type ||
+         src.id()==ID_abstract ||
          src.id()==ID_c_bit_field);
 
   typet *p=&dest;