Skip to content

fix: type of offset for applyBinOp(binOpOffset, ...)#936

Merged
automergerpr-permission-manager[bot] merged 2 commits intomasterfrom
mk/offset-count
Feb 9, 2026
Merged

fix: type of offset for applyBinOp(binOpOffset, ...)#936
automergerpr-permission-manager[bot] merged 2 commits intomasterfrom
mk/offset-count

Conversation

@mariaKt
Copy link
Collaborator

@mariaKt mariaKt commented Feb 6, 2026

The type of the offset that can reach this rule can be unsigned or signed, depending on the method used in the source code (offset, get_unchecked). This PR makes that change, and updates the relevant tests.

@mariaKt mariaKt marked this pull request as ready for review February 9, 2026 02:15
Copy link
Member

@jberthold jberthold left a comment

Choose a reason for hiding this comment

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

LGTM!

@automergerpr-permission-manager automergerpr-permission-manager bot merged commit 174f26a into master Feb 9, 2026
7 checks passed
@automergerpr-permission-manager automergerpr-permission-manager bot deleted the mk/offset-count branch February 9, 2026 02:28
automergerpr-permission-manager bot pushed a commit that referenced this pull request Feb 11, 2026
- More `BinOp::Offset` tests #935
- fix: type of offset for applyBinOp(binOpOffset, ...) #936
- Add type-correcting projections on pointer cast and related operations
#937

---------

Co-authored-by: Maria Kotsifakou <kotsifakou.maria@gmail.com>
Co-authored-by: Jost Berthold <jost.berthold@gmail.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants