Skip to content

Fix spurious overflow in pointer subtraction#1909

Merged
sim642 merged 2 commits into
masterfrom
ptr-minus-speculating
Jan 16, 2026
Merged

Fix spurious overflow in pointer subtraction#1909
sim642 merged 2 commits into
masterfrom
ptr-minus-speculating

Conversation

@sim642
Copy link
Copy Markdown
Member

@sim642 sim642 commented Jan 16, 2026

Found by @karoliineh during dashboard evaluation.

@sim642 sim642 added this to the SV-COMP 2027 milestone Jan 16, 2026
@sim642 sim642 requested a review from karoliineh January 16, 2026 12:47
@sim642 sim642 added bug sv-comp SV-COMP (analyses, results), witnesses precision labels Jan 16, 2026
Copy link
Copy Markdown
Member

@karoliineh karoliineh left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Fixes the issue in the affected benchmarks that I manually checked.

@sim642 sim642 merged commit db15e2e into master Jan 16, 2026
19 checks passed
@sim642 sim642 deleted the ptr-minus-speculating branch January 16, 2026 14:17
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

bug precision sv-comp SV-COMP (analyses, results), witnesses

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants