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

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>

Auto merge of #1620 - RalfJung:overflow, r=RalfJung

enable overflow checks in the standard library

enable overflow checks in the standard library

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

rustup

rustup

Auto merge of #1614 - RalfJung:raw-retag, r=RalfJung

Stacked Borrows: test raw-ref-to-field with raw ptr tracking

Adds a test for https://github.com/rust-lang/rust/pull/78597 (blocked on that landing first)

rustup

fix trophy case URL

test Rc with raw pointer tracking

fix writing to read-only raw pointer in thread-local test

Stacked Borrows: test raw-ref-to-field with raw ptr tracking

Auto merge of #1613 - RalfJung:test-normalize, r=RalfJung

backtrace tests: support more ways of checking out Rust locally

Tests failed when using a local build as my folders are called `rustc`, `rustc.2`, ...
Expand the regex to also support that naming scheme.

backtrace tests: support more ways of checking out Rust locally

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

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

Auto merge of #1611 - RalfJung:timing-tests, r=RalfJung

increase timeout to avoid spurious test failures

just saw this fail on macOS in PR CI, so add some extra safety margin

increase timeout to avoid spurious test failures

Auto merge of #1610 - camelid:patch-2, r=RalfJung

Update locally-built rustc instructions

Cc rust-lang/rust#78435

Update locally-built rustc instructions

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

Fix link in README

The section it references is now in `CONTRIBUTING.md`.

Fix link in README

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

rustup

rustup

Auto merge of #1606 - RalfJung:trophy, r=oli-obk

update trophy case

Auto merge of #1603 - RalfJung:track-raw, r=oli-obk

add an option to track raw pointer tags in Stacked Borrows

Also make error messages more informative by printing the affected memory location

update trophy case

test raw pointer tracking; we cannot track raw pointers on Windows

Auto merge of #1604 - RalfJung:std-debug-assert, r=oli-obk

disable debug assertions in the standard library

Debug assertions in the standard library can be somewhat expensive to check, in particular the ones covering each and every `ptr::write/copy/copy_nonoverlapping`. Miri will find most of those problems anyway since they cause UB. There are other debug assertions, such as ensuring internal invariants are maintained, but given how slow Miri already is, I think it is better to skip those checks in Miri and instead figure out a better way for people to use a standard library with debug assertions enabled.

expand flag docs

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

Readme: remove outdated CI badges

remove outdated CI badges

disable debug assertions in the standard library

run some tests with raw pointer tracking

add an option to track raw pointer tags in Stacked Borrows

Stacked Borrows: print affected memory location on errors

Auto merge of #1602 - RalfJung:box, r=RalfJung

test Box::into_raw aliasing

Directly test aliasing problems caused by `Box::into_raw` issues (like we have them again right now due to https://github.com/rust-lang/rust/pull/77187, but the pinned rustc is older than that so this should still be able to land).

test Box::into_raw aliasing

Auto merge of #1601 - RalfJung:misc, r=RalfJung

pointer tag tracking: also show when tag is being created

Also use bash to make sure `&>` works.

pointer tag tracking: also show when tag is being created

Use bash to make sure &> works

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

rustup; make panic output less dependent on stdlib internals

rustup; make panic output less dependent on stdlib internals

Auto merge of #1599 - camelid:default-args-const, r=RalfJung

Make `miri_default_args()` a constant

Feel free to close this if this is intentionally not a constant.

Make `miri_default_args()` a constant

Auto merge of #1598 - camelid:hide-readlink-error, r=RalfJung

Hide readlink error in `./miri`

Fixes #1597.

`./miri` is just testing whether the platform supports `readlink -e`,
but it didn't hide properly hide the stderr output. This fixes that.

Auto merge of #1596 - camelid:fix-readme, r=RalfJung

Fix README

Add a paragraph break in the license section for clarity.

## Before


## After


Auto merge of #1594 - camelid:dont-force-install-xargo, r=RalfJung

Don't force-install xargo

Previously miri used `cargo install xargo -f` which shouldn't be
necessary anymore since `cargo install` will now upgrade without `-f`.

The only reason I can see to use `-f` is from the cargo docs:

> This is also useful if something has changed on the system that you
> want to rebuild with, such as a newer version of `rustc`.

See the [discussion on Zulip](https://rust-lang.zulipchat.com/#narrow/stream/131828-t-compiler/topic/why.20does.20miri.20require.20xargo/near/214351239).

Hide readlink error in `./miri`

`./miri` is just testing whether the platform supports `readlink -e`,
but it didn't hide properly hide the stderr output. This fixes that.

Fix README

Don't force-install xargo

Previously miri used `cargo install xargo -f` which shouldn't be
necessary anymore since `cargo install` will now upgrade without `-f`.

The only reason I can see to use `-f` is from the cargo docs:

> This is also useful if something has changed on the system that you
> want to rebuild with, such as a newer version of `rustc`.

See the [discussion on Zulip](https://rust-lang.zulipchat.com/#narrow/stream/131828-t-compiler/topic/why.20does.20miri.20require.20xargo/near/214351239).

Auto merge of #1593 - rust-lang:test, r=RalfJung

fix './miri test'

fix './miri test'

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

rustup; increase slack for timing tests

rustup; increase slack for timing tests

Auto merge of #1590 - RalfJung:trophy, r=RalfJung

another TiKV bug for the trophy case :)

Cc `@brson` thanks for the ping!

another TiKV bug for the trophy case :)

Auto merge of #1589 - Aaron1011:enable-normal-backtrace, r=RalfJung

Enable `backtrace` feature in the generated `Xargo.toml`

This allows the normal std panic hook to print a backtrace if
`RUST_BACKTRACE=1` and `-Z miri-disable-isolation` are set

Enable `backtrace` feature in the generated `Xargo.toml`

This allows the normal std panic hook to print a backtrace if
`RUST_BACKTRACE=1` and `-Z miri-disable-isolation` are set

Auto merge of #1587 - lzutao:only-gha, r=RalfJung

build: Gate only on GHA: remove travis and appveyor ci config

It's been over a week since #1571 merged.
The GHA evaluation is successful.

This PR removes CI config of travis and appveyor.
Now MIRI gates on github actions CI only.

Will need <https://github.com/rust-lang/homu/pull/109> to merge first,
otherwise bors will stuck.

Also, one may need to remove `continuous-integration/appveyor/pr` CI checks
in repo settings or appeveyor website.

build: Gate only on GHA: remove travis and appveyor ci config

Auto merge of #1586 - RalfJung:available-concurrency, r=RalfJung

test new available_concurrency function

Cc https://github.com/rust-lang/rust/pull/74480

test new available_concurrency function

Auto merge of #1584 - Aaron1011:test/std-backtrace, r=RalfJung

Test std backtrace type

Closes https://github.com/rust-lang/miri/issues/1578

Test std::backtrace::Backtrace

Fixes #1578

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

rustup; the bad compile times for the float test are fixed

rustup; the bad compile times for the float test are fixed

Auto merge of #1583 - est31:target_refactor, r=RalfJung

Replace target.target with target

Fix fallout caused by rustc PR: https://github.com/rust-lang/rust/pull/77943

Fixes https://github.com/rust-lang/rust/issues/77988

Replace target.target with target

Rustc removed the target wrapper and exposed the target directly.

Result of running:

find . -type f -exec sed -i -e 's/target\.target\([)\.,;]\)/target\1/g' {} \;

Plus one manual edit of the rust-version file

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

README: make our cross-interpretation feature stand out more

This is a great feature, let's hope more people notice it :)

Auto merge of #1580 - Aaron1011:feature/backtrace-fn-ptr, r=RalfJung

Add an `fn_ptr` field to `MiriFrame`

The `backtrace-rs` crate can use this to implement
`Frame::symbol_address`, which is used to skip frames
above the call to `Backtrace::capture` on the stack.

The function pointer will not be useable for comparison purposes if the
function is generic, as CTFE creates a new function pointer for each
cast of a (monomorphized) generic function. However, this already
affects code running under Miri, and isn't a problem for `backtrace-rs`
(which only casts a non-generic function).

I've added logic to allow `MiriFrame` to have either 4 or 5 fields - if
a 5th field is present, we write the function pointer to it.

Improve wording

Co-authored-by: Aaron Hill <aa1ronham@gmail.com>

Auto merge of #1571 - lzutao:actions, r=RalfJung

Adding a working github actions template

Complete adding github actions whose dummy template added in #1563 .

But it will need https://github.com/rust-lang/rust-central-station/pull/939 merged first
to be able to gate bors on Actions CI checks.

Add comment about deprecation

Auto merge of #1582 - Aaron1011:rustup-run-compiler, r=RalfJung

Rustup

This gets Miri building again after the `run_compiler` changes

Rustup

This gets Miri building again after the `run_compiler` changes

Apply suggestions from code review

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

Add a working github actions template

README: make our cross-interpretation feature stand out more

Add an `fn_ptr` field to `MiriFrame`

The `backtrace-rs` crate can use this to implement
`Frame::symbol_address`, which is used to skip frames
above the call to `Backtrace::capture` on the stack.

The function pointer will not be useable for comparison purposes if the
function is generic, as CTFE creates a new function pointer for each
cast of a (monomorphized) generic function. However, this already
affects code running under Miri, and isn't a problem for `backtrace-rs`
(which only casts a non-generic function).

I've added logic to allow `MiriFrame` to have either 4 or 5 fields - if
a 5th field is present, we write the function pointer to it.

Auto merge of #1579 - lygstate:patch-1, r=RalfJung

Update README.md

 Note however that
[leak checking is currently disabled on Windows targets](https://github.com/rust-lang/miri/issues/1302).

Windows issue are fixed

Update README.md

 Note however that
[leak checking is currently disabled on Windows targets](https://github.com/rust-lang/miri/issues/1302).

Windows issue are fixed

Auto merge of #1577 - RalfJung:rlib, r=RalfJung

fix for rlib/cdylib crates in dependency tree

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

Unfortunately, I found no nice way to test for this.

fix for rlib/cdylib crates in dependency tree