]>
git.lizzy.rs Git - rust.git/log
bors [Mon, 6 Jan 2020 10:39:24 +0000 (10:39 +0000)]
Auto merge of #1141 - RalfJung:lint-adjust, r=RalfJung
remove no-longer-needed allow(const_err)
Ralf Jung [Mon, 6 Jan 2020 10:38:35 +0000 (11:38 +0100)]
remove no-longer-needed allow(const_err)
bors [Mon, 6 Jan 2020 09:11:56 +0000 (09:11 +0000)]
Auto merge of #1137 - anp:track-caller-update, r=RalfJung
Update panic machinery to match #[track_caller] changes.
This gets miri's tests passing again with https://github.com/rust-lang/rust/pull/67137, I don't think it will pass CI until that has merged.
Yuki Okushi [Mon, 6 Jan 2020 04:22:24 +0000 (13:22 +0900)]
More rustup
Yuki Okushi [Sun, 5 Jan 2020 08:53:45 +0000 (17:53 +0900)]
Rustup
Adam Perry [Wed, 1 Jan 2020 22:57:10 +0000 (14:57 -0800)]
Update panic machinery to match #[track_caller] changes.
This gets miri's tests passing again with https://github.com/rust-lang/rust/pull/67137.
bors [Thu, 2 Jan 2020 14:58:15 +0000 (14:58 +0000)]
Auto merge of #1139 - RalfJung:fixme, r=RalfJung
note a FIXME
Cc @wesleywiser
Ralf Jung [Thu, 2 Jan 2020 14:57:33 +0000 (15:57 +0100)]
note a FIXME
bors [Thu, 2 Jan 2020 10:53:10 +0000 (10:53 +0000)]
Auto merge of #1138 - wesleywiser:fix_miri_after_cast_truncation_checking, r=oli-obk
Bump rustc version to fix miri
Fixes rust-lang/rust#67793
Wesley Wiser [Thu, 2 Jan 2020 02:33:51 +0000 (21:33 -0500)]
Bump rustc version to fix miri
bors [Wed, 1 Jan 2020 14:24:09 +0000 (14:24 +0000)]
Auto merge of #1135 - Aaron1011:rustup-plain, r=RalfJung
Rustup
This is mainly to see if CI can reproduce a strange issue I'm running
into locally
Aaron Hill [Wed, 1 Jan 2020 08:22:06 +0000 (03:22 -0500)]
Rustup
This is mainly to see if CI can reproduce a strange issue I'm running
into locally
bors [Tue, 31 Dec 2019 11:19:26 +0000 (11:19 +0000)]
Auto merge of #1134 - RalfJung:macos-hashmap, r=RalfJung
test macOS hashmap
With https://github.com/rust-lang/miri/pull/1130 landed, this should work now. Thanks @christianpoveda!
Fixes https://github.com/rust-lang/miri/issues/686
Ralf Jung [Tue, 31 Dec 2019 11:10:52 +0000 (12:10 +0100)]
fix imports
Ralf Jung [Tue, 31 Dec 2019 11:06:42 +0000 (12:06 +0100)]
with FS access, default HashMap should work on macOS
bors [Tue, 31 Dec 2019 11:00:08 +0000 (11:00 +0000)]
Auto merge of #1130 - christianpoveda:ignore-close-read-only, r=RalfJung
Ignore close errors in read-only files.
this fixes https://github.com/rust-lang/miri/issues/999
r? @RalfJung
Christian Poveda [Mon, 30 Dec 2019 22:26:17 +0000 (17:26 -0500)]
avoid double negation
bors [Mon, 30 Dec 2019 19:15:53 +0000 (19:15 +0000)]
Auto merge of #1131 - JOE1994:alloc_os_str_as_c_str, r=RalfJung
Add helper 'alloc_os_str_as_c_str' and use it in env_var emulation
First part of the plan laid out in #707 (comment).
Re-submitting a pull-request for work from #1098 (manual rebasing..)
r? @RalfJung
Christian Poveda [Fri, 27 Dec 2019 14:11:21 +0000 (09:11 -0500)]
add comments
bors [Sun, 29 Dec 2019 11:39:31 +0000 (11:39 +0000)]
Auto merge of #1133 - RalfJung:compile-fail-opt, r=RalfJung
compile-fail tests work with optimizations now
Ralf Jung [Sun, 29 Dec 2019 11:38:40 +0000 (12:38 +0100)]
compile-fail tests work with optimizations now
bors [Sat, 28 Dec 2019 14:14:43 +0000 (14:14 +0000)]
Auto merge of #1132 - christianpoveda:use_scalar_to_u16, r=RalfJung
Use Scalar::to_u16
https://github.com/rust-lang/rust/pull/67604#issuecomment-
569413675 r? @RalfJung
Christian Poveda [Sat, 28 Dec 2019 14:09:42 +0000 (09:09 -0500)]
bump rustc version
Christian Poveda [Sat, 28 Dec 2019 13:38:31 +0000 (08:38 -0500)]
Use Scalar::to_u16
JOE1994 [Sat, 28 Dec 2019 01:32:20 +0000 (20:32 -0500)]
Add helper 'alloc_os_str_as_c_str' and use it in env_var emulation
bors [Fri, 27 Dec 2019 13:50:31 +0000 (13:50 +0000)]
Auto merge of #1114 - rust-lang:to_ptr_considered_harmful, r=oli-obk
Remove all uses of `to_ptr`
Also only works on top of https://github.com/rust-lang/rust/pull/67192
Christian Poveda [Fri, 27 Dec 2019 13:37:52 +0000 (08:37 -0500)]
avoid excluding TERM env var
Christian Poveda [Fri, 27 Dec 2019 13:34:35 +0000 (08:34 -0500)]
close file silently if the file is read only
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