Skip to content

Allow ignoring alignment violations #1326

Closed
@shepmaster

Description

@shepmaster

Talking with @RalfJung, they suggested that Miri could learn a flag like -Zmiri-ignore-alignment.

The broader context is that I was basically asking about suppressions (see #788), so that I could ignore errors from a dependency and see if my code introduced any additional errors. The specific errors from the dependency were alignment-related, and @RalfJung pointed out that there's the possibility of false positives.

Metadata

Metadata

Assignees

No one assigned

    Labels

    A-interpreterArea: affects the core interpreterC-enhancementCategory: a PR with an enhancement or an issue tracking an accepted enhancement

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions