Skip to content

ptr_metadata test: avoid ptr-to-int transmutes #95516

New issue

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

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

Already on GitHub? # to your account

Merged
merged 1 commit into from
Apr 1, 2022

Conversation

RalfJung
Copy link
Member

Pointers can have provenance, integers don't, so transmuting pointers to integers creates "non-standard" values and it is unclear how well those can be supported (rust-lang/unsafe-code-guidelines#286).

So for this test let's take the safer option and use a pointer type instead. That also makes Miri happy. :)

@rust-highfive
Copy link
Contributor

r? @joshtriplett

(rust-highfive has picked a reviewer for you, use r? to override)

@rust-highfive rust-highfive added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label Mar 31, 2022
@bjorn3 bjorn3 added the A-strict-provenance Area: Strict provenance for raw pointers label Mar 31, 2022
@dtolnay
Copy link
Member

dtolnay commented Mar 31, 2022

@bors r+ rollup

@bors
Copy link
Collaborator

bors commented Mar 31, 2022

📌 Commit 907ba11 has been approved by dtolnay

@bors bors added S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion. and removed S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. labels Mar 31, 2022
@dtolnay dtolnay assigned dtolnay and unassigned joshtriplett Mar 31, 2022
matthiaskrgr added a commit to matthiaskrgr/rust that referenced this pull request Mar 31, 2022
ptr_metadata test: avoid ptr-to-int transmutes

Pointers can have provenance, integers don't, so transmuting pointers to integers creates "non-standard" values and it is unclear how well those can be supported (rust-lang/unsafe-code-guidelines#286).

So for this test let's take the safer option and use a pointer type instead. That also makes Miri happy. :)
matthiaskrgr added a commit to matthiaskrgr/rust that referenced this pull request Apr 1, 2022
ptr_metadata test: avoid ptr-to-int transmutes

Pointers can have provenance, integers don't, so transmuting pointers to integers creates "non-standard" values and it is unclear how well those can be supported (rust-lang/unsafe-code-guidelines#286).

So for this test let's take the safer option and use a pointer type instead. That also makes Miri happy. :)
bors added a commit to rust-lang-ci/rust that referenced this pull request Apr 1, 2022
…askrgr

Rollup of 6 pull requests

Successful merges:

 - rust-lang#95475 (rustdoc: Only show associated consts from inherent impls in sidebar)
 - rust-lang#95516 (ptr_metadata test: avoid ptr-to-int transmutes)
 - rust-lang#95528 (skip slow int_log tests in Miri)
 - rust-lang#95531 (expand: Do not count metavar declarations on RHS of `macro_rules`)
 - rust-lang#95532 (make utf8_char_counts test faster in Miri)
 - rust-lang#95546 (add notes about alignment-altering reallocations to Allocator docs)

Failed merges:

r? `@ghost`
`@rustbot` modify labels: rollup
@bors bors merged commit 3245e61 into rust-lang:master Apr 1, 2022
@rustbot rustbot added this to the 1.61.0 milestone Apr 1, 2022
@RalfJung RalfJung deleted the ptrs-not-ints branch April 1, 2022 23:48
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
A-strict-provenance Area: Strict provenance for raw pointers S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

7 participants