]>
git.lizzy.rs Git - rust.git/log
Christian Legnitto [Fri, 8 Jul 2022 05:51:16 +0000 (01:51 -0400)]
Add `mkstemp` shim for unix
Co-authored-by: Ralf Jung <post@ralfj.de>
bors [Tue, 2 Aug 2022 23:00:32 +0000 (23:00 +0000)]
Auto merge of #2457 - RalfJung:realpath, r=RalfJung
Add shim for realpath on unix
Salvaged from https://github.com/rust-lang/miri/pull/2294 by `@LegNeato`
bors [Tue, 2 Aug 2022 22:31:51 +0000 (22:31 +0000)]
Auto merge of #2458 - RalfJung:less-space, r=RalfJung
avoid double-space in test logging
Ralf Jung [Tue, 2 Aug 2022 22:27:06 +0000 (18:27 -0400)]
avoid double-space in test logging
Ralf Jung [Tue, 2 Aug 2022 22:08:43 +0000 (18:08 -0400)]
output realpath as a path, and remove a bogus test
Christian Legnitto [Thu, 30 Jun 2022 17:10:31 +0000 (13:10 -0400)]
Add shim for `realpath` on unix
bors [Mon, 1 Aug 2022 13:28:17 +0000 (13:28 +0000)]
Auto merge of #2453 - RalfJung:rustup, r=RalfJung
rustup
Should work again, now that https://github.com/rust-lang/rust/pull/99984 landed.
Ralf Jung [Mon, 1 Aug 2022 13:27:10 +0000 (09:27 -0400)]
clippy
Ralf Jung [Mon, 1 Aug 2022 13:13:34 +0000 (09:13 -0400)]
rustup
bors [Sun, 31 Jul 2022 16:04:51 +0000 (16:04 +0000)]
Auto merge of #2452 - Hiroki6:eval-rs-comments-typo, r=RalfJung
Fix typo in eval.rs
I just found some typos while reading the code
Hiroki6 [Sun, 31 Jul 2022 14:08:27 +0000 (16:08 +0200)]
Fix typo in eval.rs
bors [Fri, 29 Jul 2022 12:51:14 +0000 (12:51 +0000)]
Auto merge of #2450 - avrong:cargo-metadata, r=oli-obk
Use cargo_metadata in cargo-miri
Closes #2393
Added `cargo_metadata` to `cargo-miri` and changed metadata from manual parsing to `cargo_metadata` invocations. Thus, removed local `Metadata` struct too.
Happy to fix if anything isn't right :)
Aleksei Trifonov [Fri, 29 Jul 2022 11:42:42 +0000 (14:42 +0300)]
Fix formatting
Aleksei Trifonov [Fri, 29 Jul 2022 02:25:59 +0000 (05:25 +0300)]
Use cargo_metadata in cargo-miri
bors [Thu, 28 Jul 2022 22:05:42 +0000 (22:05 +0000)]
Auto merge of #2426 - saethlin:unix-exec, r=RalfJung
Use real exec on cfg(unix) targets
Closes https://github.com/rust-lang/miri/issues/2421
The standard library has a platform extension trait that lets us get the behavior we want on cfg(unix), so why not use it?
I tried this out and it produces the correct behavior in concert with nextest.
Ben Kimock [Sat, 23 Jul 2022 17:59:08 +0000 (13:59 -0400)]
Use real exec on cfg(unix) targets
When cargo-miri is executed as a cargo test runner or rustdoc runtool,
external tools expect what they launch as the runner/runtool to be the
process actually running the test. But in the implementation, we launch
the Miri interpreter as a subprocess using std::process::Command. This
tends to confuse other tools (like nextest) and users (like the author).
What we really want is to call POSIX exec so that the cargo-miri process
becomes the interpreter.
So this implements just that; we call execve via a cfg(unix) extension
trait. Windows has no such mechanism, but it also doesn't have POSIX
signals, which is the primary tripping hazard this change fixes.
bors [Wed, 27 Jul 2022 00:39:00 +0000 (00:39 +0000)]
Auto merge of #2447 - RalfJung:rustup, r=RalfJung
rustup
Ralf Jung [Wed, 27 Jul 2022 00:38:25 +0000 (20:38 -0400)]
rustup
bors [Tue, 26 Jul 2022 23:35:05 +0000 (23:35 +0000)]
Auto merge of #2444 - oli-obk:file_descriptor_defaults, r=RalfJung
Add default impls for `FileDescriptor` methods
I felt like it was just noisy to have to write the "can't do this here" defaults
bors [Tue, 26 Jul 2022 02:41:55 +0000 (02:41 +0000)]
Auto merge of #2446 - RalfJung:rustup, r=RalfJung
add test for dyn call issue
Tests for https://github.com/rust-lang/miri/issues/2432
Ralf Jung [Tue, 26 Jul 2022 02:40:56 +0000 (22:40 -0400)]
add test for dyn call issue
Oli Scherer [Mon, 25 Jul 2022 17:55:45 +0000 (17:55 +0000)]
Add default impls for `FileDescriptor` methods
bors [Mon, 25 Jul 2022 14:38:57 +0000 (14:38 +0000)]
Auto merge of #2438 - RalfJung:more-track-caller, r=RalfJung
adjust for more backtrace pruning
The Miri side of https://github.com/rust-lang/rust/pull/99690. Those messages are much nicer. :) And we also need error-pattern much less.
Ralf Jung [Mon, 25 Jul 2022 14:35:07 +0000 (10:35 -0400)]
rustup
Ralf Jung [Sun, 24 Jul 2022 18:28:45 +0000 (14:28 -0400)]
adjust for more backtrace pruning
bors [Mon, 25 Jul 2022 11:46:55 +0000 (11:46 +0000)]
Auto merge of #2422 - RalfJung:integers, r=oli-obk
enable clippy lints against integer casts
Cc https://github.com/rust-lang/miri/issues/1236
bors [Mon, 25 Jul 2022 10:39:02 +0000 (10:39 +0000)]
Auto merge of #2436 - RalfJung:lib-crates, r=oli-obk
fix build.rs invoking RUSTC to do check builds
This makes the Miri driver, when invokved via the RUSTC env var from inside a build script, behave almost entirely like rustc. I had to redo how we propagate sysroot information for this (which is actually back to how we used to do sysroot propagation many years ago).
Fixes https://github.com/rust-lang/miri/issues/2431
bors [Mon, 25 Jul 2022 09:32:40 +0000 (09:32 +0000)]
Auto merge of #2434 - RalfJung:ui-test-locked, r=oli-obk
ui_test: build dependencies in locked mode unless bless is enabled
This should help ensure that tests are reproducible.
bors [Sun, 24 Jul 2022 21:56:00 +0000 (21:56 +0000)]
Auto merge of #2440 - RalfJung:up, r=RalfJung
rustup
Ralf Jung [Sun, 24 Jul 2022 21:51:29 +0000 (17:51 -0400)]
rustup
bors [Sun, 24 Jul 2022 19:24:55 +0000 (19:24 +0000)]
Auto merge of #2439 - RalfJung:ptr-offset-from-unsigned, r=RalfJung
more tests for ptr_offset_from_unsinged
Ralf Jung [Sun, 24 Jul 2022 19:23:39 +0000 (15:23 -0400)]
more tests for ptr_offset_from_unsinged
Ralf Jung [Sun, 24 Jul 2022 17:58:14 +0000 (13:58 -0400)]
fmt
Ralf Jung [Sun, 24 Jul 2022 14:17:33 +0000 (10:17 -0400)]
test all of the autocfg queries
Ralf Jung [Sun, 24 Jul 2022 14:06:49 +0000 (10:06 -0400)]
make miri a better RUSTC by default inside cargo-miri
this requires a change in sysroot handling: miri driver now requires
MIRI_SYSROOT to be set when it is in 'target' mode, rather than relying on
`--sysroot` always being present.
bors [Sun, 24 Jul 2022 13:26:38 +0000 (13:26 +0000)]
Auto merge of #2435 - RalfJung:rustup, r=RalfJung
Rustup
Ralf Jung [Sun, 24 Jul 2022 12:48:58 +0000 (08:48 -0400)]
get rid of some uses of core_intrinsics
Ralf Jung [Sun, 24 Jul 2022 12:37:29 +0000 (08:37 -0400)]
rustup
Ralf Jung [Sun, 24 Jul 2022 11:37:10 +0000 (07:37 -0400)]
ui_test: build dependencies in locked mode unless bless is enabled
bors [Sun, 24 Jul 2022 00:35:28 +0000 (00:35 +0000)]
Auto merge of #2430 - RalfJung:no-global-wrapper, r=RalfJung
attempt to overwrite globally set build.rustc-wrapper
Hopefully fixes https://github.com/rust-lang/miri/issues/2429
Ralf Jung [Sat, 23 Jul 2022 23:30:15 +0000 (19:30 -0400)]
attempt to test RUSTC and RUSTC_WRAPPER shenanigans on CI
bors [Sun, 24 Jul 2022 00:06:12 +0000 (00:06 +0000)]
Auto merge of #2428 - RalfJung:cargo-miri-runner, r=RalfJung
cargo-miri: use '--config target.runner' rather than the TARGET_RUNNER env vars
That means we can properly escape spaces in our filename. This should fix https://github.com/rust-lang/miri/issues/2417, hopefully for real this time. We can also specify a "leading command" which makes it much easier to disambiguate runner invocations from rustdoc invocations!
Thanks to `@ehuss` for suggesting this.
Ralf Jung [Sat, 23 Jul 2022 23:22:02 +0000 (19:22 -0400)]
attempt to overwrite globally set build.rustc-wrapper
bors [Sat, 23 Jul 2022 23:21:26 +0000 (23:21 +0000)]
Auto merge of #2427 - Nilstrieb:doc-fix, r=saethlin
Fix outdated docs in sb stack cache
Since `Item` is bitpacked now, the full `Item` is stored in the cache.
Nilstrieb [Sat, 23 Jul 2022 20:27:05 +0000 (22:27 +0200)]
Fix outdated docs in sb stack cache
Since `Item` is bitpacked now, the full `Item` is stored in the cache.
Ralf Jung [Sat, 23 Jul 2022 21:58:20 +0000 (17:58 -0400)]
avoid spurious 'Preparing a sysroot for Miri...' in 'cargo miri setup --print-sysroot'
also clean up sysroot building printing logic a bit
Ralf Jung [Sat, 23 Jul 2022 21:46:02 +0000 (17:46 -0400)]
set runner for all targets via 'all()'
Ralf Jung [Sat, 23 Jul 2022 21:36:42 +0000 (17:36 -0400)]
cargo-miri: use '--config target.runner' rather than the TARGET_RUNNER env vars
bors [Sat, 23 Jul 2022 18:35:59 +0000 (18:35 +0000)]
Auto merge of #2425 - RalfJung:hide-xargo, r=RalfJung
don't dump xargo output onto users of 'cargo miri test'
The xargo invocation prints a lot of details users probably won't care about, so let's hide them (unless the user did `cargo miri setup`, then we still print everything).
Ralf Jung [Sat, 23 Jul 2022 17:28:44 +0000 (13:28 -0400)]
now test-cargo-miri will actually work even without a hot cache :D
Ralf Jung [Sat, 23 Jul 2022 16:47:26 +0000 (12:47 -0400)]
don't dump xargo output onto users of 'cargo miri test'
Ralf Jung [Sat, 23 Jul 2022 15:54:07 +0000 (11:54 -0400)]
refactor away some 'else { None }'
bors [Sat, 23 Jul 2022 13:40:23 +0000 (13:40 +0000)]
Auto merge of #2424 - RalfJung:weak-memory-debug, r=RalfJung
add a flag to print a diagnostic when an outdated value is returned from an atomic load
Helps with https://github.com/rust-lang/miri/issues/2313. It can still be annoying to figure out *which* outdated load is the important one in case there are many of them (and the issue contains some ideas for how to help with that situation), but having this flag is better than nothing.
Thanks to `@cbeuw` for the [original patch](https://github.com/cbeuw/miri/commit/
64d738cb00dbcfbe9cab29c77717f5af62c83ada ) that I based this on.
Ralf Jung [Sat, 23 Jul 2022 13:36:59 +0000 (09:36 -0400)]
add a flag to print a diagnostic when an outdated value is returned from an atomic load
Ralf Jung [Sat, 23 Jul 2022 12:44:16 +0000 (08:44 -0400)]
pass clippy::cast_possible_truncation
Ralf Jung [Sat, 23 Jul 2022 12:35:45 +0000 (08:35 -0400)]
pass clippy::cast_sign_loss and clippy::cast_possible_wrap
Ralf Jung [Sat, 23 Jul 2022 12:24:33 +0000 (08:24 -0400)]
pass clippy::cast_lossless
bors [Sat, 23 Jul 2022 00:57:07 +0000 (00:57 +0000)]
Auto merge of #2420 - RalfJung:num_cpus, r=RalfJung
move num_cpus test from test-cargo-miri to crate test
Ralf Jung [Sat, 23 Jul 2022 00:53:31 +0000 (20:53 -0400)]
remove num_cpus test from test-cargo-miri
Ralf Jung [Sat, 23 Jul 2022 00:53:20 +0000 (20:53 -0400)]
add num_cpus crate test
bors [Fri, 22 Jul 2022 14:43:42 +0000 (14:43 +0000)]
Auto merge of #2418 - RalfJung:track, r=RalfJung
add more track_caller tests
Suggested by `@eddyb`
Ralf Jung [Fri, 22 Jul 2022 14:34:52 +0000 (10:34 -0400)]
add more track_caller tests
bors [Fri, 22 Jul 2022 14:07:17 +0000 (14:07 +0000)]
Auto merge of #2415 - RalfJung:cargo-miri, r=oli-obk
support MIRI_HOST_SYSROOT env var for stage 0 builds
Together with a [patch on the rustc side](https://github.com/rust-lang/rust/pull/99599), this makes `./x.py test src/tools/miri --stage 0` work again. :)
r? `@oli-obk`
bors [Fri, 22 Jul 2022 13:36:24 +0000 (13:36 +0000)]
Auto merge of #2035 - RalfJung:small-bitmask, r=RalfJung
portable-simd: test bitmasks smaller than a byte
Blocked on https://github.com/rust-lang/portable-simd/pull/267 propagating to the [rustc repo](https://github.com/rust-lang/rust/tree/master/library/portable-simd)
Ralf Jung [Fri, 22 Jul 2022 12:49:03 +0000 (08:49 -0400)]
rustup
Ralf Jung [Mon, 21 Mar 2022 13:15:38 +0000 (09:15 -0400)]
test bitmasks smaller than a byte
Ralf Jung [Thu, 21 Jul 2022 20:49:41 +0000 (16:49 -0400)]
support MIRI_HOST_SYSROOT env var for stage 0 builds
Together with a patch on the rustc side, this makes './x.py test src/tools/miri --stage 0' work again. :)
bors [Fri, 22 Jul 2022 11:55:00 +0000 (11:55 +0000)]
Auto merge of #2384 - RalfJung:vtables, r=RalfJung
adjust for symbolic vtables
The Miri side of https://github.com/rust-lang/rust/pull/99420
Ralf Jung [Fri, 22 Jul 2022 11:52:32 +0000 (07:52 -0400)]
rustup
Ralf Jung [Wed, 20 Jul 2022 23:51:19 +0000 (19:51 -0400)]
test for some bad use of vtables
Ralf Jung [Mon, 18 Jul 2022 14:38:26 +0000 (10:38 -0400)]
adjust for symbolic vtables
bors [Thu, 21 Jul 2022 21:08:02 +0000 (21:08 +0000)]
Auto merge of #2414 - RalfJung:cargo-miri, r=RalfJung
A bit of cargo-miri cleanup
Ralf Jung [Thu, 21 Jul 2022 21:04:04 +0000 (17:04 -0400)]
avoid redundant setting of env vars in phase_runner
Ralf Jung [Thu, 21 Jul 2022 20:58:16 +0000 (16:58 -0400)]
cargo-miri: clean up phase dispatching a bit
bors [Thu, 21 Jul 2022 19:37:34 +0000 (19:37 +0000)]
Auto merge of #2413 - RalfJung:norm, r=RalfJung
normalize stronger
rustc CI has the cargo stuff in `/cargo/...`, so we also need to handle that path.
Ralf Jung [Thu, 21 Jul 2022 19:34:32 +0000 (15:34 -0400)]
normalize stronger
bors [Thu, 21 Jul 2022 18:21:30 +0000 (18:21 +0000)]
Auto merge of #2412 - RalfJung:x.py-fix, r=RalfJung
cargo-miri x.py fix
Fix for https://github.com/rust-lang/rust/pull/99530#issuecomment-
1191768658
Also make the debugging output consistent.
Ralf Jung [Thu, 21 Jul 2022 18:03:58 +0000 (14:03 -0400)]
don't force target-dir (cargo-miri already deconflicts that)
Ralf Jung [Thu, 21 Jul 2022 17:44:16 +0000 (13:44 -0400)]
we don't need unstable options
Ralf Jung [Thu, 21 Jul 2022 16:43:30 +0000 (12:43 -0400)]
say what we are doing
Ralf Jung [Thu, 21 Jul 2022 16:04:17 +0000 (12:04 -0400)]
cargo-miri debugging improvements
bors [Thu, 21 Jul 2022 15:31:40 +0000 (15:31 +0000)]
Auto merge of #2410 - rust-lang:miri_auto_ops, r=RalfJung
Some cleanups and docs around the auto ops
Oli Scherer [Thu, 21 Jul 2022 15:07:07 +0000 (15:07 +0000)]
Document MIRI_AUTO_OPS
Oli Scherer [Thu, 21 Jul 2022 12:24:13 +0000 (12:24 +0000)]
Use a MIRI namespaced env var name for auto ops
Oli Scherer [Thu, 21 Jul 2022 11:45:22 +0000 (11:45 +0000)]
Avoid rustformatting on autosave
bors [Thu, 21 Jul 2022 15:00:08 +0000 (15:00 +0000)]
Auto merge of #2408 - RalfJung:deps, r=oli-obk
make test-cargo-miri only about cargo
Move the things that actually test dependency behavior into the regular test suite, now that we can do that. :)
Ralf Jung [Thu, 21 Jul 2022 14:48:41 +0000 (10:48 -0400)]
aarch inline asm is not stable yet
bors [Thu, 21 Jul 2022 14:37:10 +0000 (14:37 +0000)]
Auto merge of #2409 - RalfJung:cargo-miri-rustc, r=RalfJung
cargo-miri: set RUSTC to us
Works around https://github.com/rust-lang/cargo/issues/10885.
Ralf Jung [Thu, 21 Jul 2022 14:36:55 +0000 (10:36 -0400)]
make the find_miri returned path actually exist
Ralf Jung [Thu, 21 Jul 2022 13:58:00 +0000 (09:58 -0400)]
some more debug output
Ralf Jung [Thu, 21 Jul 2022 13:36:59 +0000 (09:36 -0400)]
reduce chance of RUSTC collisions
Ralf Jung [Thu, 21 Jul 2022 13:30:09 +0000 (09:30 -0400)]
only complain about runtime toolchain mismatch when there actually is a runtime toolchain
Ralf Jung [Thu, 21 Jul 2022 13:14:11 +0000 (09:14 -0400)]
cargo-miri: set RUSTC to us
Ralf Jung [Thu, 21 Jul 2022 12:14:41 +0000 (08:14 -0400)]
test page_size via test dependency support
and move crate tests to their own folders
Ralf Jung [Thu, 21 Jul 2022 12:06:11 +0000 (08:06 -0400)]
make test-cargo-miri only about cargo
remove rand (large dependency) and page-size (testing the dependency, not cargo-miri).
keep only byteorder as a "demo" dependency, it is a leaf and builds quickly.
bors [Thu, 21 Jul 2022 11:20:53 +0000 (11:20 +0000)]
Auto merge of #2405 - RalfJung:pwd, r=RalfJung
fix auto-toolchain pwd
`rustup-toolchain` needs to be called in the right directory
Ralf Jung [Thu, 21 Jul 2022 11:19:56 +0000 (07:19 -0400)]
fix auto-toolchain pwd
bors [Thu, 21 Jul 2022 07:40:32 +0000 (07:40 +0000)]
Auto merge of #2383 - rust-lang:dot_mode, r=oli-obk
Print one . character per test instead of one line
`./miri bless -- --quiet` now prints a dot per test, along with the regular Rust unit tests that listen to this flag
Oli Scherer [Thu, 21 Jul 2022 07:39:54 +0000 (07:39 +0000)]
Use names suggestive of channel endpoints
Oli Scherer [Mon, 18 Jul 2022 09:19:20 +0000 (09:19 +0000)]
Print one character per test instead of one line