Skip to content

update for Memory API changes#1804

Merged
bors merged 5 commits intorust-lang:masterfrom
RalfJung:ptrless-allocs
May 19, 2021
Merged

update for Memory API changes#1804
bors merged 5 commits intorust-lang:masterfrom
RalfJung:ptrless-allocs

Conversation

@RalfJung
Copy link
Member

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

// 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
christian-schilling pushed a commit to christian-schilling/rustc_codegen_cranelift that referenced this pull request Jan 27, 2026
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`
christian-schilling pushed a commit to christian-schilling/rustc_codegen_cranelift that referenced this pull request Jan 27, 2026
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`
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