remove outdated CI badges

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

Auto merge of #1550 - RalfJung:vecdeque, r=RalfJung

test VecDeque::iter_mut aliasing

Blocked on https://github.com/rust-lang/rust/pull/76911

rustup; bring back mir-opt-level 3

test VecDeque::iter_mut aliasing

Auto merge of #1575 - Aaron1011:fix/macro-backtrace, r=oli-obk

Use macro callsite spans in backtrace

This mirrors what we do in the debuginfo used for runtime backtraces.

Auto merge of #1576 - RalfJung:gha, r=RalfJung

add bors notification jobs

There are probably ways to simplify this... I just copied this from the Rust repo and expanded the anchors and adjusted the `needs` thing. Hopefully this unblocks Miri PR landing.

add bors notification jobs

Use macro callsite spans in backtrace

This mirrors what we do in the debuginfo used for runtime backtraces.

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

rustup; disable opt level >=2 tests due to ICE

Cc https://github.com/rust-lang/rust/issues/77564 for the ICE

rustup; disable opt level >=2 tests due to ICE

Auto merge of #1564 - Aaron1011:readlink, r=RalfJung

Implement `readlink`

Due to the truncating behavior of `readlink`, I was not able to
directly use any of the existing C-cstring helper functions.

more punctuation

Properly capitalize PathConversion

Normalize MIRI_TEMP before using it

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

rustup; test NaN conversion issue

rustup; test NaN conversion issue

Move `convert_path_separator` to trait and use it in `readlink`

Swap order of assertions for easier debugging

Make helper functions freestanding

Add trailing punctuation

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

Merge `fs` and `fs_libc` tests

Use panicking coversions instead of `as`

Move some helper functions around

Implement `readlink`

Due to the truncating behavior of `readlink`, I was not able to
directly use any of the existing C-cstring helper functions.

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

Add a dummy actions template to enable it on CI

I already had a complete template to transition from Travis and Appveyor.
Since actions will not run on repo haven't enabled it before.
I have this dummy template first to enable it on default branch.
We should address a few todo here, merge it and I will send another patch
to complete the migration.

Add a dummy actions template to enable it on CI

Auto merge of #1570 - RalfJung:syscalls, r=RalfJung

check that all syscall arguments are scalars

`@m-ou-se` do you think this check makes sense?

The `abi` of a layout contains everything needed for the calling convention (as far as I know), so this should ensure that all the ignored arguments are passed like integers and do not otherwise mess up argument passing.

The one thing I am not sure about is what happens when more arguments are passed than fit in registers. The `syscall` man page says that all calling conventions support at least 6 arguments, except for "mips/o32" where it says that
```
       [1] The mips/o32 system call convention passes arguments 5 through 8 on the user stack.
```
If we assume that passing these extra arguments to futex is legal even with that calling convention, that would mean that those user stack arguments are just silently ignored as well, which seems plausible to me -- but I know very little about calling conventions.

check that all syscall arguments are scalars

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

bump Rust version and a bit of cleanup

merge parking test into general synchronization test

add backtics back in isolation error message

rustup

Auto merge of #1568 - fusion-engineering-forks:futex, r=RalfJung

Implement futex_wait and futex_wake.

Fixes https://github.com/rust-lang/rust/issues/77406 and fixes #1562.

This makes std's park(), park_timeout(), and unpark() work. That means std::sync::Once is usable again and the test pass again with the latest rustc.

This also makes parking_lot work.

Add FIXME about type of `addr` in futex implementation.

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

Add note about use of force_ptr in futex implementation.

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

Update syscall FIXME to include note about 'wrong' types.

Add test for futex syscall.

Add FIXME note about variadic syscall().

Use read_scalar_at_offset in futex_wait instead of memory.get_raw.

Update expected error messages in tests.

Remove backtics from isolation error.

Otherwise `FUTEX_WAIT with timeout` will look weird.

Only allow FUTEX_WAIT with timeout when isoloation is disabled.

Use correct return type for syscall(SYS_futex).

Add park/park_timeout/unpark test.

Implement timeouts for FUTEX_WAIT.

Use force_ptr in futex implementation.

Add note about arguments in futex implementation.

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

Update note about number of arguments to SYS_futex.

Add comments that document SYS_futex better.

Improve handling of the `addr` argument in SYS_futex.

Check maximum amount of arguments to SYS_futex.

Return correct value from futex_wait.