Auto merge of #1738 - RalfJung:rustup, r=RalfJung

rustup

The error message is not entirely right now, but close enough... let's get CI to pass before we miss other breakage.

rustup

Auto merge of #1736 - DJMcNab:rust-analyzer-private, r=RalfJung

Opt-in to rustc_private for `rust-analyzer`

rust-analyzer/rust-analyzer#7891

Add link to pr for documentation

Auto merge of #1737 - rust-lang:oli-obk-patch-1, r=oli-obk

mir-opt-level 4 is the new 3

cc https://github.com/rust-lang/rust/pull/82736

mir-opt-level 4 is the new 3

Auto merge of #1735 - m-ou-se:remove-unwrap-none, r=RalfJung

Remove unwrap_none/expect_none, take 2.

This is https://github.com/rust-lang/miri/pull/1734, but now with a better alternative.

This also upgrades rustc to the latest version, to be able to use the better alternative (`try_insert`).

Opt-in to rustc_private for `rust-analyzer`

rust-analyzer/rust-analyzer#7891

Fix panic test.

Remove unwrap_none as it won't be stabilized.

This upgrades to the latest rustc to be able to use try_insert()
instead.

Auto merge of #1733 - Smittyvb:breakpoint-intrinsic, r=RalfJung

Support breakpoint intrinsic

The `breakpoint` intrinsic raises a `SIGTRAP` signal. If a debugger is attached to a normal program, then `SIGTRAP` can be used to trigger breakpoints in debuggers like `gdb`. If there is no debugger, then the program exits with a message like `Trace/breakpoint trap (core dumped)`. This adds support for the intrinsic in Miri. While actually passing through the `SIGTRAP` doesn't make sense in a Miri context (if it just raised the signal normally then it would allow for debugging Miri itself, not the program being evaluated). As such, it just raises an error.

Check arg count

Co-authored-by: Ralf Jung <post@ralfj.de>

Support breakpoint intrinsic

Auto merge of #1732 - RalfJung:atomic_op, r=RalfJung

rename atomic_op_min_max -> atomic_op

The corresponding enum is called `AtomicOp` so IMO this also makes more sense as the name for the function.

rename atomic_op_min_max -> atomic_op

Auto merge of #1721 - henryboisdequin:add-atomic-min-and-max, r=oli-obk

Add atomic min and max

Closes #1718
Previous attempt: #1653

TODO:

- [x] Merge `atomic_op` and `atomic_min_max` functions
- [x] Fix CI

**Note:** this PR also removes arbitrary trailing whitespace and generally formats the affected files

Add in `atomic_{min,max}_x` intrinsics

Co-authored-by: Greg Bowyer <gbowyer@fastmail.co.uk>

fmt data_race.rs and intrinsics.rs

Auto merge of #1730 - RalfJung:zulip, r=oli-obk

add date to Zulip notification subject

We sometimes have discussions in those threads; let's make sure we have a new thread for each new day (which likely means a new problem... or nobody got around to fixing things yet^^).

Auto merge of #1731 - RalfJung:ci, r=oli-obk

adjust CI test flags

`RUST_TEST_NOCAPTURE` seems to make no difference except for making compiletest output not use colors any more; `RUST_BACKTRACE` is already set by `compiletest.rs`.

adjust CI test flags

Auto merge of #1729 - RalfJung:rustup, r=RalfJung

rustup; fix tests for new MIR optimization

Somehow https://github.com/rust-lang/rust/pull/78360 manages to mask UB. This would make sense if there were loops or things like that, but there are not, so really this is just very confusing...

add date to Zulip notification subject

make optimized-test-run a bit more like what cargo does

rustup; fix tests for new MIR optimization

Auto merge of #1728 - RalfJung:rustup, r=RalfJung

rustup

Let's see if that version still all works

rustup

Auto merge of #1726 - hyd-dev:stub-d, r=RalfJung

cargo-miri: create stub .d files

Thanks `@RalfJung` for the discovery: https://github.com/rust-lang/miri/issues/1724#issuecomment-787115693 :heart:
Fixes #1724.

Cleanup test-cargo-miri/run-test.py

Drop MIRIFLAGS from "no rebuild" test

Clarify that the "dep-info" is fake and add a newline

Create stub .d files

Auto merge of #1725 - RalfJung:zst-reborrow, r=RalfJung

fix reborrowing of tagged ZST references

`@SkiFire13` [pointed out](https://github.com/rust-lang/rust/pull/82554#issuecomment-787088712) that Miri fails to detect illegal use of empty slices. This PR fixes that. In so doing, it uncovers a flaw of Stacked Borrows: it is incompatible with how the formatting machinery uses `extern type`, so for now we skip reborrowing when we cannot determine the exact size of the pointee.

fix reborrowing of tagged ZST references

Auto merge of #1723 - RalfJung:cargo-miri, r=RalfJung

cargo-miri: avoid unnecessary rebuilds

Fixes https://github.com/rust-lang/miri/issues/1722

create more fake files for cdylibs and staticlibs

test for unnecessary rebuilds in 'cargo miri run'

Auto merge of #1720 - RalfJung:rustup, r=RalfJung

rustup

Prevent MIR optimizations from removing this read.

rustup

Auto merge of #1716 - tmiasko:rustup, r=RalfJung

rustup to e7c23ab933ebc1f205c3b59f4ebc85d40f67d404

rustup to e7c23ab933ebc1f205c3b59f4ebc85d40f67d404

Auto merge of #1715 - RalfJung:rustup, r=RalfJung

rustup

rustup

Auto merge of #1714 - RalfJung:rustup, r=RalfJung

rustup

Fixes https://github.com/rust-lang/miri/issues/1711

rustup

Auto merge of #1712 - RalfJung:rustup, r=RalfJung

Rustup

Fixes https://github.com/rust-lang/miri/issues/1706
Cc https://github.com/rust-lang/miri/issues/1711 for the temporarily disabled tests

add test by @eddyb

rustup and temporarily disable broken tests

Auto merge of #1710 - hyd-dev:crate-types, r=RalfJung

 Patch `--extern` arguments in `phase_cargo_rustc` as well

Fixes #1705.

Add a `cdylib`-only crate test

Use the `issue-1567` dependency in the test

Stop skipping `cdylib`

Patch `--extern` arguments in `phase_cargo_rustc` as well

Extract `--extern` filenames patching code to `forward_patched_extern_arg()`

Co-authored-by: Tristan Dannenberg <dtristan@hotmail.de>

Auto merge of #1709 - hyd-dev:rlib, r=RalfJung

[cargo-miri] Don't skip `rlib` crates

Fixes #1691.

Revert the lock file version change

Make the test more consistent with other tests

[cargo-miri] Don't skip `rlib` crates

Auto merge of #1708 - RalfJung:issue-1567-test, r=RalfJung

add regression test for #1567

Adds a regression test for #1567.

add regression test for #1567

Auto merge of #1703 - calebzulawski:master, r=RalfJung

Remove non-power-of-two SIMD vectors

Closes https://github.com/rust-lang/rust/issues/81868.

Update rust-version

Remove non-power-of-two SIMD vectors

Auto merge of #1701 - m-ou-se:non-fmt-panic-lint, r=oli-obk

Update rust version and update tests.

This is a fix for https://github.com/rust-lang/rust/issues/81770

Update rust version.

- Allow new non_fmt_panic lint in test.
- Remove stabilized feature(wake_trait).

Auto merge of #1700 - RalfJung:rustup, r=RalfJung

rustup

Cc https://github.com/rust-lang/rust/issues/81726

rustup

Auto merge of #1699 - m-ou-se:panic-format, r=RalfJung

Remove unnecessary `format!()` in `panic!()`.

`panic!(format!(..))` will start giving a warning [soon](https://github.com/rust-lang/rust/pull/81645).

Remove unnecessary `format!()` in `panic!()`.

Auto merge of #1698 - RalfJung:rustup, r=RalfJung

rustup; remove some no-longer-needed Windows shims

libstd now calls these lock functions directly, and `GetModuleHandleW` isn't use either any more since https://github.com/rust-lang/rust/pull/81478.

rustup; remove some no-longer-needed Windows shims

Auto merge of #1697 - RalfJung:rustup, r=RalfJung

rustup

Cc https://github.com/rust-lang/rust/issues/81551

rustup

Auto merge of #1693 - rust-lang:oli-obk-patch-1, r=RalfJung

Document -Zmiri-compare-exchange-weak-failure-rate

Update README.md

Update README.md

Co-authored-by: Ralf Jung <post@ralfj.de>

Auto merge of #1696 - RalfJung:abi-check, r=RalfJung

add test for caller ABI check

add test for caller ABI check

Auto merge of #1670 - unseddd:abi, r=RalfJung

Add ABI check for shims

Resolves #1631

Auto merge of #1694 - JohnTitor:rustup, r=RalfJung

Rustup for rust-lang/rust#79951

cc https://github.com/rust-lang/rust/issues/81467

Rustup for rust-lang/rust#79951

Document -Zmiri-compare-exchange-weak-failure-rate

Auto merge of #1686 - thomcc:cmpxchg_weak, r=oli-obk

Add random failures to compare_exchange_weak

In practice this is pretty useful for detecting bugs.

This fails more frequently than realistic (~~50%~~ (now 80%, controlled by a flag) of the time). I couldn't find any existing code that tries to model this (tsan, cdschecker, etc all seem to have TODOs there). Relacy models it with a 25% or 50% failure chance depending on some settings.

CC `@JCTyblaidd` who wrote the code this modifies initially, and seems interested in this subject.

Add ABI check for shims

Auto merge of #1692 - RalfJung:rustup, r=RalfJung

rustup; more slack for timing tests

rustup; more slack for timing tests

Auto merge of #1690 - RalfJung:rustup, r=RalfJung

rustup; allow some lints

erroneous_const span now changes with inlining

rustup; allow some lints

Allow configuring the failure rate with -Zmiri-compare-exchange-weak-failure-rate

Fail 80% of the time on weak cmpxchg, not 50%

review nits

Test that _weak atomics sometimes fail

Add random failures to compare_exchange_weak

Auto merge of #1688 - RalfJung:rustup, r=RalfJung

adjust Windows shims for stdlib changes (Windows XP removal)

adjust Windows shims for stdlib changes (Windows XP removal)

Auto merge of #1687 - hyd-dev:zulip, r=RalfJung

Fix `\n` in Zulip message

https://rust-lang.zulipchat.com/#narrow/stream/269128-miri/topic/Cron.20Job.20Failure/near/223865005:
> Dear `@**RalfJ**` and `@**oli**\n\nIt` would appear that the Miri cron job build failed. Would you mind investigating this issue?\n\nThanks in advance!\nSincerely,\nThe Miri Cronjobs Bot

This PR changes that to:
> Dear `@**RalfJ**` and `@**oli**`
>
> It would appear that the Miri cron job build failed. Would you mind investigating this issue?
>
> Thanks in advance!
> Sincerely,
> The Miri Cronjobs Bot

Fix `\n` in Zulip message

https://rust-lang.zulipchat.com/#narrow/stream/269128-miri/topic/Cron.20Job.20Failure/near/223865005

Auto merge of #1675 - hyd-dev:proc-macro-unit-test, r=RalfJung

 [cargo-miri] Skip unit tests of `proc-macro` crates

Fixes #1660.

Add a test for unit test of `proc-macro` crate