Skip to content

Fix overflow detection logic in state filter#3

Open
AmaliaI12 wants to merge 2 commits intomasterfrom
AmaliaI12/fix_overflow_detection
Open

Fix overflow detection logic in state filter#3
AmaliaI12 wants to merge 2 commits intomasterfrom
AmaliaI12/fix_overflow_detection

Conversation

@AmaliaI12
Copy link

Overflow detection depended on the type field being set to overflow_variable before the filter was applied. When the flag was not assigned, some valid overflow paths were ignored.

This PR depends on #2 . Please review after #2 is merged.

@razvand razvand self-requested a review January 16, 2026 15:09
@razvand razvand self-assigned this Jan 16, 2026
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.

3 participants