Skip to content

Make UnsafePinned handling properly per-byte #4819

Open
Open
Make UnsafePinned handling properly per-byte#4819
Assignees
RalfJung
Labels
A-aliasingArea: This affects the aliasing model (Stacked/Tree Borrows)C-enhancementCategory: a PR with an enhancement or an issue tracking an accepted enhancementI-misses-theoretical-UBImpact: Miri does not report UB when it should, but codegen also "misses" this UB
@RalfJung

Description

@RalfJung
RalfJung
opened on Jan 19, 2026

UnsafeCell gets treated in a per-byte way by SB and TB (at least in the default configuration). rust-lang/rust#151365 adds support for UnsafePinned, but so far we just handle this in an all-or-nothing way. We should make it per-byte as well.

Metadata

Metadata

Assignees

Labels

A-aliasingArea: This affects the aliasing model (Stacked/Tree Borrows)C-enhancementCategory: a PR with an enhancement or an issue tracking an accepted enhancementI-misses-theoretical-UBImpact: Miri does not report UB when it should, but codegen also "misses" this UB

Type

No type

Fields

No fields configured for issues without a type.

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions