Ben Kimock

Totally-not-a-tracking-issue for UB-detecting debug assertions in the standard library

2

### What's this? For a long time, we've been trickling support into the standard library for detecting at runtime calls to unsafe functions that violate their documented preconditions. These checks...

MIR-only rlibs

26

Status update: The strategy I implemented in this PR is to make builds of non-rlib crates monomorphize *everything* they need. I was quite thorough about this and had to add...

Only generate a ptrtoint in AtomicPtr codegen when absolutely necessary

9

This special case was added in this PR: https://github.com/rust-lang/rust/pull/77611 in response to this error message: ``` Intrinsic has incorrect argument type! void ({}*)* @llvm.ppc.cfence.p0sl_s in function rust_oom LLVM ERROR: Broken...

Avoid lowering code under dead SwitchInt targets

52

The objective of this PR is to detect and eliminate code which is guarded by an `if false`, even if that `false` is a constant which is not known until...

Uploading this file with aws_sdk_s3::Client::put_object produces a 500

2

### Describe the bug I have a tool https://github.com/saethlin/crater-at-home that ends up creating pretty large HTML files and uploads them to S3. And it suddenly started failing today when I...

This requires a bit of wiring and a new dependency, but the tests should correctly pass now regardless of what the host's time zone is. Fixes https://github.com/rust-lang/miri/issues/3522

localtime_r shim uses TZ variable from the host, not the interpreted program

5

Currently the test suite may fail to pass, unless you run it with `TZ=UTC ./miri test`. This is because the `localtime_r` shim reads the `TZ` variable from the host on...

GC runtime is O(allocations), so it eventually dominates runtime

2

I have been looking into the discussion we had on https://github.com/rust-lang/miri/pull/3194. I stuck some code into Miri that prints the fraction of runtime spent in the GC then turned it...

ICE when running tests in a no_std lib crate

6

This crate comes with a `aarch64-skyline-switch.json` file, I feel like there's some sort of target mismatch when I blindly run `cargo miri test` on it. So on the one hand...

Shim wishlist

17

I run Miri on the most-downloaded crates, with the flags `-Zmiri-panic-on-unsupported` and `--no-fail-fast` which basically asks Miri to try to run as many tests as it can. Searching all my...