Ben Kimock

Add a stable flag to enable/disable codegen UB checks

3

# Proposal We currently have one (https://github.com/rust-lang/compiler-team/issues/570), and soon possibly another (https://github.com/rust-lang/compiler-team/issues/624) MIR pass that inserts runtime checks for UB. The only way to disable these in a stable compiler...

Consider adding -Zcross-crate-inline-threshold=always

3

This project is already using `-Zmir-opt-level=4` because it seems to decrease the size of compiled artifacts. In my own limited experimentation, `-Zcross-crate-inline-threshold=always` also seems to have that effect. You might...

Figuring out how to fully get colors out of Miri

6

Miri emits colorful diagnostics only if it is connected to a TTY (we have had a bad time trying to implement `--color=always`). Since nextest launches tests in subprocesses and manages...

This code executes UB: https://github.com/Alexhuszagh/rust-lexical/blob/09c686b075096d48155cfb32265068f962afc56c/lexical-write-float/src/radix.rs#L70-L72 The docs for `MaybeUninit::uninit` do not have an exception for this use case. This code is UB, because the `MaybeUninit` is not initialized. The safety...

bacon reacts to every inotify event, possibly seeing a broken project

8

`vim` generates a number of inotify events when saving a file with `:w`. For example, these are the events from just one `:w`: ``` 22:48:09.623 [DEBUG] bacon::app: notify event: Event...

Print a backtrace in const eval if interrupted

80

Demo: ```rust #![feature(const_eval_limit)] #![const_eval_limit = "0"] const OW: u64 = { let mut res: u64 = 0; let mut i = 0; while i < u64::MAX { res = res.wrapping_add(i);...

Lower transmutes from int to pointer type as gep on null

38

I thought of this while looking at https://github.com/rust-lang/rust/pull/121242. See that PR's description for why this lowering is preferable. The UI test that's being changed here crashes without changing the transmutes...

Make function bodies with &! arguments unreachable

14

Implementation of https://github.com/rust-lang/unsafe-code-guidelines/issues/413#issuecomment-1579445262 r? @ghost

Detect truncated DepGraph files

6

I suspect that the following issues are caused by truncated incr comp files: * https://github.com/rust-lang/rust/issues/120582 * https://github.com/rust-lang/rust/issues/121499 * https://github.com/rust-lang/rust/issues/122210 We fail with an allocation failure or capacity overflow in this...

Move alignment checks to codegen

52

Implementing UB checks entirely in a MIR transform is quite limiting. Since MIR transforms work on polymorphic MIR we don't know for sure what all our types are, and sometimes...