Skip to content

Check atomic access alignment requirements #475

New issue
New issue
Closed
#876
Closed
Check atomic access alignment requirements#475
#876
Labels
A-validationArea: This affects enforcing the validity invariant, and related UB checkingC-bugCategory: This is a bug.I-misses-UBImpact: makes Miri miss UB, i.e., a false negative (with default settings)
@RalfJung

Description

@RalfJung
RalfJung
opened on Oct 12, 2018

As pointed out in rust-lang/rust#53514, atomic accesses have higher alignment requirements than normal accesses. We should model this properly in miri.

Metadata

Metadata

Assignees

No one assigned

    Labels

    A-validationArea: This affects enforcing the validity invariant, and related UB checkingC-bugCategory: This is a bug.I-misses-UBImpact: makes Miri miss UB, i.e., a false negative (with default settings)

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions