GitHub/gf-core
1
0
Fork 1
mirror of https://github.com/GrammaticalFramework/gf-core.git synced 2026-09-14 22:36:01 -06:00
Code Issues Packages Projects Releases Wiki Activity

fix the loop detection

Browse Source
This commit is contained in:
Krasimir Angelov
2026-08-12 11:47:52 +02:00
parent c41b75a9cb
commit 79dc2594a3
1 changed files with 2 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
src/runtime/c/pgf/parser.cxx
+2 -1
View File
@@ -164,7 +164,7 @@ void PgfAbstractParser::symbol(Item *item, State *state, PgfSymbol sym)
// the following prevents infinite loops with epsilons // the following prevents infinite loops with epsilons
bool found = false; bool found = false;
CCat *prev_ccat = ccat; CCat *prev_ccat = ccat;
while (prev_ccat != NULL && prev_ccat->epsilon == 0 && prev_ccat->cont->state == state) { while (prev_ccat != NULL && prev_ccat->cont != NULL && prev_ccat->cont->state == state) {
if (prev_ccat->value == value_i && prev_ccat->lin_idx == lin_idx_i) { if (prev_ccat->value == value_i && prev_ccat->lin_idx == lin_idx_i) {
found = true; found = true;
break; break;
@@ -1390,6 +1390,7 @@ void PgfParser::suspend(Cont *cont,Item *item,bool do_predict,size_t n_suspended
arg_ccat = new CCat; arg_ccat = new CCat;
arg_ccat->fid = arg->fid; arg_ccat->fid = arg->fid;
arg_ccat->epsilon = arg; arg_ccat->epsilon = arg;
arg_ccat->cont = NULL;
arg_ccat->state = NULL; arg_ccat->state = NULL;
arg_ccat->lin_idx = arg->lin_idx; arg_ccat->lin_idx = arg->lin_idx;
arg_ccat->value = arg->value; arg_ccat->value = arg->value;