Changeset 4cc585b


Ignore:
Timestamp:
Aug 20, 2017, 9:26:37 AM (7 years ago)
Author:
Peter A. Buhr <pabuhr@…>
Branches:
ADT, aaron-thesis, arm-eh, ast-experimental, cleanup-dtors, deferred_resn, demangler, enum, forall-pointer-decay, jacob/cs343-translation, jenkins-sandbox, master, new-ast, new-ast-unique-expr, new-env, no_list, persistent-indexer, pthread-emulation, qualifiedEnum, resolv-new, with_gc
Children:
5916272
Parents:
274ce8c
Message:

first attempt to normalize push/pop, and fix K&R parsing bug

Location:
src
Files:
3 edited

Legend:

Unmodified
Added
Removed

  • src/Parser/parser.yy

    r274ce8c r4cc585b  
    1010// Created On       : Sat Sep  1 20:22:55 2001
    1111// Last Modified By : Peter A. Buhr
    12 // Last Modified On : Thu Aug 17 15:52:12 2017
    13 // Update Count     : 2489
     12// Last Modified On : Sun Aug 20 09:21:54 2017
     13// Update Count     : 2573
    1414//
    1515
    … …  
    131131%token ATTRIBUTE EXTENSION                                                              // GCC
    132132%token IF ELSE SWITCH CASE DEFAULT DO WHILE FOR BREAK CONTINUE GOTO RETURN
    133 %token CHOOSE DISABLE ENABLE FALLTHRU TRY CATCH CATCHRESUME FINALLY THROW THROWRESUME AT WITH   // CFA
     133%token CHOOSE DISABLE ENABLE FALLTHRU TRY CATCH CATCHRESUME FINALLY THROW THROWRESUME AT WITH // CFA
    134134%token ASM                                                                                              // C99, extension ISO/IEC 9899:1999 Section J.5.10(1)
    135135%token ALIGNAS ALIGNOF GENERIC STATICASSERT                             // C11
    … …  
    801801        | IF '(' push if_control_expression ')' statement ELSE statement
    802802                { $$ = new StatementNode( build_if( $4, $6, $8 ) ); }
    803         | SWITCH '(' comma_expression ')' case_clause           // CFA
     803        | SWITCH '(' comma_expression ')' case_clause
    804804                { $$ = new StatementNode( build_switch( $3, $5 ) ); }
    805805        | SWITCH '(' comma_expression ')' '{' push declaration_list_opt switch_clause_list_opt '}' // CFA
    … …  
    825825        comma_expression pop
    826826                { $$ = new IfCtl( nullptr, $1 ); }
    827         | c_declaration                                                                         // no semi-colon
     827        | c_declaration pop                                                                     // no semi-colon
    828828                { $$ = new IfCtl( $1, nullptr ); }
    829         | cfa_declaration                                                                       // no semi-colon
     829        | cfa_declaration pop                                                           // no semi-colon
    830830                { $$ = new IfCtl( $1, nullptr ); }
    831831        | declaration comma_expression                                          // semi-colon separated
    … …  
    11041104
    11051105KR_declaration_list_opt:                                                                // used to declare parameter types in K&R style functions
    1106         pop
     1106        // empty
    11071107                { $$ = nullptr; }
    11081108        | KR_declaration_list
    … …  
    11101110
    11111111KR_declaration_list:
    1112         c_declaration ';'
    1113         | KR_declaration_list push c_declaration ';'
     1112        push c_declaration pop ';'
     1113                { $$ = $2; }
     1114        | KR_declaration_list push c_declaration pop ';'
    11141115                { $$ = $1->appendList( $3 ); }
    11151116        ;
    … …  
    11311132
    11321133declaration:                                                                                    // old & new style declarations
    1133         c_declaration ';'
    1134         | cfa_declaration ';'                                                           // CFA
     1134        c_declaration pop ';'
     1135        | cfa_declaration pop ';'                                                       // CFA
    11351136        ;
    11361137
    … …  
    11471148
    11481149cfa_declaration:                                                                                // CFA
    1149         cfa_variable_declaration pop
    1150         | cfa_typedef_declaration pop
    1151         | cfa_function_declaration pop
    1152         | type_declaring_list pop
    1153         | trait_specifier pop
     1150        cfa_variable_declaration
     1151        | cfa_typedef_declaration
     1152        | cfa_function_declaration
     1153        | type_declaring_list
     1154        | trait_specifier
    11541155        ;
    11551156
    … …  
    13511352
    13521353c_declaration:
    1353         declaration_specifier declaring_list pop
     1354        declaration_specifier declaring_list
    13541355                {
    13551356                        $$ = distAttr( $1, $2 );
    13561357                }
    1357         | typedef_declaration pop
    1358         | typedef_expression pop                                                        // GCC, naming expression type
    1359         | sue_declaration_specifier pop
     1358        | typedef_declaration
     1359        | typedef_expression                                                            // GCC, naming expression type
     1360        | sue_declaration_specifier
    13601361        ;
    13611362
    … …  
    22302231                        $$ = $1->addFunctionBody( $2 );
    22312232                }
    2232         | KR_function_declarator push KR_declaration_list_opt compound_statement
     2233        | KR_function_declarator KR_declaration_list_opt compound_statement
    22332234                {
    22342235                        typedefTable.addToEnclosingScope( TypedefTable::ID );
    22352236                        typedefTable.leaveScope();
    2236                         $$ = $1->addOldDeclList( $3 )->addFunctionBody( $4 );
     2237                        $$ = $1->addOldDeclList( $2 )->addFunctionBody( $3 );
    22372238                }
    22382239        ;
    … …  
    22782279
    22792280                // Old-style K&R function definition, OBSOLESCENT (see 4)
    2280         | declaration_specifier KR_function_declarator push KR_declaration_list_opt with_clause_opt compound_statement
     2281        | declaration_specifier KR_function_declarator KR_declaration_list_opt with_clause_opt compound_statement
    22812282                {
    22822283                        typedefTable.addToEnclosingScope( TypedefTable::ID );
    22832284                        typedefTable.leaveScope();
    2284                         $$ = $2->addOldDeclList( $4 )->addFunctionBody( $6 )->addType( $1 );
    2285                 }
    2286         | type_qualifier_list KR_function_declarator push KR_declaration_list_opt with_clause_opt compound_statement
     2285                        $$ = $2->addOldDeclList( $3 )->addFunctionBody( $5 )->addType( $1 );
     2286                }
     2287        | type_qualifier_list KR_function_declarator KR_declaration_list_opt with_clause_opt compound_statement
    22872288                {
    22882289                        typedefTable.addToEnclosingScope( TypedefTable::ID );
    22892290                        typedefTable.leaveScope();
    2290                         $$ = $2->addOldDeclList( $4 )->addFunctionBody( $6 )->addQualifiers( $1 );
     2291                        $$ = $2->addOldDeclList( $3 )->addFunctionBody( $5 )->addQualifiers( $1 );
    22912292                }
    22922293
    22932294                // Old-style K&R function definition with "implicit int" type_specifier, OBSOLESCENT (see 4)
    2294         | declaration_qualifier_list KR_function_declarator push KR_declaration_list_opt with_clause_opt compound_statement
     2295        | declaration_qualifier_list KR_function_declarator KR_declaration_list_opt with_clause_opt compound_statement
    22952296                {
    22962297                        typedefTable.addToEnclosingScope( TypedefTable::ID );
    22972298                        typedefTable.leaveScope();
    2298                         $$ = $2->addOldDeclList( $4 )->addFunctionBody( $6 )->addQualifiers( $1 );
    2299                 }
    2300         | declaration_qualifier_list type_qualifier_list KR_function_declarator push KR_declaration_list_opt with_clause_opt compound_statement
     2299                        $$ = $2->addOldDeclList( $3 )->addFunctionBody( $5 )->addQualifiers( $1 );
     2300                }
     2301        | declaration_qualifier_list type_qualifier_list KR_function_declarator KR_declaration_list_opt with_clause_opt compound_statement
    23012302                {
    23022303                        typedefTable.addToEnclosingScope( TypedefTable::ID );
    23032304                        typedefTable.leaveScope();
    2304                         $$ = $3->addOldDeclList( $5 )->addFunctionBody( $7 )->addQualifiers( $2 )->addQualifiers( $1 );
     2305                        $$ = $3->addOldDeclList( $4 )->addFunctionBody( $6 )->addQualifiers( $2 )->addQualifiers( $1 );
    23052306                }
    23062307        ;

  • src/tests/.expect/64/KRfunctions.txt

    r274ce8c r4cc585b  
    7979    __attribute__ ((unused)) int (*___retval_f14__PA0A0i_1)[][((long unsigned int )10)];
    8080}
     81int __f15__Fi_iii__1(int __a__i_1, int __b__i_1, int __c__i_1){
     82    __attribute__ ((unused)) int ___retval_f15__i_1;
     83}
    8184const int __fred__FCi___1(){
    8285    __attribute__ ((unused)) const int ___retval_fred__Ci_1;

  • src/tests/KRfunctions.c

    r274ce8c r4cc585b  
    1010// Created On       : Thu Feb 16 15:23:17 2017
    1111// Last Modified By : Peter A. Buhr
    12 // Last Modified On : Wed May 24 22:05:00 2017
    13 // Update Count     : 3
     12// Last Modified On : Sun Aug 20 07:34:17 2017
     13// Update Count     : 7
    1414//
    1515
    … …  
    3737int ((* f13( a, b, c ))[])[10] int a, * b, c[]; {}
    3838int (((* f14( a, b, c ))[])[10]) int a, * b, c[]; {}
     39f15( a, b, c ) {}
    3940
    4041const fred() {
Note: See TracChangeset for help on using the changeset viewer.