New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Usage of Strict Provenance APIs #31

Open

xTachyon opened this issue Jan 23, 2025 · 0 comments

xTachyon commented Jan 23, 2025

Rust 1.84 recently stabilized Strict Provenance APIs, which should probably be used from now on in unsafe code.

Miri complains about integer-to-pointer casts, among other things:

warning: integer-to-pointer cast
  --> ..../.cargo/registry/src/index.crates.io-1949cf8c6b5b557f/region-3.0.2/src/util.rs:10:25
   |
10 |   let size = page::ceil(size as *const T) as usize;
   |                         ^^^^^^^^^^^^^^^^ integer-to-pointer cast

Could these be fixed in order to get a clean miri run, or close to it as possible?

The text was updated successfully, but these errors were encountered:

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment