Miri rename undef uninit

[pnadon]

The changes made here are related to issue #71193 on Rust, and the pull request 74664 on Rust.

1. renamed ScalarMaybeUninit::not_undef to check_init
2. renamed Immediate::to_scalar_or_undef to Immediate::to_scalar_or_uninit

[RalfJung]

This looks good, thanks. :)

[pnadon]

I will check the build on my local machine, using rustc with the changes made in the previously mentioned PR

[pnadon]

The local build I did of Miri, using the steps defined here compiled successfully using the changes made in this pull request.

[RalfJung]

Awesome, thanks for checking that :)

[RalfJung]

@pnadon can you extend this PR to update the rust-version file, now that your rustc PR landed?

[pnadon]

@RalfJung it should be the hash for the commit below, correct?

rust-lang/rust@13f9aa1

[RalfJung]

Yes, the hash of latest master.

[pnadon]

It seems as though there is a conflict due to someone changing the rust-version since I started working on this.

[RalfJung]

Ah good point... that someone is probably me. ;)
Can you rebase your PR on top of current master, and then do the rust-version edit again?

[pnadon]

@RalfJung done!

[RalfJung]

@pnadon CI isn't happy, something is not building:

error[E0599]: no method named `not_undef` found for enum `rustc_mir::interpret::ScalarMaybeUninit<stacked_borrows::Tag>` in the current scope
   --> src/shims/foreign_items.rs:203:50
    |
203 |                 let ptr = this.read_scalar(ptr)?.not_undef()?;
    |                                                  ^^^^^^^^^ method not found in `rustc_mir::interpret::ScalarMaybeUninit<stacked_borrows::Tag>`

[pnadon]

I checked just now, and the error was due to upstream insertions, one of which used "not_undef". The latest commit fixes this.

[RalfJung]

Thanks. :)
@bors r+

[bors]

📌 Commit 6dd700f has been approved by RalfJung

[bors]

⌛ Testing commit 6dd700f with merge 345b033...

[bors]

☀️ Test successful - checks-travis, status-appveyor
Approved by: RalfJung
Pushing 345b033 to master...