[rustc_ty_utils] Treat `drop_in_place`'s *mut argument like &mut when adding LLVM attributes#111807

Merged

bors merged 11 commits into

rust-lang:masterfrom

erikdesjardins:noalias

May 23, 2023

Commits on May 20, 2023

[rustc_ty_utils] Add the LLVM `noalias` parameter attribute to `drop_in_place` in certain cases.

pcwalton
authored and
erikdesjardins
committed
Fix noalias box test

pcwalton
authored and
erikdesjardins
committed
Apply `noalias`, `nonnull`, `dereferenceable`, and `align` attributes unconditionally.

pcwalton
authored and
erikdesjardins
committed
Update documentation for `drop_in_place()`

pcwalton
authored and
erikdesjardins
committed
Add missing "unsafe" to fix doctest

pcwalton
authored and
erikdesjardins
committed
improve drop_in_place docs
erikdesjardins
committed
improve code checking for drop_in_place lang item
erikdesjardins
committed
ensure !Unpin types do not get noalias
erikdesjardins
committed
make noalias-box-off filecheck more precise
erikdesjardins
committed

Commits on May 21, 2023

drop_in_place docs: remove pseudocode-ish implementation details
erikdesjardins
committed

Commits on May 23, 2023

drop-in-place-noalias test: needs -O to ensure attributes are added on nopt builders
erikdesjardins
committed