Sitelet https://github.com/argotorg/fe/pull/1774
Skip to content

Preserve local separation for widened allocation offsets - #1774

Draft
sbillig wants to merge 1 commit into
argotorg:masterfrom
sbillig:fix/fresh-allocation-local-separation
Draft

sbillig wants to merge 1 commit into
argotorg:masterfrom
sbillig:fix/fresh-allocation-local-separation

Conversation

@sbillig

@sbillig sbillig commented Oct 4, 2026

Copy link
Copy Markdown
Collaborator

A loop advancing a pointer within a fresh allocation could falsely conflict with a mutable borrow of a local variable once the offset was widened. Preserve the allocation’s separation from local storage in uncertain-address comparisons, using the existing provenance check that stops at pointer loads.

@sbillig
sbillig marked this pull request as draft October 5, 2026 04:59

This branch has not been deployed

No deployments
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