Different conflicts between byacc and bison
Domingo Alvarez Duarte <[email protected]> Wed, 3 Nov 2021 19:27:08 +0100
| Newsgroups | gmane.comp.parsers.bison.bugs |
|---|---|
| Message-ID | <[email protected]> |
Hello ! I'm trying to build the CFRONT parser with bison instead of byacc and I've got bison to accept the grammar https://github.com/mingodad/cfront-3/blob/master/src/gram.y but the generated parser by bison has a small difference in the conflicts found in the grammar (see bellow) and also by comparison I tested the last C++ grammar from GCC 3.3.6 https://github.com/gcc-mirror/gcc/blob/releases/gcc-3.3.6/gcc/cp/parse.y and there byacc and bison seem to agree on the conflicts. I tested with two bison versions and both give the same results but the generated parser do not pass the tests. I'm pointing this here because it seems to be a good example of a corner case maybe not noticed so far. bison (GNU Bison) 3.0.4 bison (GNU Bison) 3.8.2 byacc - 1.9 20140715 ==== cfront-3/src$ bison -y gram.y gram.y: warning: 20 shift/reduce conflicts [-Wconflicts-sr] gram.y: warning: 4 reduce/reduce conflicts [-Wconflicts-rr] cfront-3/srv$ byacc gram.y byacc: 21 shift/reduce conflicts, 3 reduce/reduce conflicts. ==== ==== gcc-3.3.6/gcc/cp$ bison -y parse.y parse.y: warning: 33 shift/reduce conflicts [-Wconflicts-sr] parse.y: warning: 58 reduce/reduce conflicts [-Wconflicts-rr] gcc-3.3.6/gcc/cp$ byacc parse.y byacc: 33 shift/reduce conflicts, 58 reduce/reduce conflicts. ==== Cheers !