From 1cc484a05cf9c7da8c859f3f52ea5a85009c4509 Mon Sep 17 00:00:00 2001 From: Roberto Ierusalimschy Date: Wed, 30 Apr 2025 18:23:40 -0300 Subject: 'nullable' ('checkaux') uses tag from 'verifyrule' When checking whether a rule is nullable, 'checkaux' reuses tag previously set by 'verifyrule'. --- lpcode.c | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) (limited to 'lpcode.c') 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); */ -- cgit v1.2.3-55-g6feb