#5 ctool compiled with bison-1.875 (latest) fails to parse

[Benny Godlin]

Hi
I use ctool to build a regression verification tool base on
Daniel Kroening's CBMC.
When I compile ctool (on linux) with bison-1.875
it fails it generates parse errors no matter what
C code I try to parse with ctool (see errors below).
When I compile ctool with bison-1.25 on Linux
or SunOS everything goes OK.

Did anybody else tried to use compile ctool with bison-
1.875 and use it ?
Does anybody know what in (the structure) of
ctool/src/gram.y may cause the new version of bison to
generate bad parsers ?

Currently I work totally OK with bison-1.25
but I am not sure we want ctool to stay confined
to old version of bison.

Thanks
benny

The errors I got:

../rv_structs.h:25: Error (syntax error) before 'char'
char* cond;
^
../rv_structs.h:27: Warning - old-style declaration or
incorrect type:
} DCP;
^
../rv_structs.h:29: Error (syntax error) before 'Identifier'
CHANNEL RV_DEF_CHANNEL = { 4 };
^
../rv_structs.h:29: Warning - old-style declaration or
incorrect type:
CHANNEL RV_DEF_CHANNEL = { 4 };
^
tst1.rv:4: Unknown parameter: SIDE0_CHECK_POINTS:
SIDE0_CHECK_POINTS() {
^
tst1.rv:4: Error (syntax error) before 'Identifier'
SIDE0_CHECK_POINTS() {
^

[Benny Godlin]

a simple file on which ctool of bison-1.875 emits the above errors