rust/compiler/rustc_mir_transform/src/check_pointers.rs, branch auto

mir: Use the `new` method for `BasicBlockData`

2025-06-29T12:39:13+00:00

Rework the logic for PointerFinder::visit_place

2025-04-28T12:36:47+00:00

This makes the implementation of our PointerFinder a bit more straightforward.

Extend the alignment check to borrows

2025-04-25T12:16:40+00:00

The current alignment check does not include checks for creating misaligned references from raw pointers, which is now added in this patch. When inserting the check we need to be careful with references to field projections (e.g. `&(*ptr).a`), in which case the resulting reference must be aligned according to the field type and not the type of the pointer.

Rollup merge of #136610 - Jarcho:range_idx, r=Noratrieb

2025-02-24T07:11:32+00:00

Allow `IndexSlice` to be indexed by ranges. This comes with some annoyances as the index type can no longer inferred from indexing expressions. The biggest offender for this is `IndexVec::from_fn_n(|idx| ..., n)` where the index type won't be inferred from the call site or any index expressions inside the closure. My main use case for this is mapping a `Place` to `Range` for value tracking where the range represents all the values the place contains.

Iterate directly on block indices in `rustc_mir_transform`

2025-02-21T21:10:31+00:00

Rename rustc_middle::Ty::is_unsafe_ptr to is_raw_ptr

2025-02-10T12:49:18+00:00

The wording unsafe pointer is less common and not mentioned in a lot of places, instead this is usually called a "raw pointer". For the sake of uniformity, we rename this method. This came up during the review of https://github.com/rust-lang/rust/pull/134424.

Detect (non-raw) borrows of null ZST pointers in CheckNull

2025-02-08T21:38:16+00:00

Insert null checks for pointer dereferences when debug assertions are enabled

2025-01-31T11:13:34+00:00

Similar to how the alignment is already checked, this adds a check for null pointer dereferences in debug mode. It is implemented similarly to the alignment check as a MirPass. This is related to a 2025H1 project goal for better UB checks in debug mode: https://github.com/rust-lang/rust-project-goals/pull/177.

Refactor `PointerFinder` into a separate module

2025-01-30T10:08:37+00:00

This also parameterize the "excluded pointee types" and exposes a general method for inserting checks on pointers. This is a preparation for adding a NullCheck that makes use of the same code.