about summary refs log tree commit diff
path: root/compiler/rustc_abi/src/tests.rs
AgeCommit message (Collapse)AuthorLines
2025-07-23Don't emit two `assume`s in transmutes when one is a subset of the otherScott McMurray-0/+63
For example, transmuting between `bool` and `Ordering` doesn't need two `assume`s because one range is a superset of the other. Multiple are still used for things like `char` <-> `NonZero<u32>`, which overlap but where neither fully contains the other.
2024-05-01coverage: Set up MC/DC bitmaps without additional unsafe codeZalathar-0/+7
Because this now always takes place at the start of the function, we can just use the normal `alloca` method and then initialize each bitmap immediately. This patch also moves bitmap setup out of the `mcdc_parameters` method, because there is no longer any particular reason for it to be there.