Prototype: Add unstable `-Z reference-niches` option - #113166

Merged

bors merged 13 commits into

rust-lang:masterfrom

moulins:ref-niches-initial

Jul 21, 2023

Commits on Jul 21, 2023

add `naive_layout_of` query
moulins
committed
cb8b1d1
properly handle arrays and wide pointers in `naive_layout_of`
moulins
committed
30ae640
add crate-local `-Z reference_niches` unstable flag (does nothing for now)
moulins
committed
8b847ef
restrict the valid range of references if `-Z reference-niches` is set
moulins
committed
3c05276
support non-null pointer niches in CTFE
moulins
committed
76c49ae
recover null-ptr optimization by adding a special case to the niching logic
moulins
committed
4fb039e
Don't treat ref. fields with non-null niches as `dereferenceable_or_null`
moulins
committed
403f34b
Track exactness in `NaiveLayout` and use it for `SizeSkeleton` checks
moulins
committed
c30fbb9
Track ABI info. in `NaiveLayout`, and use it for `PointerLike` checks
moulins
committed
feb20f2
Add doc-comments for `NaiveLayout`
moulins
committed
8e28729
Move `naive_layout_of` query provider in separate sibling module
moulins
committed
bf2f8ff
CTFE: move `target_{i, u}size_{min, max)` to `rustc_abi::TargetDataLayout`
moulins
committed
39cfe70
Track (partial) niche information in `NaiveLayout`
moulins
committed
7f10908