Skip to content
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.

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

Retagging: do not retag 'raw reborrows' #78597

Merged
merged 1 commit into from
Nov 3, 2020
Merged

Conversation

RalfJung
Copy link
Member

@RalfJung RalfJung commented Oct 31, 2020

When doing &raw const (*raw_ptr).field, we do not want any retagging; the original provenance should be fully preserved.

Fixes rust-lang/miri#1608
Test added by rust-lang/miri#1614

Not sure whom to ask for review on this... @oli-obk can you have a look? Or maybe highfive makes a good choice.^^

@oli-obk
Copy link
Contributor

oli-obk commented Nov 1, 2020

r? @oli-obk

bors added a commit to rust-lang/miri that referenced this pull request Nov 1, 2020
Stacked Borrows: test raw-ref-to-field with raw ptr tracking

Adds a test for rust-lang/rust#78597 (blocked on that landing first)
@oli-obk
Copy link
Contributor

oli-obk commented Nov 2, 2020

@bors r+

@bors
Copy link
Contributor

bors commented Nov 2, 2020

📌 Commit 289c0d8 has been approved by oli-obk

@bors bors added the S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion. label Nov 2, 2020
@camelid camelid added the A-MIR Area: Mid-level IR (MIR) - https://blog.rust-lang.org/2016/04/19/MIR.html label Nov 2, 2020
Dylan-DPC-zz pushed a commit to Dylan-DPC-zz/rust that referenced this pull request Nov 3, 2020
Retagging: do not retag 'raw reborrows'

When doing `&raw const (*raw_ptr).field`, we do not want any retagging; the original provenance should be fully preserved.

Fixes rust-lang/miri#1608
Test added by rust-lang/miri#1614

Not sure whom to ask for review on this... `@oli-obk` can you have a look? Or maybe highfive makes a good choice.^^
@bors
Copy link
Contributor

bors commented Nov 3, 2020

⌛ Testing commit 289c0d8 with merge 0cd1516...

@bors
Copy link
Contributor

bors commented Nov 3, 2020

☀️ Test successful - checks-actions
Approved by: oli-obk
Pushing 0cd1516 to master...

@bors bors added the merged-by-bors This PR was explicitly merged by bors. label Nov 3, 2020
@bors bors merged commit 0cd1516 into rust-lang:master Nov 3, 2020
@rustbot rustbot added this to the 1.49.0 milestone Nov 3, 2020
bors added a commit to rust-lang/miri that referenced this pull request Nov 3, 2020
Stacked Borrows: test raw-ref-to-field with raw ptr tracking

Adds a test for rust-lang/rust#78597 (blocked on that landing first)
@RalfJung RalfJung deleted the raw-retag branch November 6, 2020 20:44
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
A-MIR Area: Mid-level IR (MIR) - https://blog.rust-lang.org/2016/04/19/MIR.html merged-by-bors This PR was explicitly merged by bors. 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.

Stacked Borrows: too much raw pointer retagging hurts
5 participants