Scott McMurray 4df0470c8c MaybeUninit::assume_init_read should have noundef load metadata ...

I was looking into `array::IntoIter` optimization, and noticed that it wasn't annotating the loads with `noundef` for simple things like `array::IntoIter<i32, N>`.

Turned out to be a more general problem as `MaybeUninit::assume_init_read` isn't marking the load as initialized (<https://rust.godbolt.org/z/Mxd8TPTnv>), which is unfortunate since that's basically its reason to exist.

This PR lowers `ptr::read(p)` to `copy *p` in MIR, which fortuitiously also improves the IR we give to LLVM for things like `mem::replace`.

2023-03-11 17:44:43 -08:00

..

allowed_slices.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

forbidden_slices.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

forbidden_slices.stderr

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

out_of_bounds_read.rs

Move /src/test to /tests

2023-01-11 09:32:08 +00:00

out_of_bounds_read.stderr

MaybeUninit::assume_init_read should have noundef load metadata

2023-03-11 17:44:43 -08:00