]>
git.lizzy.rs Git - rust.git/log
Oliver Scherer [Fri, 27 Dec 2019 13:26:05 +0000 (14:26 +0100)]
Remove `to_ptr` uses
bors [Fri, 27 Dec 2019 08:41:03 +0000 (08:41 +0000)]
Auto merge of #1129 - christianpoveda:stat64-shim, r=RalfJung
add stat shim for macos
Here we go. I'm apologizing in advice for the constant torture that Travis will suffer.
Christian Poveda [Thu, 26 Dec 2019 18:30:04 +0000 (13:30 -0500)]
rename metadata struct
Christian Poveda [Thu, 26 Dec 2019 17:12:19 +0000 (12:12 -0500)]
minor fixes and updated docs
Christian Poveda [Thu, 26 Dec 2019 03:22:25 +0000 (22:22 -0500)]
set mask for statx correctly
Christian Poveda [Wed, 25 Dec 2019 23:22:33 +0000 (18:22 -0500)]
do padding correctly
Christian Poveda [Wed, 25 Dec 2019 21:09:54 +0000 (16:09 -0500)]
deduplicate shared code between stat and statx
Christian Poveda [Wed, 25 Dec 2019 16:39:57 +0000 (11:39 -0500)]
Add padding on 64-bits only
Christian Poveda [Wed, 25 Dec 2019 16:30:01 +0000 (11:30 -0500)]
restrict `stat` shim to macos only
Christian Poveda [Wed, 25 Dec 2019 16:27:25 +0000 (11:27 -0500)]
remove restrictions due to `stat` unavailability
Christian Poveda [Wed, 25 Dec 2019 15:32:34 +0000 (10:32 -0500)]
add padding to immediates
Christian Poveda [Tue, 24 Dec 2019 17:10:36 +0000 (12:10 -0500)]
fix size for file mode
Christian Poveda [Tue, 24 Dec 2019 16:53:03 +0000 (11:53 -0500)]
add remanining fields to stat stuct
Christian Poveda [Tue, 24 Dec 2019 16:21:00 +0000 (11:21 -0500)]
provide correct name for shim
Christian Poveda [Tue, 24 Dec 2019 16:01:01 +0000 (11:01 -0500)]
add dummy stat shim
bors [Tue, 24 Dec 2019 10:48:05 +0000 (10:48 +0000)]
Auto merge of #1128 - RalfJung:cleanup, r=RalfJung
use new try_from methods
and a bit of other cleanup
Ralf Jung [Tue, 24 Dec 2019 10:46:02 +0000 (11:46 +0100)]
make bytes conversion functions private inside read/write functions
Ralf Jung [Tue, 24 Dec 2019 10:43:42 +0000 (11:43 +0100)]
use new try_from methods
bors [Mon, 23 Dec 2019 22:03:15 +0000 (22:03 +0000)]
Auto merge of #1121 - rust-lang:rustup, r=RalfJung
Rustup to rustc 1.42.0-nightly (
005cf38f7 2019-12-22)
Oliver Scherer [Sun, 22 Dec 2019 09:05:52 +0000 (10:05 +0100)]
Rustup to rustc 1.42.0-nightly (
005cf38f7 2019-12-22)
bors [Mon, 23 Dec 2019 17:14:48 +0000 (17:14 +0000)]
Auto merge of #1124 - RalfJung:sysroot-check, r=oli-obk
disable sysroot checks for distributed binaries
This should help with https://github.com/mozilla/nixpkgs-mozilla/issues/198.
bors [Mon, 23 Dec 2019 16:51:55 +0000 (16:51 +0000)]
Auto merge of #1125 - RalfJung:main-result, r=oli-obk
support main functions with Result return type
Turns out we already properly create the substitution to call the libstd start-fn with an appropriate `main`, we just had an overzealous check in the way.
Fixes https://github.com/rust-lang/miri/issues/1116.
Ralf Jung [Mon, 23 Dec 2019 16:44:02 +0000 (17:44 +0100)]
support main functions with Result return type
bors [Mon, 23 Dec 2019 11:56:51 +0000 (11:56 +0000)]
Auto merge of #1118 - rust-lang:stacked_borrow_tracing, r=oli-obk
Run rustfmt
This is `cargo +nightly fmt --all` with `rustc 1.41.0-nightly (
c8ea4ace9 2019-12-14)`
Oliver Scherer [Mon, 23 Dec 2019 11:56:23 +0000 (12:56 +0100)]
Rustfmt all the things
Ralf Jung [Sun, 22 Dec 2019 17:13:13 +0000 (18:13 +0100)]
disable sysroot checks for distributed binaries
bors [Sun, 22 Dec 2019 17:01:53 +0000 (17:01 +0000)]
Auto merge of #1101 - christianpoveda:stat-shim, r=RalfJung
Add statx shim for linux target
This is an attempt to fix: https://github.com/rust-lang/miri/issues/999 (for linux only)
Currently there is one problem that I haven't been able to solve. `std::fs::metadata` fails because the creation time is not available even though it is provided in the shim code.
In order to inform the caller that the field was provided, the `stx_flag` field must have the bits of `STATX_BTIME` set (which they are). The creation time is in the `stx_btime` field of the `statx` struct (see [1]). The relevant code in `libstd` is here (probably?): https://github.com/rust-lang/rust/blob/master/src/libstd/sys/unix/fs.rs#L322
Another important point is that we are just providing the fields that are available in "all" platforms (this is, without using any platform specific traits or so). This can be improved later.
References:
[1] Man page: http://man7.org/linux/man-pages/man2/statx.2.html
[2] libc `statx` struct: https://docs.rs/libc/0.2.63/libc/struct.statx.html
Edit: The problem is that my filesystem is not providing it and I thought all filesystems could provide it. I changed the code so it only provides those dates if they are available. now we are ready to go.
r? @RalfJung @oli-obk
Christian Poveda [Sat, 30 Nov 2019 20:09:52 +0000 (15:09 -0500)]
add `statx` shim for linux
bors [Sat, 21 Dec 2019 11:26:07 +0000 (11:26 +0000)]
Auto merge of #1117 - rust-lang:rustup, r=RalfJung
Rustup to rustc 1.42.0-nightly (
9ff30a781 2019-12-21)
Oliver Scherer [Sat, 21 Dec 2019 10:45:09 +0000 (11:45 +0100)]
Rustup to rustc 1.42.0-nightly (
9ff30a781 2019-12-21)
bors [Sun, 15 Dec 2019 11:24:36 +0000 (11:24 +0000)]
Auto merge of #1115 - RalfJung:rustup, r=RalfJung
the never type got de-stabilized again; adjust tests
Ralf Jung [Sun, 15 Dec 2019 11:22:09 +0000 (12:22 +0100)]
the never type got de-stabilized again; adjust tests
bors [Sat, 14 Dec 2019 11:06:24 +0000 (11:06 +0000)]
Auto merge of #1113 - RalfJung:vtable, r=RalfJung
add test for sketchy vtable
Blocked on https://github.com/rust-lang/rust/pull/67254
Ralf Jung [Sat, 14 Dec 2019 11:06:01 +0000 (12:06 +0100)]
bump Rust
Ralf Jung [Fri, 13 Dec 2019 12:19:46 +0000 (13:19 +0100)]
add test for sketchy vtable
bors [Tue, 10 Dec 2019 13:47:44 +0000 (13:47 +0000)]
Auto merge of #1080 - rust-lang:stacked_borrow_tracing, r=RalfJung
Add a scheme to find the place where an id was destroyed
cc https://github.com/rust-lang/miri/issues/974
I'm not too happy with it, but since stacked borrows don't have access to the current call stack, I can't just report a warning as per https://github.com/rust-lang/miri/issues/797
We could add some global mutex that we can throw strings at and `step` will clear out that mutex and report warnings before moving the `statement_id` or the `block_id`, not sure how well that would work. For now I think this is sufficient
Oliver Scherer [Tue, 10 Dec 2019 13:47:28 +0000 (14:47 +0100)]
Update README.md
Co-Authored-By: Ralf Jung <post@ralfj.de>
Oliver Scherer [Mon, 9 Dec 2019 13:29:28 +0000 (14:29 +0100)]
Use the machine stop error instead of abusing other error kinds
bors [Sun, 8 Dec 2019 13:37:35 +0000 (13:37 +0000)]
Auto merge of #1111 - MarkusPettersson98:rustup-1.21-yaml, r=RalfJung
Updated CI config to reflect deprecation of rustup uninstall
In the same spirit as #1110 😄
This PR from the rustup repository brought me here: https://github.com/rust-lang/rustup/issues/2148
TL;DR With rustup 1.21.0 `rustup install` and `rustup uninstall` are being deprecated in favor of `rustup toolchain install` and `rustup toolchain uninstall`. There's plenty of code/documentation out there that needs to be updated to reflect this.
Thought It would be cool to help, however small the change may be. :)
Keep up the great work!
bors [Sun, 8 Dec 2019 13:19:03 +0000 (13:19 +0000)]
Auto merge of #1110 - MarkusPettersson98:master, r=RalfJung
Updated README to reflect deprecation of rustup install
This PR from the rustup repository brought me here: https://github.com/rust-lang/rustup/issues/2148
TL;DR With rustup 1.21.0 `rustup install` and `rustup uninstall` are being deprecated in favor of `rustup toolchain install` and `rustup toolchain uninstall`. There's plenty of code/documentation out there that needs to be updated to reflect this.
Thought It would be cool to help, however small the change may be. :)
Keep up the great work!
Oliver Scherer [Sat, 30 Nov 2019 23:04:24 +0000 (00:04 +0100)]
Remove a flaky test
Oliver Scherer [Sat, 30 Nov 2019 23:03:06 +0000 (00:03 +0100)]
Document the new flag
Oliver Scherer [Sat, 30 Nov 2019 23:02:58 +0000 (00:02 +0100)]
Rename track-id to track-pointer-tag
Oliver Scherer [Thu, 28 Nov 2019 13:33:35 +0000 (14:33 +0100)]
Detect all variants of stack removals
Oliver Scherer [Thu, 28 Nov 2019 10:14:16 +0000 (11:14 +0100)]
Vocabulary fix
Oliver Scherer [Thu, 28 Nov 2019 09:36:37 +0000 (10:36 +0100)]
Add a scheme to find the place where an id was destroyed
Markus Pettersson [Sun, 8 Dec 2019 10:22:02 +0000 (11:22 +0100)]
Updated CI config to reflect deprecation of rustup uninstall
Markus Pettersson [Sun, 8 Dec 2019 10:12:25 +0000 (11:12 +0100)]
Updated README to reflect deprecation of rustup install
bors [Sun, 8 Dec 2019 10:07:52 +0000 (10:07 +0000)]
Auto merge of #1109 - RalfJung:track-caller, r=RalfJung
add caller_location tests to Miri
The CTFE implementation seems to also work fine in Miri -- thanks a lot @anp :)
Ralf Jung [Sun, 8 Dec 2019 10:06:35 +0000 (11:06 +0100)]
add caller_location tests to Miri
bors [Sun, 8 Dec 2019 09:33:22 +0000 (09:33 +0000)]
Auto merge of #1108 - RalfJung:rustup, r=RalfJung
rustup
Ralf Jung [Sun, 8 Dec 2019 09:32:50 +0000 (10:32 +0100)]
rustup
bors [Sun, 8 Dec 2019 00:46:35 +0000 (00:46 +0000)]
Auto merge of #1107 - RalfJung:rustup, r=RalfJung
bump Rust, fix error messages
Ralf Jung [Sun, 8 Dec 2019 00:45:41 +0000 (01:45 +0100)]
bump Rust, fix error messages
bors [Sat, 7 Dec 2019 18:04:14 +0000 (18:04 +0000)]
Auto merge of #1106 - RalfJung:memleak-ignore, r=RalfJung
add flag to ignore memory leaks
Ralf Jung [Sat, 7 Dec 2019 17:50:07 +0000 (18:50 +0100)]
fix all-targets build
bors [Sat, 7 Dec 2019 15:03:57 +0000 (15:03 +0000)]
Auto merge of #1105 - RalfJung:readme, r=oli-obk
better way to ignore tests in Miri
This is better because it avoids warnings due to unused imports (the ignored tests still get compiled, just not executed).
Ralf Jung [Sat, 7 Dec 2019 12:44:48 +0000 (13:44 +0100)]
add flag to ignore memory leaks
Ralf Jung [Sat, 7 Dec 2019 10:55:19 +0000 (11:55 +0100)]
use recommended test exclusion technique in test
Ralf Jung [Sat, 7 Dec 2019 10:43:24 +0000 (11:43 +0100)]
better way to ignore tests in Miri
bors [Fri, 6 Dec 2019 08:57:18 +0000 (08:57 +0000)]
Auto merge of #1104 - RalfJung:readme, r=oli-obk
update README
r? @oli-obk
Ralf Jung [Fri, 6 Dec 2019 08:30:44 +0000 (09:30 +0100)]
wording
Ralf Jung [Fri, 6 Dec 2019 08:28:46 +0000 (09:28 +0100)]
README: Miri now supports panics and FS access
bors [Fri, 6 Dec 2019 07:27:43 +0000 (07:27 +0000)]
Auto merge of #1103 - RalfJung:no-recompile, r=RalfJung
avoid recompiling Miri on install
Ralf Jung [Fri, 6 Dec 2019 07:25:50 +0000 (08:25 +0100)]
avoid recompiling Miri on install
bors [Wed, 4 Dec 2019 22:32:07 +0000 (22:32 +0000)]
Auto merge of #1102 - RalfJung:rsutup, r=RalfJung
rustup for find_fn rename
Ralf Jung [Wed, 4 Dec 2019 22:31:39 +0000 (23:31 +0100)]
rustup for find_fn rename
bors [Wed, 4 Dec 2019 09:44:29 +0000 (09:44 +0000)]
Auto merge of #1100 - RalfJung:os_str, r=RalfJung
rename helper methods a bit
Ralf Jung [Wed, 4 Dec 2019 09:43:36 +0000 (10:43 +0100)]
rename helper methods a bit
bors [Wed, 4 Dec 2019 09:17:03 +0000 (09:17 +0000)]
Auto merge of #1099 - RalfJung:os_str, r=RalfJung
tweak and use OsStr interfaces
Ralf Jung [Wed, 4 Dec 2019 09:16:08 +0000 (10:16 +0100)]
avoid allocation in read_os_string_from_c_string
Ralf Jung [Wed, 4 Dec 2019 08:55:36 +0000 (09:55 +0100)]
use write_os_str_to_c_string for unix arg passing
bors [Tue, 3 Dec 2019 22:39:19 +0000 (22:39 +0000)]
Auto merge of #1093 - RalfJung:throw-machine-stop, r=RalfJung
use throw_machine_stop macro
Blocked on https://github.com/rust-lang/rust/pull/66951
Ralf Jung [Tue, 3 Dec 2019 22:38:41 +0000 (23:38 +0100)]
rustup
Ralf Jung [Mon, 2 Dec 2019 10:02:11 +0000 (11:02 +0100)]
use throw_machine_stop macro
bors [Tue, 3 Dec 2019 16:38:20 +0000 (16:38 +0000)]
Auto merge of #1097 - RalfJung:rustup, r=RalfJung
bump Rust for exact_div fix
Ralf Jung [Tue, 3 Dec 2019 16:37:42 +0000 (17:37 +0100)]
bump Rust for exact_div fix
bors [Tue, 3 Dec 2019 07:48:28 +0000 (07:48 +0000)]
Auto merge of #1096 - RalfJung:rustup, r=RalfJung
Rustup
bump Rust to latest HEAD
Ralf Jung [Tue, 3 Dec 2019 07:21:52 +0000 (08:21 +0100)]
bump Rust to HEAD
bors [Tue, 3 Dec 2019 07:20:20 +0000 (07:20 +0000)]
Auto merge of #1094 - Aaron1011:rustup-body, r=RalfJung
Rustup for `BodyCache` changes
Aaron Hill [Tue, 3 Dec 2019 01:20:11 +0000 (20:20 -0500)]
Rustup for `BodyCache` changes
bors [Mon, 2 Dec 2019 15:48:42 +0000 (15:48 +0000)]
Auto merge of #1084 - RalfJung:assert-panic, r=RalfJung
proper support for `Assert` MIR terminators
Fixes https://github.com/rust-lang/miri/issues/1070
Blocked on https://github.com/rust-lang/rust/pull/66874
Ralf Jung [Mon, 2 Dec 2019 15:48:18 +0000 (16:48 +0100)]
ignore another panicking test on Windows
Ralf Jung [Mon, 2 Dec 2019 15:04:51 +0000 (16:04 +0100)]
rustup
Ralf Jung [Sun, 1 Dec 2019 09:19:01 +0000 (10:19 +0100)]
panic errors are actually still possible
Ralf Jung [Sun, 1 Dec 2019 09:18:41 +0000 (10:18 +0100)]
fix init_allocation_extra
Ralf Jung [Sat, 30 Nov 2019 10:48:34 +0000 (11:48 +0100)]
some error classes should be impossible
Ralf Jung [Sat, 30 Nov 2019 09:37:14 +0000 (10:37 +0100)]
also test built-in panics via should_panic
Ralf Jung [Fri, 29 Nov 2019 18:50:37 +0000 (19:50 +0100)]
adjust for init_allocation_extra
Ralf Jung [Fri, 29 Nov 2019 12:18:54 +0000 (13:18 +0100)]
fix and expand panic tests
Ralf Jung [Fri, 29 Nov 2019 10:52:53 +0000 (11:52 +0100)]
better span for functions whose frame we push 'manually'
Ralf Jung [Fri, 29 Nov 2019 10:19:15 +0000 (11:19 +0100)]
test built-in panic catching
Ralf Jung [Fri, 29 Nov 2019 10:17:44 +0000 (11:17 +0100)]
implement proper panicking for other MIR assertions
Requires generalizing the call_function helper to arbitrary Immediate arguments
Ralf Jung [Fri, 29 Nov 2019 09:16:03 +0000 (10:16 +0100)]
implement proper panicking for failed index check
bors [Mon, 2 Dec 2019 14:43:08 +0000 (14:43 +0000)]
Auto merge of #1079 - RalfJung:coercion-error, r=RalfJung
Test diverging closure coercion
Adds a test for https://github.com/rust-lang/miri/issues/1075. Depends on https://github.com/rust-lang/rust/pull/66827.
Ralf Jung [Mon, 2 Dec 2019 14:42:38 +0000 (15:42 +0100)]
rustup
Ralf Jung [Wed, 27 Nov 2019 22:28:59 +0000 (23:28 +0100)]
test diverging closure fn ptr coercion
Ralf Jung [Wed, 27 Nov 2019 20:50:20 +0000 (21:50 +0100)]
expand coerce fn test
bors [Mon, 2 Dec 2019 08:14:57 +0000 (08:14 +0000)]
Auto merge of #1092 - RalfJung:rustup, r=RalfJung
Rustup
Ralf Jung [Mon, 2 Dec 2019 08:13:58 +0000 (09:13 +0100)]
also indicate abort via new MachineStop variant