Remove `#![feature(const_generics)]` and `#![allow(incomplete_features)]`

Auto merge of #1678 - RalfJung:features, r=RalfJung

remove some unnecessary feature gates

remove some unnecessary feature gates

Auto merge of #1676 - RalfJung:zulip, r=RalfJung

undo cronjob deliberate failure

undo cronjob deliberate failure

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

rustup; make tests pass again

rustup; make tests pass again

Auto merge of #1672 - RalfJung:zulip, r=RalfJung

add Zulip site information

add Zulip site information

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

rustup

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

rustup

Auto merge of #1668 - RalfJung:zulip, r=RalfJung

fix zulip-send path

fix zulip-send path

Auto merge of #1667 - RalfJung:cron-fail-notification, r=RalfJung

send Zulip notification when cron job fails

Let's see if this works...

send Zulip notification when cron job fails

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

test Weak into_raw/from_raw on dangling ptrs

test Weak into_raw/from_raw on dangling ptrs

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

panicing now works with -Zmiri-track-raw-pointers

panicing now works with -Zmiri-track-raw-pointers

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

rustup; add an interesting alias test case

rustup; add an interesting alias test case

Auto merge of #1658 - RalfJung:forget, r=RalfJung

remove intrinsic that is now implemented in the rustc side

Since https://github.com/rust-lang/rust/pull/80040, we can rely on the pass introduced in https://github.com/rust-lang/rust/pull/79049 to lower away `forget`.

remove intrinsic that is now implemented in the rustc side

Auto merge of #1657 - RalfJung:zulip, r=RalfJung

link to our shiny new Zulip stream

link to our shiny new Zulip stream

Auto merge of #1656 - RalfJung:tests, r=RalfJung

test suite updates

test test suite harness with raw-ptr tracking

leak checker: also test AtomicPtr stored via 'swap'

rename test ref files for proper names

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

rustup + cargo-miri 'cargo update'

rustup + cargo-miri 'cargo update'

Auto merge of #1652 - RalfJung:update, r=RalfJung

rustup + cargo update

Also fixes cargo warnings about depending on yanked crates.

rustup + cargo update

Auto merge of #1644 - JCTyblaidd:detect_race_with_alloc, r=RalfJung

More tests, fix issue 1643 and detect races with allocation.

Fixes #1643 by disabling race detection for V-Table memory, adds race detection between r/w & memory allocation, and adds more tests.

~~There is one unusual result in dealloc_read_race_stack_drop.rs, where the stack variable is read by thread 0 & thread 2 and so reports a race with thread 0, any ideas for the cause of the read on thread 0?~~ Fixed, bug with reporting the index a read race occured in correctly.

Tidy new_allocation

Update rust version

Rework to work with machine hook.

Update src/data_race.rs

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

Fix review changes

Change to disable mir-opt in compile-flags

Disable tests in windows

Defeat the mir-opt=3 optimizer.

Update note

Fix bug with reporting wrong thread for races with reads & add thread ids to data-race tests

Add concurrent caller location test

Fix nits

Co-authored-by: bjorn3 <bjorn3@users.noreply.github.com>

Increase sleep times for the scheduler

Remove old FIXME

More tests, fix issue 1643 and detect races with allocation.

Auto merge of #1648 - RalfJung:windows-track-raw, r=RalfJung

enable track-raw-ptr tests on Windows

With https://github.com/rust-lang/rust/pull/79893 landed, raw-pointer-tracking now works even for the Windows runtime. :)

rustup

enable track-raw-ptr tests on Windows

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

rustup

rustup

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

Rustup; make use of AtomicPtr fixes

rustup; test AtomicPtr leak checker

Auto merge of #1642 - jonahwilliams:patch-1, r=RalfJung

Fix README.md typo "extend" -> "extent"

Just something I noticed while reading.

Fix README.md typo "extend" -> "extent"

Just something I noticed while reading

Auto merge of #1641 - JCTyblaidd:update_release_sequences, r=RalfJung

Weaken release sequences to match the C++20 memory model

See [Weaken Release Sequences](http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2018/p0982r1.html), since the exception for relaxed writes on the same thread as a release write not blocking release sequences was removed in the C++20 memory model compared to the C11 memory model the paper was based on. The implementation can be updated and simplified to match this.  [Rust is currently specified to use the C++20 memory model](https://doc.rust-lang.org/std/sync/atomic/index.html).

Fix caps

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

Fix typo

Update release sequence handling to C++20 semantics.

Auto merge of #1640 - RalfJung:readme, r=RalfJung

readme: mention data races

and mention cross-interpretation already in the intro

readme: mention data races, and mention cross-interpretation already in the intro

Auto merge of #1639 - m-ou-se:allocator, r=RalfJung

Update to new core::alloc::Allocator interface

This fixes the allocator test for the changes made to the allocator trait in `core` in https://github.com/rust-lang/rust/pull/79286

See https://github.com/rust-lang/rust/issues/79709

Use new std::alloc::Allocator interface.

This was changed in core.

Auto merge of #1636 - RalfJung:rustup, r=oli-obk

remove miri-rustc-tests

`@oli-obk` I am not sure if anyone used this program in the last few years. There are no instructions for how to use it. So I think keeping it working is just a waste of time. It now fails to build:
```
error[E0046]: not all trait items implemented, missing: `visit_foreign_item`
  --> src/bin/miri-rustc-tests.rs:36:17
   |
36 |                 impl<'tcx, 'hir> itemlikevisit::ItemLikeVisitor<'hir> for Visitor<'tcx> {
   |                 ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ missing `visit_foreign_item` in implementation
```
So I propose instead of me trying to figure out how to fix this, we just drop this ancient code.

Auto merge of #1635 - RalfJung:readme, r=oli-obk

update README

Data races are detected now, but also the amount of non-determinism went way up so reword that point.

remove miri-rustc-tests

update README

Auto merge of #1617 - JCTyblaidd:data_race_detector, r=RalfJung

Add simple data-race detector

Partially fixes data-race detection, see #1372, based on Dynamic Race Detection for C++11

- This does not explore weak memory behaviour, only exploring one sequentially consistent ordering.
- Data-race detection is only enabled after the first thread is created, so should have minimal overhead for non-concurrent execution.
- ~~Does not attempt to re-use thread id's so creating and joining threads lots of time in an execution will result in the vector clocks growing in size and slowing down program execution~~ It does now

fix some typos

Fix typos - looked into the papers handling of timestamps, after looking into it again, it seems the paper only increments the timestamp after release operations, so changed to approximation of that implementation.

Apply review changes, incrementing the clocks twice is an unnecessary hold-over from earlier versions so fixed.

Fix review changes

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

rustup; test sorting for provenance-correctness

rustup; test sorting for provenance-correctness

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

rustup

fix statx

rustup

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

Rustup

Includes https://github.com/rust-lang/miri/pull/1626 and https://github.com/rust-lang/miri/pull/1629.

avoid fallback logic (and we do not need the flag value currently anyway)

Make weak syscalls in std work.

std now looks up `getrandom` and `statx` with `dlsym` before attempting
to use `syscall(SYS_.., ..)`.

It also now passes all arguments as a machine-sized word, instead of
their original types.

Normalize column numbers

rustup

Run rustfmt on vector_clock.rs and data_race.rs

Add comment regarding seq-cst ordering & add test for disabling the data-race detector.

Convert extra benchmark program into cfg option.

Tidy up comments and function layout, should fix most of the review notes.

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

rustup; less strict timing tests

rustup; less strict timing tests

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

rustup

rustup

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

Rustup; test btreemap with raw ptr tracking

test btreemap with raw ptr tracking

remove some unnecessary feature flags

rustup and update test

Auto merge of #1615 - jyn514:contributing-instructions, r=RalfJung

Improve contributing instructions

This builds on the changes from https://github.com/rust-lang/miri/pull/1612 and should not be merged before.

- Fix incorrect comment
- Recommend `x.py setup` over manually editing config.toml
- Link to rustc-dev-guide

Improve contributing instructions

- Fix incorrect comment
- Recommend `x.py setup` over manually editing config.toml
- Link to rustc-dev-guide

Auto merge of #1612 - camelid:patch-1, r=RalfJung

CONTRIBUTING.md: Use `build --stage 1` instead of `build --stage 2`

It seems to work fine with `--stage 1` and it should be faster.

Cc #1610
Cc `@jyn514`

CONTRIBUTING.md: Update comment

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