[Top][All Lists]

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

[PATCH 00/10] fixes

From: Akim Demaille
Subject: [PATCH 00/10] fixes
Date: Sun, 6 Dec 2020 14:10:27 +0100

We currently have failures in  Valentin provided some fixes
and improvements on his branch.  I had not installed them because the
example still fails after his fixes.  But yesterday I have
strenghtened the test suite for glr in such a way that today it is
very easy to run these tests on (see  That
gave me confidence on applying his commits, even though there are
still failures.

The new tests revealed two shortcomings.  Valentin, I would appreciate
if you could check at least the " fix yyresolveValue" commit.

In addition to the failure of the example, the test suit currently has
four new failures:

    712: Improper handling of embedded actions and dollar(-N) in GLR parsers: expected failure (
    718: Duplicate representation of merged trees: expected failure 
    730: Incorrectly initialized location for empty right-hand side in GLR: expected failure (
    748: Incorrect lookahead during nondeterministic GLR: expected 
failure (

I hope this will allow us to catch the remaining bug(s) more easily.
I'll install this in master once the CI validated it.  Meanwhile, it's
in ad/next.


Akim Demaille (7):
  glr.c: fix line numbers in logs fix when the stack is not expandable turn some pointers into references fix yyresolveValue add support for parse.assert use the same format for traces as glr.c run the glr-regression tests

Valentin Tolmer (3): use 'const' for some constant local variables fix memory corruption bug misc cleanups

 TODO                    |  16 +++
 data/skeletons/glr.c    |   4 +-
 data/skeletons/  | 305 +++++++++++++++++++++-------------------
 tests/ |  49 ++++++-
 tests/          |   3 +
 5 files changed, 224 insertions(+), 153 deletions(-)


reply via email to

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