about summary refs log tree commit diff
path: root/compiler/rustc_llvm/llvm-wrapper/CoverageMappingWrapper.cpp
diff options
context:
space:
mode:
authorJack Wrenn <jack@wrenn.fyi>2024-03-19 14:49:13 +0000
committerJack Wrenn <jack@wrenn.fyi>2024-04-08 15:36:52 +0000
commit3aa14e3b2e61739e8d0ec7883f9c185821ca5da2 (patch)
treee9a2c7adb125293cdec06758a2f42aed498bbbff /compiler/rustc_llvm/llvm-wrapper/CoverageMappingWrapper.cpp
parentd6eb0f5a09247ff8443e68b4d17e0350c74bafb1 (diff)
downloadrust-3aa14e3b2e61739e8d0ec7883f9c185821ca5da2.tar.gz
rust-3aa14e3b2e61739e8d0ec7883f9c185821ca5da2.zip
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.).
Diffstat (limited to 'compiler/rustc_llvm/llvm-wrapper/CoverageMappingWrapper.cpp')
0 files changed, 0 insertions, 0 deletions