]>
git.lizzy.rs Git - rust.git/log
David Cook [Tue, 1 Sep 2020 02:29:09 +0000 (21:29 -0500)]
Per-thread errno storage
David Cook [Tue, 1 Sep 2020 00:32:14 +0000 (19:32 -0500)]
Review comments
David Cook [Sun, 30 Aug 2020 02:38:37 +0000 (21:38 -0500)]
Move panic payload state from Machine to Thread
bors [Sat, 29 Aug 2020 11:22:05 +0000 (11:22 +0000)]
Auto merge of #1531 - divergentdave:cargo-miri-targets-test, r=RalfJung
Test cargo miri target selection
This is a followup to #1525, adding a few test invocations with targets specified in the cargo arguments.
David Cook [Sat, 29 Aug 2020 04:12:11 +0000 (23:12 -0500)]
Test cargo miri target selection
bors [Fri, 28 Aug 2020 07:05:12 +0000 (07:05 +0000)]
Auto merge of #1525 - divergentdave:cargo-miri-targets, r=RalfJung
Support --test/--bin/--lib in cargo-miri
This PR addresses a FIXME in cargo-miri, and filters the targets to be checked when any of the `--bin`, '--test`, or `--lib` flags are passed.
David Cook [Thu, 27 Aug 2020 10:00:56 +0000 (05:00 -0500)]
Review comments
bors [Thu, 27 Aug 2020 07:28:38 +0000 (07:28 +0000)]
Auto merge of #1530 - RalfJung:rustup, r=RalfJung
rustup
Another day, another `AllocRef` API change.
Ralf Jung [Thu, 27 Aug 2020 07:27:58 +0000 (09:27 +0200)]
rustup
bors [Thu, 27 Aug 2020 06:37:55 +0000 (06:37 +0000)]
Auto merge of #1528 - RalfJung:readme, r=RalfJung
add encoding_rs OOB arithmetic to trophy case
Ralf Jung [Thu, 27 Aug 2020 06:37:11 +0000 (08:37 +0200)]
add encoding_rs OOB arithmetic
David Cook [Wed, 26 Aug 2020 23:41:01 +0000 (18:41 -0500)]
Review comments
David Cook [Wed, 26 Aug 2020 00:00:46 +0000 (19:00 -0500)]
Support --test/--bin/--lib in cargo-miri
bors [Mon, 24 Aug 2020 08:07:41 +0000 (08:07 +0000)]
Auto merge of #1524 - RalfJung:rustup, r=RalfJung
rustup; account for ptr_offset_from stabilization
@bors r+
Ralf Jung [Mon, 24 Aug 2020 08:06:44 +0000 (10:06 +0200)]
rustup; account for ptr_offset_from stabilization
bors [Sat, 22 Aug 2020 16:09:48 +0000 (16:09 +0000)]
Auto merge of #1523 - RalfJung:test-matrix, r=RalfJung
tweak test matrix
* test big-endian architecture
* test less on macOS host (it is slow)
Ralf Jung [Sat, 22 Aug 2020 16:07:43 +0000 (18:07 +0200)]
fix a test for big-endian targets
Ralf Jung [Sat, 22 Aug 2020 16:03:34 +0000 (18:03 +0200)]
tweak test matrix: test big-endian, and test less on macOS host (it is slow)
bors [Sat, 22 Aug 2020 12:32:35 +0000 (12:32 +0000)]
Auto merge of #1522 - RalfJung:readme, r=RalfJung
emphasize that some flags are unsound to use
Ralf Jung [Sat, 22 Aug 2020 12:31:46 +0000 (14:31 +0200)]
emphasize that some flags are unsound to use
bors [Fri, 21 Aug 2020 16:58:33 +0000 (16:58 +0000)]
Auto merge of #1521 - workingjubilee:bump-cargo-metadata, r=RalfJung
Bump cargo_metadata to 0.11
Jubilee Young [Fri, 21 Aug 2020 08:37:56 +0000 (01:37 -0700)]
Bump cargo_metadata to 0.11
bors [Fri, 21 Aug 2020 07:03:14 +0000 (07:03 +0000)]
Auto merge of #1518 - workingjubilee:remove-byteorder, r=RalfJung
Remove byteorder dependency
miri hasn't actually depended on byteorder directly for a while.
Let's remove this dependency so Rust also depends less on it.
Jubilee Young [Thu, 20 Aug 2020 23:48:35 +0000 (16:48 -0700)]
Update lockfile
bors [Thu, 20 Aug 2020 08:14:34 +0000 (08:14 +0000)]
Auto merge of #1520 - RalfJung:rustup, r=RalfJung
avoid promotion in alignment test to get different alignment on each try
Ralf Jung [Thu, 20 Aug 2020 08:13:21 +0000 (10:13 +0200)]
avoid promotion in alignment test to get different alignment on each try
Jubilee Young [Thu, 20 Aug 2020 05:19:22 +0000 (22:19 -0700)]
Remove byteorder dependency
miri hasn't actually depended on byteorder directly for a while.
Let's remove this dependency so Rust also depends less on it.
bors [Tue, 18 Aug 2020 08:21:15 +0000 (08:21 +0000)]
Auto merge of #1517 - RalfJung:align-test, r=RalfJung
forgot to add alignment test loop in one test
As expected, checking the physical integer address made alignment tests fragile, and I forgot to add the retry loop for this one.
Ralf Jung [Tue, 18 Aug 2020 08:11:54 +0000 (10:11 +0200)]
forgot to add alignment test loop in one test
bors [Mon, 17 Aug 2020 16:23:07 +0000 (16:23 +0000)]
Auto merge of #1513 - RalfJung:int-align, r=RalfJung
add option to use force_int for alignment check
Fixes https://github.com/rust-lang/miri/issues/1074. Depends on https://github.com/rust-lang/rust/pull/75592.
Ralf Jung [Mon, 17 Aug 2020 15:09:09 +0000 (17:09 +0200)]
make another test more robust against random alignment
Ralf Jung [Mon, 17 Aug 2020 14:51:48 +0000 (16:51 +0200)]
rustup
Ralf Jung [Mon, 17 Aug 2020 09:51:18 +0000 (11:51 +0200)]
tweak alignment check docs
Ralf Jung [Sun, 16 Aug 2020 16:31:48 +0000 (18:31 +0200)]
make sure we test panic of interpreter-impelemted align_offset
Ralf Jung [Sun, 16 Aug 2020 16:16:34 +0000 (18:16 +0200)]
use real align_offset unless we symbolic alignment check is enabled
Ralf Jung [Sun, 16 Aug 2020 15:16:53 +0000 (17:16 +0200)]
adjust diagnostics to alignment check mode
Ralf Jung [Sun, 16 Aug 2020 15:12:32 +0000 (17:12 +0200)]
document -Zmiri-symbolic-alignment-check
Ralf Jung [Sun, 16 Aug 2020 15:08:34 +0000 (17:08 +0200)]
make alignment check integer-based by default, and add an option to make it symbolic
bors [Thu, 13 Aug 2020 12:27:24 +0000 (12:27 +0000)]
Auto merge of #1510 - RalfJung:stderr, r=RalfJung
fix Stderr::as_file_handle error message
Ralf Jung [Thu, 13 Aug 2020 12:00:10 +0000 (14:00 +0200)]
fix Stderr::as_file_handle error message
bors [Thu, 13 Aug 2020 11:57:46 +0000 (11:57 +0000)]
Auto merge of #1509 - samrat:fd-trait-fixes, r=RalfJung
Remove lifetime from FileDescriptor trait
Also:
- Type annotate `handles` declaration, instead of annotating every insert.
- Add note about flush being unnecessary when writing to stderr
Addresses comments in #1495 and #1497
Samrat Man Singh [Thu, 13 Aug 2020 10:48:08 +0000 (16:18 +0530)]
Remove unnecessary whitespace
Co-authored-by: Ralf Jung <post@ralfj.de>
Samrat Man Singh [Thu, 13 Aug 2020 09:31:52 +0000 (15:01 +0530)]
Remove lifetime from FileDescriptor trait
Also:
- Remove type annotate `handles` declaration instead of every insert.
- Add note about flush being unnecessary when writing to stderr
bors [Thu, 13 Aug 2020 06:44:00 +0000 (06:44 +0000)]
Auto merge of #1504 - RalfJung:ill-formed-const, r=RalfJung
add test for unused ill-formed constant
Once https://github.com/rust-lang/rust/pull/75339 lands, this test should pass.
Fixes https://github.com/rust-lang/miri/issues/1382.
Ralf Jung [Thu, 13 Aug 2020 06:43:28 +0000 (08:43 +0200)]
rustup
Ralf Jung [Mon, 10 Aug 2020 07:04:37 +0000 (09:04 +0200)]
add test for unused ill-formed constant
also use better span in TopFrameInfo
bors [Wed, 12 Aug 2020 07:19:59 +0000 (07:19 +0000)]
Auto merge of #1507 - rust-lang:get_static, r=RalfJung
Bump for rustc changes
rustc-side: https://github.com/rust-lang/rust/pull/75394
Ralf Jung [Wed, 12 Aug 2020 07:19:40 +0000 (09:19 +0200)]
rustup
Oliver Scherer [Tue, 11 Aug 2020 09:37:29 +0000 (11:37 +0200)]
Bump for rustc changes
bors [Mon, 10 Aug 2020 08:24:56 +0000 (08:24 +0000)]
Auto merge of #1506 - RalfJung:test-isolation, r=RalfJung
make sure opening a file fails with isolation enabled
Ralf Jung [Mon, 10 Aug 2020 08:10:08 +0000 (10:10 +0200)]
make sure opening a file fails with isolation enabled
bors [Mon, 10 Aug 2020 07:04:20 +0000 (07:04 +0000)]
Auto merge of #1503 - RalfJung:post-mono, r=RalfJung
accept some post-monomorphization errors
For https://github.com/rust-lang/miri/issues/1382, we also need to allow `ReferencedConstant` post-monomorphization errors. The other post-monomorphization errors should still be impossible to trigger in Miri. The fix is not complete though without https://github.com/rust-lang/rust/pull/75339.
Ralf Jung [Mon, 10 Aug 2020 07:02:45 +0000 (09:02 +0200)]
accept ReferencedConstant errors in Miri (can happen post-monomorphization)
bors [Sat, 8 Aug 2020 13:25:25 +0000 (13:25 +0000)]
Auto merge of #1502 - RalfJung:isolation, r=RalfJung
fs: move isolation handling to inside trait
Ralf Jung [Sat, 8 Aug 2020 13:21:04 +0000 (15:21 +0200)]
fs: move isolation handling to inside trait
bors [Sat, 8 Aug 2020 12:28:08 +0000 (12:28 +0000)]
Auto merge of #1501 - samrat:fix-fs-error-handling, r=RalfJung
Bubble up errors from FileDescriptor::as_file_handle
Instead of indicating incorrectly that a handle was not found, return the error from `as_file_handle` indicating the operation is not supported on the FD.
Addresses some comments in #1495
bors [Sat, 8 Aug 2020 12:05:31 +0000 (12:05 +0000)]
Auto merge of #1500 - RalfJung:rustup, r=RalfJung
rustup
Adjust for https://github.com/rust-lang/rust/pull/74932.
Blocked on https://github.com/rust-lang/rust/pull/75282.
Ralf Jung [Sat, 8 Aug 2020 08:27:23 +0000 (10:27 +0200)]
rustup
Samrat Man Singh [Sat, 8 Aug 2020 11:58:41 +0000 (17:28 +0530)]
Fix handling of as_file_handle error for `fullfsync`
Samrat Man Singh [Sat, 8 Aug 2020 09:38:29 +0000 (15:08 +0530)]
Add FIXME's for `dup` and other syscalls to support stdin/out/err
Samrat Man Singh [Sat, 8 Aug 2020 09:12:50 +0000 (14:42 +0530)]
Bubble up error from FileDescriptor::as_file_handle
...instead of handle_not_found
bors [Wed, 5 Aug 2020 11:39:07 +0000 (11:39 +0000)]
Auto merge of #1498 - RalfJung:rustup, r=RalfJung
rustup
The allocator API changed *again*, adjust our test.
Ralf Jung [Wed, 5 Aug 2020 11:38:15 +0000 (13:38 +0200)]
rustup
bors [Tue, 4 Aug 2020 15:40:56 +0000 (15:40 +0000)]
Auto merge of #1497 - samrat:posix-fs-refactor, r=oli-obk
Add `impl FileDescriptor` for stdin, stdout, stderr
- Use `FileDescriptor::read` for stdin reads
- Use `FileDescriptor::write` for stdout/err writes
- Handle stdout/err reads in `FileDescriptor::read`
The `FileDescriptor` trait was added in PR #1495
Closes #1486
Samrat Man Singh [Tue, 4 Aug 2020 15:10:48 +0000 (20:40 +0530)]
Flush to stdout from FileDescriptor::write for `Stdout`
Also, remove unnecessary `-Zmiri-disable-isolation` in test
Samrat Man Singh [Sat, 1 Aug 2020 11:38:28 +0000 (17:08 +0530)]
Add `impl FileDescriptor` for stdin, stdout, stderr
- Use `FileDescriptor::read` for stdin reads
- Use `FileDescriptor::write` for stdout/err writes
- Handle stdout/err reads in `FileDescriptor::read`
bors [Mon, 3 Aug 2020 15:50:30 +0000 (15:50 +0000)]
Auto merge of #1495 - samrat:fd-trait, r=oli-obk
Add FileDescriptor trait to abstract fn's on File's and Stdin,Stdout,Stderr
Related issue: #1486
Instead of mapping FDs to `FileHandle`, map them to a `FileDescriptor` trait object. The goal is to eventually have both `FileHandle` as well as `Stdin`, `Stdout` and `Stderr` implement this trait so that syscalls involving FDs can handle both `File`s as well as the standard IO streams.
This PR adds the `FileDescriptor` trait and an `impl` for `FileHandle`. I'll open a separate PR for implementing the trait for the standard IO streams.
Samrat Man Singh [Mon, 3 Aug 2020 15:09:09 +0000 (20:39 +0530)]
Remove unnecessary `clone()` on `writable`
bors [Mon, 3 Aug 2020 12:25:11 +0000 (12:25 +0000)]
Auto merge of #1496 - RalfJung:rustup, r=RalfJung
rustup; inner_deref has been stabilized
miri and cargo-miri now use no nightly features (except for miri's using `rustc_private`, of course) :D
Ralf Jung [Mon, 3 Aug 2020 12:20:46 +0000 (14:20 +0200)]
rustup; inner_deref has been stabilized
Samrat Man Singh [Mon, 3 Aug 2020 05:31:42 +0000 (11:01 +0530)]
Wrap io::Result from `FileDescriptor::{read,write,seek}` in InterpResult
The outer InterpResult will be used to indicate that a fn is not
implemented for a struct(eg. `write` for Stdin).
The inner io::Result is just the result from the read/write/seek.
Samrat Man Singh [Fri, 31 Jul 2020 17:23:35 +0000 (22:53 +0530)]
Add FileDescriptor trait to abstract fn's on File's and Std{in,out,err}
bors [Sat, 1 Aug 2020 12:20:45 +0000 (12:20 +0000)]
Auto merge of #1494 - RalfJung:stack-unwind-top, r=RalfJung
test unwinding past topmost frame of a stack
This tests https://github.com/rust-lang/rust/pull/74984
Ralf Jung [Fri, 31 Jul 2020 17:28:59 +0000 (19:28 +0200)]
test unwinding past topmost frame of a stack
Ralf Jung [Sat, 1 Aug 2020 12:18:52 +0000 (14:18 +0200)]
rustup; fix linked_list test
bors [Fri, 31 Jul 2020 17:25:34 +0000 (17:25 +0000)]
Auto merge of #1493 - RalfJung:track-test, r=RalfJung
test track_caller on trait objects
Adds a Miri-side test for https://github.com/rust-lang/rust/issues/74764.
Ralf Jung [Fri, 31 Jul 2020 16:30:07 +0000 (18:30 +0200)]
test track_caller on trait objects
bors [Thu, 30 Jul 2020 16:32:53 +0000 (16:32 +0000)]
Auto merge of #1492 - RalfJung:rustup, r=RalfJung
Rustup
Adjusting for @oli-obk' log changes.
While at it I also removed the `*_of_val` intrinsics that got moved to rustc (Cc @ecstatic-morse).
Ralf Jung [Thu, 30 Jul 2020 16:31:40 +0000 (18:31 +0200)]
remove upstreamed intrinsic impls
Ralf Jung [Thu, 30 Jul 2020 16:31:19 +0000 (18:31 +0200)]
rustup
bors [Wed, 29 Jul 2020 16:24:43 +0000 (16:24 +0000)]
Auto merge of #1491 - RalfJung:xargo-check, r=RalfJung
only check-build the dummy xargo project
No reason to actually emit any object code.
This helps with some strange ICEs when testing Miri in the rustc workspace.
Ralf Jung [Wed, 29 Jul 2020 16:21:32 +0000 (18:21 +0200)]
only check-build the dummy xargo project
bors [Wed, 29 Jul 2020 12:27:45 +0000 (12:27 +0000)]
Auto merge of #1490 - RalfJung:rustup, r=RalfJung
rustup for new folder layout
Fixes the fallout from https://github.com/rust-lang/rust/pull/73265.
Blocked on a xargo release with https://github.com/japaric/xargo/pull/301.
Ralf Jung [Tue, 28 Jul 2020 12:00:33 +0000 (14:00 +0200)]
rustup for new folder layout
bors [Mon, 27 Jul 2020 22:00:15 +0000 (22:00 +0000)]
Auto merge of #1489 - RalfJung:tls-alloc-ids, r=oli-obk
Adjust for new rustc alloc ID handling and deallocate thread-local statics
Miri side of https://github.com/rust-lang/rust/pull/74775.
Fixes https://github.com/rust-lang/miri/issues/1369
Fixes https://github.com/rust-lang/miri/issues/1488
Ralf Jung [Mon, 27 Jul 2020 21:40:27 +0000 (23:40 +0200)]
rustup and test fixes
Ralf Jung [Mon, 27 Jul 2020 12:10:31 +0000 (14:10 +0200)]
Typos
Co-authored-by: Oliver Scherer <github35764891676564198441@oli-obk.de>
Ralf Jung [Mon, 27 Jul 2020 11:10:11 +0000 (13:10 +0200)]
fix diagnostics printing when triggered during TLS dtor scheduling
Ralf Jung [Mon, 27 Jul 2020 10:53:39 +0000 (12:53 +0200)]
deallocate thread-local statics when the thread dies
Ralf Jung [Sun, 26 Jul 2020 13:53:02 +0000 (15:53 +0200)]
fix and test order of TLS dtors and thread joining
Ralf Jung [Sun, 26 Jul 2020 13:55:15 +0000 (15:55 +0200)]
test referencing unsupported extern static
Ralf Jung [Sun, 26 Jul 2020 10:11:27 +0000 (12:11 +0200)]
get_or_create_thread_local_alloc_id: share code with Memory::get_global_alloc
Ralf Jung [Sun, 26 Jul 2020 09:15:01 +0000 (11:15 +0200)]
adjust to canonical_alloc_id removal
bors [Mon, 27 Jul 2020 21:31:51 +0000 (21:31 +0000)]
Auto merge of #1487 - pnadon:miri-rename-undef-uninit, r=RalfJung
Miri rename undef uninit
The changes made here are related to [issue #71193 on Rust](https://github.com/rust-lang/rust/issues/71193), and the pull request [74664 on Rust](https://github.com/rust-lang/rust/pull/74664).
1. renamed `ScalarMaybeUninit::not_undef` to `check_init`
2. renamed `Immediate::to_scalar_or_undef` to `Immediate::to_scalar_or_uninit`
Philippe Nadon [Mon, 27 Jul 2020 19:07:25 +0000 (13:07 -0600)]
Changed not_undef to check_init in foreign_items.rs
Due to changes from upstream, a commit using not_undef was inserted, which had to be updated to use check_init.
related issue #71193
Phil Nadon [Sun, 26 Jul 2020 13:54:24 +0000 (07:54 -0600)]
Updated Rust version to latest master
Updated Rust version since the latest version contains changes which allow this version of Miri to build.
Philippe Nadon [Thu, 23 Jul 2020 16:28:00 +0000 (10:28 -0600)]
renamed Immediate::to_scalar_or_undef
to Immediate::to_scalar_or_uninit
in src/shims/intrinsics.rs
related issue #71193
Philippe Nadon [Thu, 23 Jul 2020 15:50:45 +0000 (09:50 -0600)]
renamed ScalarMaybeUninit::not_undef to check_init
Related to PR https://github.com/rust-lang/rust/pull/74664
bors [Sat, 25 Jul 2020 08:02:54 +0000 (08:02 +0000)]
Auto merge of #1485 - RalfJung:miri-extern-fn, r=oli-obk
Miri: use extern fn to expose interpreter operations to program; fix leak checker on Windows
This is the Miri side of https://github.com/rust-lang/rust/pull/74681.
Fixes https://github.com/rust-lang/miri/issues/1302
Fixes https://github.com/rust-lang/miri/issues/1318
Ralf Jung [Sat, 25 Jul 2020 08:02:25 +0000 (10:02 +0200)]
update rust-version