another TiKV bug for the trophy case :)

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.

Only check futex pointer in futex_wait and not in futex_wake.

futex_wake doesn't access the futex itself, so should accept pointers to
memory that's no longer there.

Erase tag from futex pointers.

Move futex syscall to its own file.

Implement futex_wait and futex_wake.

This does not support futex_wait with a timeout yet.

Auto merge of #1566 - RalfJung:backtrace, r=RalfJung

normalize backtrace stderr even more

The test previously failed on rustc CI with this diff:
```
 $DIR/backtrace-api.rs:21:59 (func_c)
 $DIR/backtrace-api.rs:20:53 (func_b)
 $DIR/backtrace-api.rs:19:50 (func_a)
 $DIR/backtrace-api.rs:25:18 (main)
-RUSTLIB/src/rust/library/core/src/ops/function.rs:LL:COL (<fn() as std::ops::FnOnce<()>>::call_once - shim(fn()))
-RUSTLIB/src/rust/library/std/src/sys_common/backtrace.rs:LL:COL (std::sys_common::backtrace::__rust_begin_short_backtrace)
-RUSTLIB/src/rust/library/std/src/rt.rs:LL:COL (std::rt::lang_start::{closure#0})
-RUSTLIB/src/rust/library/core/src/ops/function.rs:LL:COL (std::ops::function::impls::call_once)
-RUSTLIB/src/rust/library/std/src/panicking.rs:LL:COL (std::panicking::r#try::do_call)
-RUSTLIB/src/rust/library/std/src/panicking.rs:LL:COL (std::panicking::r#try)
-RUSTLIB/src/rust/library/std/src/panic.rs:LL:COL (std::panic::catch_unwind)
-RUSTLIB/src/rust/library/std/src/rt.rs:LL:COL (std::rt::lang_start_internal)
-RUSTLIB/src/rust/library/std/src/rt.rs:LL:COL (std::rt::lang_start)
+/checkout/library/core/src/ops/function.rs:227:5 (<fn() as std::ops::FnOnce<()>>::call_once - shim(fn()))
+/checkout/library/std/src/sys_common/backtrace.rs:137:18 (std::sys_common::backtrace::__rust_begin_short_backtrace)
+/checkout/library/std/src/rt.rs:66:18 (std::rt::lang_start::{closure#0})
+/checkout/library/core/src/ops/function.rs:259:13 (std::ops::function::impls::call_once)
+/checkout/library/std/src/panicking.rs:381:40 (std::panicking::r#try::do_call)
+/checkout/library/std/src/panicking.rs:345:19 (std::panicking::r#try)
+/checkout/library/std/src/panic.rs:382:14 (std::panic::catch_unwind)
+/checkout/library/std/src/rt.rs:51:25 (std::rt::lang_start_internal)
+/checkout/library/std/src/rt.rs:65:5 (std::rt::lang_start)
```
Cc `@Aaron1011`

normalize backtrace stderr even more

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

rustup; adjust for rustc_driver changes

rustup; adjust for rustc_driver changes

Auto merge of #1559 - Aaron1011:new-miri-backtrace, r=RalfJung

Add API for capturing backtrace

This PR adds two new Miri-defined extern functions:
`miri_get_backtrace` and `miri_resolve_frame`, which are documented in
the README. Together, they allow obtaining a backtrace for the currently
executing program.

I've added a test showing how these APIs are used. I've also prepared a
companion PR `backtrace-rs`, which will allow
`backtrace::Backtrace::new()` to work automatically under Miri.

Once these two PRs are merged, we will be able to print backtraces from
the normal Rust panic hook (since libstd is now using backtrace-rs).

A few notes:
* Resolving the backtrace frames is *very* slow - you can actually see
  each line being printed out one at a time. Some local testing showed
  that this is not (primrary) caused by resolving a `Span` - it seems
  to be just Miri being slow.
* For the first time, we now interact directly with a user-defined
  struct (instead of just executing the user-provided MIR that
  manipulates the struct). To allow for future changes, I've added
  a 'version' parameter (currently required to be 0). This should allow
  us to change the `MiriFrame` struct should the need ever arise.
* I used the approach suggested by `@oli-obk` - a returned backtrace
  pointer consists of a base function allocation, with the 'offset'
  used to encode the `Span.lo`. This allows losslessly reconstructing
  the location information in `miri_resolve_frame`.
* There are a few quirks on the `backtrace-rs` side:
  * `backtrace-rs` calls `getcwd()` by default to try to simplify
    the filename. This results in an isolation error by default,
    which could be annoying when printing a backtrace from libstd.
  * `backtrace-rs` tries to remove 'internal' frames (everything between
     the call to `Backtrace::new()` and the internal API call made by
     backtrace-rs) by comparing the returned frame pointer value to
     a Rust function pointer. This doesn't work due to the way we
     construct the frame pointers passed to the caller. We could
     attempt to support this kind of comparison, or just add a
    `#[cfg(miri)]` and ignore the frames ourselves.

Normalize out generic arguments in backtrace-api stderr

fix typo

Require #[repr(C)] on MiriFrame

Apply #[inline(never)] to functions that we want in the backtrace

Update README

Make some error messages lowercase

Explain encoding scheme

Move things around

Print non-std frames to stdout in `backtrace-api` test

Use a 'flags' parameter instead of 'version'

Normalize line and column numbers from the sysroot

Add API for capturing backtrace

This PR adds two new Miri-defined extern functions:
`miri_get_backtrace` and `miri_resolve_frame`, which are documented in
the README. Together, they allow obtaining a backtrace for the currently
executing program.

I've added a test showing how these APIs are used. I've also prepared a
companion PR `backtrace-rs`, which will allow
`backtrace::Backtrace::new()` to work automatically under Miri.

Once these two PRs are merged, we will be able to print backtraces from
the normal Rust panic hook (since libstd is now using backtrace-rs).

A few notes:
* Resolving the backtrace frames is *very* slow - you can actually see
  each line being printed out one at a time. Some local testing showed
  that this is not (primrary) caused by resolving a `Span` - it seems
  to be just Miri being slow.
* For the first time, we now interact directly with a user-defined
  struct (instead of just executing the user-provided MIR that
  manipulates the struct). To allow for future changes, I've added
  a 'version' parameter (currently required to be 0). This should allow
  us to change the `MiriFrame` struct should the need ever arise.
* I used the approach suggested by @oli-obk - a returned backtrace
  pointer consists of a base function allocation, with the 'offset'
  used to encode the `Span.lo`. This allows losslessly reconstructing
  the location information in `miri_resolve_frame`.
* There are a few quirks on the `backtrace-rs` side:
  * `backtrace-rs` calls `getcwd()` by default to try to simplify
    the filename. This results in an isolation error by default,
    which could be annoying when printing a backtrace from libstd.
  * `backtrace-rs` tries to remove 'internal' frames (everything between
     the call to `Backtrace::new()` and the internal API call made by
     backtrace-rs) by comparing the returned frame pointer value to
     a Rust function pointer. This doesn't work due to the way we
     construct the frame pointers passed to the caller. We could
     attempt to support this kind of comparison, or just add a
    `#[cfg(miri)]` and ignore the frames ourselves.

Auto merge of #1555 - lzutao:upstream-assume-const, r=RalfJung

Remove assume intrinsic from EvalContextExt

Waiting for https://github.com/rust-lang/rust/pull/76973 merged.

Remove assume intrinsic from EvalContextExt

It has been moved to rustc_mir.