diff options
| author | Matthias Krüger <matthias.krueger@famsik.de> | 2024-04-08 22:06:21 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-04-08 22:06:21 +0200 |
| commit | 0e27c99332438857751675b9dd55375db067558c (patch) | |
| tree | 35cd5743456ce8e0161c10e8f4b56da96b13d949 /tests/rustdoc-js-std/reference-shrink.js | |
| parent | ecfc3384f129452674b2e919f226c72c55148a24 (diff) | |
| parent | 3aa14e3b2e61739e8d0ec7883f9c185821ca5da2 (diff) | |
| download | rust-0e27c99332438857751675b9dd55375db067558c.tar.gz rust-0e27c99332438857751675b9dd55375db067558c.zip | |
Rollup merge of #123367 - jswrenn:layoutify, r=compiler-errors
Safe Transmute: Compute transmutability from `rustc_target::abi::Layout` In its first step of computing transmutability, `rustc_transmutability` constructs a byte-level representation of type layout (`Tree`). Previously, this representation was computed for ADTs by inspecting the ADT definition and performing our own layout computations. This process was error-prone, verbose, and limited our ability to analyze many types (particularly default-repr types). In this PR, we instead construct `Tree`s from `rustc_target::abi::Layout`s. This helps ensure that layout optimizations are reflected our analyses, and increases the kinds of types we can now analyze, including: - default repr ADTs - transparent unions - `UnsafeCell`-containing types Overall, this PR expands the expressvity of `rustc_transmutability` to be much closer to the transmutability analysis performed by miri. Future PRs will work to close the remaining gaps (e.g., support for `Box`, raw pointers, `NonZero*`, coroutines, etc.). r? `@compiler-errors`
Diffstat (limited to 'tests/rustdoc-js-std/reference-shrink.js')
0 files changed, 0 insertions, 0 deletions