[Top][All Lists]

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

[PATCH 0/9] fixes

From: Akim Demaille
Subject: [PATCH 0/9] fixes
Date: Sun, 13 Dec 2020 08:49:18 +0100

This series of patches fixes minor issues and a couple of real
problems in  To catch them, self-checking features are added
to glr_stack_item and glr_state.

One test still fails:

    748: Incorrect lookahead during nondeterministic GLR:

This test fails twice: it does not behave as expected (some expected
output does not show), and then it crashes (heap-use-after-free).

I see there are more places where typed pointer arithmetics is used
(e.g., in semantic_option).  We need to make sure they are safe too,
or use raw pointer arithmetics.

I'll install this soon, unless someone fears I'm breaking something
(Valentin?).  It will probably help to fix the last known bug.

Akim Demaille (9): add sanity checks in glr_stack_item add sanity check in glr_state style fixes fix pointer arithmethics fix yycompressStack being pure is not an option make yyparse a member function make the example more C++
  glr.c: comment changes

 TODO                            |   3 +
 data/skeletons/glr.c            |  16 +-
 data/skeletons/          | 633 ++++++++++++++++++--------------
 examples/c++/glr/ast.hh         | 100 +++++
 examples/c++/glr/c++-types.test |   2 -
 examples/c++/glr/c++-types.yy   | 134 +------
 examples/c++/glr/       |   1 +
 tests/         |   3 -
 8 files changed, 484 insertions(+), 408 deletions(-)
 create mode 100644 examples/c++/glr/ast.hh


reply via email to

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