'nullable' ('checkaux') uses tag from 'verifyrule'

When checking whether a rule is nullable, 'checkaux' reuses tag
previously set by 'verifyrule'.

1 files changed, 6 insertions, 1 deletions

diff --git a/lpcode.c b/lpcode.c
index f3b8ae3..2a4e642 100644
--- a/lpcode.c
+++ b/lpcode.c
@@ -139,7 +139,12 @@ int checkaux (TTree *tree, int pred) {
       if (checkaux(sib2(tree), pred)) return 1;
       /* else return checkaux(sib1(tree), pred); */
       tree = sib1(tree); goto tailcall;
-    case TCapture: case TGrammar: case TRule: case TXInfo:
+    case TRule:
+      assert(tree->cap == RLNULL || tree->cap == RLNONNULL);
+      if (pred == PEnullable)
+        return (tree->cap == RLNULL);
+    /* else */ /* FALLTHROUGH */
+    case TCapture: case TGrammar: case TXInfo:
       /* return checkaux(sib1(tree), pred); */
       tree = sib1(tree); goto tailcall;
     case TCall:  /* return checkaux(sib2(tree), pred); */