bug-bison
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Mismatch between HTML report and y.output


From: Domingo Alvarez Duarte
Subject: Mismatch between HTML report and y.output
Date: Thu, 18 Nov 2021 13:50:38 +0100
User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:78.0) Gecko/20100101 Thunderbird/78.13.0

Hello !

Trying to figure out the differences in detected conflicts between byacc/bison/lemon here https://github.com/mingodad/lalr-parser-test, I noticed that the generated states on "HTML report" doesn't seem to match with the ones on "y.output" for example for https://github.com/mingodad/cfront-3/blob/master/src/gram.y with bison 3.8.2 and it seems to obfuscate rather than clarify the problem.

y.output:

====

State 130

  174 decl: decl arg_lp • elist RP
  373 arg_list: arg_lp • arg_type_list ellipsis_opt RP fct_attributes

    DELETE       shift, and go to state 156
    ENUM         shift, and go to state 3
    NEW          shift, and go to state 157
    OPERATOR     shift, and go to state 158
    SIZEOF       shift, and go to state 159
    THIS         shift, and go to state 160
    LP           shift, and go to state 161
    NOT          shift, and go to state 162

====

But in the HTML report:

====

State 130
   48 tname → • qualified_tname
   49       | • qualified_tname lt temp_inst_parms gt
   50       | • NAME lt temp_inst_parms gt
   51 tp → • TYPE
   52    | • LINKAGE
   53    | • tname
   54    | • tn_list DECL_MARKER
   55    | • class_dcl
   56    | • enum_dcl
   57    | • DECL_MARKER
   58 type → • tp
   59      | • type TYPE
   60      | • type tname
   61      | • type class_dcl
   62      | • type enum_dcl
   63      | • type DECL_MARKER
   78 enum_dcl → • ENUM LC moe_list RC
   79          | • ENUM enumtag LC moe_list RC
   80          | • ENUM enumtag
   96 class_dcl → • class_head cl_mem_list RC inline_mem_defs
   97           | • AGGR tag
   98           | • AGGR qualified_tname lt temp_inst_parms gt
   99           | • AGGR DECL_MARKER
  111 class_head → • AGGR LC
  112            | • AGGR tag base_list LC
  113            | • AGGR qualified_tname lt temp_inst_parms gt base_list LC
  161 scope_qualifiers → • tn_list
  162 tn_list → • tscope
  163         | • tn_list tscope
  164 qualified_tname → • tn_list TNAME
  165                 | • TNAME
  174 decl → decl arg_lp • elist RP
  244 elist → • ex_list
  245 ex_list → • initializer
  246         | • ex_list CM initializer
  247 initializer → • e
  248             | • LC elist RC

...

====

Cheers !




reply via email to

[Prev in Thread] Current Thread [Next in Thread]