Skip to content

dfa: make slow-bail progress tracking direction-aware in reverse scans#609

Open
jmestwa-coder wants to merge 1 commit intogoogle:mainfrom
jmestwa-coder:reverse-dfa-bailout-progress
Open

dfa: make slow-bail progress tracking direction-aware in reverse scans#609
jmestwa-coder wants to merge 1 commit intogoogle:mainfrom
jmestwa-coder:reverse-dfa-bailout-progress

Conversation

@jmestwa-coder
Copy link
Copy Markdown

This patch fixes progress tracking in the DFA slow-bail path for reverse scans.

The existing logic measures progress as p - resetp, which is correct for forward traversal but not for reverse traversal, where p moves backward. In that case, the difference becomes negative after progress and can turn into a large unsigned value when cast to size_t, preventing the intended bailout check from triggering.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant