Merge pull request #142 from tautschnig/knr-function-pointers

Parse KnR functions returning function pointers

Author: Daniel Kroening

regression/ansi-c/KnR3/test.desc

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

src/ansi-c/parser.y

@@ -3134,14 +3134,20 @@ parameter_postfixing_abstract_declarator:
               id2string(PARSER.current_scope().last_declarator)+"::");
           }
           parameter_type_list
-          ')'
+          ')' KnR_parameter_header_opt
         {
           $$=$1;
           set($$, ID_code);
           stack_type($$).subtype()=typet(ID_abstract);
           stack_type($$).add(ID_parameters).get_sub().
             swap((irept::subt &)(stack_type($3).subtypes()));
           PARSER.pop_scope();
+
+          if(stack($5).is_not_nil())
+          {
+            adjust_KnR_parameters(stack($$).add(ID_parameters), stack($5));
+            stack($$).set(ID_C_KnR, true);
+          }
         }
         ;