Skip to content

Enable Miri's -Zmiri-tag-raw-pointers feature #414

@nicholasbishop

Description

@nicholasbishop

See https://github.com/rust-lang/miri#miri--z-flags-and-environment-variables for details, but basically this lets Miri do more checks on our pointer-heavy unsafe code.

#408 fixed some issues, but there are still a couple failing tests with this option enabled.

Metadata

Metadata

Labels

No labels
No labels

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions