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

update for Memory API changes #1804

Merged
merged 5 commits into from
May 19, 2021
Merged

Conversation

RalfJung
Copy link
Member

The Miri side of rust-lang/rust#85376.

@@ -29,7 +30,7 @@ pub fn main() {
// Uses relaxed semantics to not generate
// a release sequence.
let pointer = &*ptr.0;
pointer.store(Box::into_raw(Box::new(MaybeUninit::uninit())), Ordering::Relaxed);
pointer.store(Box::into_raw(Box::new_uninit()), Ordering::Relaxed);
Copy link
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

@JCTyblaidd I had to change this test as (I think) a bug got fixed where the "write" of a MaybeUninit::uninit() into this box did not trigger the "write" hook.

bors added a commit that referenced this pull request May 17, 2021
stop relying on c_str/wide_str helpers in rustc

This is a part of #1804 that we can already do.
@bors

This comment has been minimized.

@RalfJung RalfJung force-pushed the ptrless-allocs branch 2 times, most recently from dc3b8fe to e4462d5 Compare May 18, 2021 08:04
bors added a commit to rust-lang-ci/rust that referenced this pull request May 19, 2021
CTFE core engine allocation & memory API improvemenets

This is a first step towards rust-lang/miri#841.
- make `Allocation` API offset-based (no more making up `Pointer`s just to access an `Allocation`)
- make `Memory` API higher-level (combine checking for access and getting access into one operation)

The Miri-side PR is at rust-lang/miri#1804.
r? `@oli-obk`
@RalfJung
Copy link
Member Author

@bors r+

@bors
Copy link
Contributor

bors commented May 19, 2021

📌 Commit d1e5eee has been approved by RalfJung

@bors
Copy link
Contributor

bors commented May 19, 2021

⌛ Testing commit d1e5eee with merge 06f4794...

bors added a commit that referenced this pull request May 19, 2021
update for Memory API changes

The Miri side of rust-lang/rust#85376.
@RalfJung
Copy link
Member Author

@bors retry r+

@bors
Copy link
Contributor

bors commented May 19, 2021

📌 Commit e4a2715 has been approved by RalfJung

bors added a commit that referenced this pull request May 19, 2021
update for Memory API changes

The Miri side of rust-lang/rust#85376.
@bors
Copy link
Contributor

bors commented May 19, 2021

⌛ Testing commit e4a2715 with merge 1ae39d9...

@bors
Copy link
Contributor

bors commented May 19, 2021

💔 Test failed - checks-actions

@RalfJung
Copy link
Member Author

Oh interesting, tests are failing only for i686-pc-windows-msvc...

@RalfJung
Copy link
Member Author

@bors r+

@bors
Copy link
Contributor

bors commented May 19, 2021

📌 Commit aba96b8 has been approved by RalfJung

@bors
Copy link
Contributor

bors commented May 19, 2021

⌛ Testing commit aba96b8 with merge b0e5d5f...

@bors
Copy link
Contributor

bors commented May 19, 2021

☀️ Test successful - checks-actions
Approved by: RalfJung
Pushing b0e5d5f to master...

@bors bors merged commit b0e5d5f into rust-lang:master May 19, 2021
@RalfJung RalfJung deleted the ptrless-allocs branch May 19, 2021 16:14
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
S-blocked-on-rust Status: Blocked on landing a Rust PR
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants