]>
git.lizzy.rs Git - rust.git/log
Ralf Jung [Fri, 8 Nov 2019 13:12:54 +0000 (14:12 +0100)]
Revert "temporarily ignore cached rustup-toolchain-install-master"
This reverts commit
4872c5cbbe9a4f59c71a9ffde4d5e521c08e8ea0 .
bors [Thu, 7 Nov 2019 08:18:09 +0000 (08:18 +0000)]
Auto merge of #1039 - RalfJung:dyn-tests, r=RalfJung
More tests for dyn trait (in particular, unsized receivers)
So far we only tested them indirectly through `dyn FnOnce`; this also adds some self-contained tests from the rustc test suite.
Ralf Jung [Thu, 7 Nov 2019 08:17:40 +0000 (09:17 +0100)]
also test Box<self> receiver
Ralf Jung [Thu, 7 Nov 2019 08:14:23 +0000 (09:14 +0100)]
move blosure tests to closures file; test Box<dyn> a bit more
Ralf Jung [Thu, 7 Nov 2019 08:05:11 +0000 (09:05 +0100)]
centralize and expand dyn-trait (method receiver) tests
Ralf Jung [Thu, 7 Nov 2019 07:56:11 +0000 (08:56 +0100)]
rename call_drop_ tests to drop_
Ralf Jung [Thu, 7 Nov 2019 07:55:59 +0000 (08:55 +0100)]
tweak and slightly extend box-box-trait test
bors [Wed, 6 Nov 2019 13:39:22 +0000 (13:39 +0000)]
Auto merge of #1037 - JOE1994:master, r=RalfJung
error code E0080 is no longer printed with MIRI error message
Thanks to help from @bjorn3, @RalfJung, and @oli-obk on issue #1035 , I fixed the miri code so that error code **E0080** is no longer printed out for MIRI evaluation errors. I tested my code in my Linux machine as below.
![image](https://user-images.githubusercontent.com/
10286488 /
68264744 -
e71e6c80 -0017-11ea-9028-
f83e19164ea2 .png)
Remaining concern is whether the variable name `new_tcx` which I used is misleading or not.
Fixes https://github.com/rust-lang/miri/issues/1035
YOUNGSUK KIM [Wed, 6 Nov 2019 13:25:00 +0000 (08:25 -0500)]
follow-up to review
bors [Wed, 6 Nov 2019 09:51:32 +0000 (09:51 +0000)]
Auto merge of #1031 - RalfJung:ptr-offset, r=RalfJung
Refactor ptr_offset_inbounds
I finally found a way to write this using basically just `check_ptr_access` while handling all cases (integers and pointers, offset 0 or not) correctly. This changes behavior for NULL ptrs, but I think the change is for the better.
Depends on https://github.com/rust-lang/rust/pull/66081.
Ralf Jung [Wed, 6 Nov 2019 09:51:06 +0000 (10:51 +0100)]
ptr_offset: handle negative offsets
Ralf Jung [Wed, 6 Nov 2019 08:25:02 +0000 (09:25 +0100)]
rustup
Ralf Jung [Mon, 4 Nov 2019 11:29:15 +0000 (12:29 +0100)]
fix error message details
Ralf Jung [Mon, 4 Nov 2019 11:17:25 +0000 (12:17 +0100)]
fix test erorr msg
Ralf Jung [Mon, 4 Nov 2019 11:13:51 +0000 (12:13 +0100)]
refactor ptr_offset_inbounds: it can be reduced to check_ptr_access, after all!
Ralf Jung [Mon, 4 Nov 2019 11:11:31 +0000 (12:11 +0100)]
test that 0 cannot be offset-inbounds by 0
YOUNGSUK KIM [Wed, 6 Nov 2019 02:56:18 +0000 (21:56 -0500)]
error code E0080 is no longer printed with MIRI error message
bors [Tue, 5 Nov 2019 19:18:22 +0000 (19:18 +0000)]
Auto merge of #1032 - RalfJung:offset-from, r=RalfJung
test offset_from
This currently fails and needs a rustc fix: https://github.com/rust-lang/rust/pull/66083
Ralf Jung [Tue, 5 Nov 2019 19:17:45 +0000 (20:17 +0100)]
rustup
Ralf Jung [Mon, 4 Nov 2019 12:28:18 +0000 (13:28 +0100)]
test offset_from
bors [Tue, 5 Nov 2019 10:05:59 +0000 (10:05 +0000)]
Auto merge of #1036 - RalfJung:stacked-borrows-test, r=RalfJung
add an interesting run-pass stacked borrows example
Ralf Jung [Tue, 5 Nov 2019 10:05:02 +0000 (11:05 +0100)]
add an interesting run-pass stacked borrows example
bors [Mon, 4 Nov 2019 10:18:27 +0000 (10:18 +0000)]
Auto merge of #1030 - RalfJung:mir-opt-comment, r=RalfJung
update comment re: not using higher mir-opt-level
Ralf Jung [Mon, 4 Nov 2019 10:17:40 +0000 (11:17 +0100)]
update comment re: not using higher mir-opt-level
bors [Sun, 3 Nov 2019 14:40:15 +0000 (14:40 +0000)]
Auto merge of #1029 - RalfJung:panic-if-uninhabited, r=RalfJung
calling panic_if_uninhabited is not actually UB
Ralf Jung [Sun, 3 Nov 2019 14:39:03 +0000 (15:39 +0100)]
calling panic_if_uninhabited is not actually UB
bors [Sun, 3 Nov 2019 09:16:55 +0000 (09:16 +0000)]
Auto merge of #961 - rust-lang:exact_div_reuse, r=RalfJung
Use the upstream `exact_div` implementation
introduced in https://github.com/rust-lang/rust/pull/63810
Ralf Jung [Sun, 3 Nov 2019 09:15:55 +0000 (10:15 +0100)]
adjust tests
Ralf Jung [Sun, 3 Nov 2019 09:03:30 +0000 (10:03 +0100)]
style
Ralf Jung [Sun, 3 Nov 2019 09:02:32 +0000 (10:02 +0100)]
rustup
Oliver Scherer [Tue, 24 Sep 2019 23:19:41 +0000 (01:19 +0200)]
Use the upstream `exact_div` implementation
bors [Sat, 2 Nov 2019 10:53:37 +0000 (10:53 +0000)]
Auto merge of #1028 - RalfJung:place-apis, r=RalfJung
use Place API instead of Allocation API
Ralf Jung [Sat, 2 Nov 2019 10:50:21 +0000 (11:50 +0100)]
store scalars where appropriate
Ralf Jung [Sat, 2 Nov 2019 10:48:28 +0000 (11:48 +0100)]
Windows cmdline: avoid accessing allocations directly
bors [Wed, 30 Oct 2019 14:06:23 +0000 (14:06 +0000)]
Auto merge of #1027 - RalfJung:typo, r=RalfJung
fix typo
Ralf Jung [Wed, 30 Oct 2019 14:05:44 +0000 (15:05 +0100)]
fix typo
bors [Wed, 30 Oct 2019 09:17:35 +0000 (09:17 +0000)]
Auto merge of #1026 - RalfJung:rustup, r=RalfJung
rustup for span in intrinsic emulation
Ralf Jung [Wed, 30 Oct 2019 09:16:58 +0000 (10:16 +0100)]
rustup for span in intrinsic emulation
bors [Mon, 28 Oct 2019 11:12:03 +0000 (11:12 +0000)]
Auto merge of #1025 - mati865:deps, r=RalfJung
Bump dependencies
Mateusz Mikuła [Sun, 27 Oct 2019 22:01:01 +0000 (23:01 +0100)]
Bump dependencies
bors [Sat, 26 Oct 2019 07:33:58 +0000 (07:33 +0000)]
Auto merge of #1024 - RalfJung:rustup, r=RalfJung
rustup for projection interning
Ralf Jung [Sat, 26 Oct 2019 07:33:24 +0000 (09:33 +0200)]
rustup for projection interning
bors [Fri, 25 Oct 2019 18:26:39 +0000 (18:26 +0000)]
Auto merge of #1023 - RalfJung:align_to, r=RalfJung
test align_to example
Fixes https://github.com/rust-lang/miri/issues/873
Ralf Jung [Fri, 25 Oct 2019 18:26:01 +0000 (20:26 +0200)]
test align_to example
bors [Thu, 24 Oct 2019 15:16:44 +0000 (15:16 +0000)]
Auto merge of #1021 - RalfJung:rustc-dev, r=RalfJung
Adjust for rustc-dev
Ralf Jung [Thu, 24 Oct 2019 13:44:35 +0000 (15:44 +0200)]
add back '-c cargo'
Ralf Jung [Thu, 24 Oct 2019 11:12:26 +0000 (13:12 +0200)]
rustc-dev landed; adjust rust version
Ralf Jung [Sat, 12 Oct 2019 15:11:29 +0000 (17:11 +0200)]
temporarily ignore cached rustup-toolchain-install-master
Ralf Jung [Fri, 11 Oct 2019 08:13:26 +0000 (10:13 +0200)]
adjust README for rustc-dev
Ralf Jung [Fri, 11 Oct 2019 08:11:01 +0000 (10:11 +0200)]
bump rustc and adjust for rustc-dev component
(also sync AppVeyor with Travis: use stable cargo)
bors [Thu, 24 Oct 2019 08:53:52 +0000 (08:53 +0000)]
Auto merge of #1020 - RalfJung:compiletest, r=RalfJung
compiletest-nightly should work again
Ralf Jung [Thu, 24 Oct 2019 08:31:08 +0000 (10:31 +0200)]
compiletest-nightly should work again
bors [Thu, 24 Oct 2019 08:27:38 +0000 (08:27 +0000)]
Auto merge of #1019 - RalfJung:rustup, r=RalfJung
rustup: more flexible write_bytes
avoids allocations and removes itertools dependency
Ralf Jung [Thu, 24 Oct 2019 08:23:44 +0000 (10:23 +0200)]
update comments and some tweaks
Ralf Jung [Thu, 24 Oct 2019 08:15:30 +0000 (10:15 +0200)]
rustup: more flexible write_bytes avoids allocations and removes itertools dependency
bors [Wed, 23 Oct 2019 16:52:52 +0000 (16:52 +0000)]
Auto merge of #993 - christianpoveda:os_string_helper, r=RalfJung
Add OsString from/to bytes helper functions
Related issue: https://github.com/rust-lang/miri/issues/989
r? @RalfJung
bors [Wed, 23 Oct 2019 14:34:56 +0000 (14:34 +0000)]
Auto merge of #1018 - RalfJung:rustup, r=RalfJung
rustup; fix debugging
Ralf Jung [Wed, 23 Oct 2019 14:33:54 +0000 (16:33 +0200)]
rustup; fix debugging
Christian Poveda [Wed, 23 Oct 2019 13:58:25 +0000 (08:58 -0500)]
Fix documentation
bors [Wed, 23 Oct 2019 08:58:22 +0000 (08:58 +0000)]
Auto merge of #1017 - RalfJung:test, r=RalfJung
cargo update cargo-miri-test
Ralf Jung [Wed, 23 Oct 2019 08:32:08 +0000 (10:32 +0200)]
cargo update cargo-miri-test
bors [Wed, 23 Oct 2019 08:31:50 +0000 (08:31 +0000)]
Auto merge of #1016 - RalfJung:rustup, r=RalfJung
Rustup
Ralf Jung [Wed, 23 Oct 2019 08:31:08 +0000 (10:31 +0200)]
use compiletest_rs for stable compiler as nightly is broken
Ralf Jung [Wed, 23 Oct 2019 08:25:22 +0000 (10:25 +0200)]
rustup + cargo update
Christian Poveda [Tue, 22 Oct 2019 21:57:07 +0000 (16:57 -0500)]
Make size error distinguishable from other errors
Christian Poveda [Tue, 22 Oct 2019 14:56:41 +0000 (09:56 -0500)]
Use new write_bytes method
bors [Tue, 22 Oct 2019 11:41:14 +0000 (11:41 +0000)]
Auto merge of #1015 - RalfJung:appv, r=RalfJung
AppVeyor: abort early if a job fails
Ralf Jung [Tue, 22 Oct 2019 11:11:16 +0000 (13:11 +0200)]
AppVeyor: abort early if a job fails
bors [Tue, 22 Oct 2019 11:08:32 +0000 (11:08 +0000)]
Auto merge of #1014 - RalfJung:rustup, r=RalfJung
rustup: fix for write_bytes and new union rules
Ralf Jung [Tue, 22 Oct 2019 08:43:16 +0000 (10:43 +0200)]
fix field index
Ralf Jung [Tue, 22 Oct 2019 08:13:11 +0000 (10:13 +0200)]
rustup: fix for write_bytes and new union rules
Christian Poveda [Mon, 21 Oct 2019 13:49:49 +0000 (08:49 -0500)]
Fix merge conflicts
bors [Mon, 21 Oct 2019 11:50:08 +0000 (11:50 +0000)]
Auto merge of #1012 - RalfJung:rustup, r=RalfJung
bump Rust (no changes needed)
Just bumping it to the latest nightly.
Ralf Jung [Mon, 21 Oct 2019 11:31:38 +0000 (13:31 +0200)]
bump Rust (no changes needed)
bors [Mon, 21 Oct 2019 11:25:34 +0000 (11:25 +0000)]
Auto merge of #1011 - RalfJung:full-stop, r=RalfJung
add some missing trailing full stops that slipped through review
Ralf Jung [Mon, 21 Oct 2019 11:24:56 +0000 (13:24 +0200)]
add some missing trailing full stops that slipped through review
bors [Mon, 21 Oct 2019 09:15:51 +0000 (09:15 +0000)]
Auto merge of #991 - christianpoveda:errno-place, r=RalfJung
Change the last OS error location to a place
r? @RalfJung
bors [Mon, 21 Oct 2019 08:45:54 +0000 (08:45 +0000)]
Auto merge of #1010 - RalfJung:xargo, r=RalfJung
when xargo is manually specified, don't try to upgrade it
Ralf Jung [Mon, 21 Oct 2019 08:25:47 +0000 (10:25 +0200)]
when xargo is manually specified, don't try to upgrade it
Christian Poveda [Sun, 20 Oct 2019 22:40:21 +0000 (17:40 -0500)]
Add docs for the new helper functions
Christian Poveda [Sat, 19 Oct 2019 19:00:44 +0000 (14:00 -0500)]
Small corrections to docs
Christian Poveda [Fri, 18 Oct 2019 19:44:48 +0000 (14:44 -0500)]
Transform the last error place to an immediate instead
Christian Poveda [Fri, 18 Oct 2019 19:33:25 +0000 (14:33 -0500)]
Rename set_last_error_from_io_result
Christian Poveda [Fri, 18 Oct 2019 01:29:30 +0000 (20:29 -0500)]
Make transformation to OS error explicit
Christian Poveda [Thu, 17 Oct 2019 02:37:35 +0000 (21:37 -0500)]
Rename consume_result
Christian Poveda [Sun, 13 Oct 2019 01:58:02 +0000 (20:58 -0500)]
Change last_error to a place
Christian Poveda [Sun, 13 Oct 2019 01:44:45 +0000 (20:44 -0500)]
Move last error functions to helpers
bors [Sun, 20 Oct 2019 10:21:28 +0000 (10:21 +0000)]
Auto merge of #1009 - RalfJung:expect_none, r=RalfJung
use expect_none and unwrap_none where it makes sense
Ralf Jung [Sun, 20 Oct 2019 10:20:48 +0000 (12:20 +0200)]
use expect_none and unwrap_none where it makes sense
Christian Poveda [Sat, 19 Oct 2019 20:49:00 +0000 (15:49 -0500)]
Do additional bounds checks
Christian Poveda [Sat, 19 Oct 2019 19:13:49 +0000 (14:13 -0500)]
Change comparison order for clarity
bors [Sat, 19 Oct 2019 14:39:16 +0000 (14:39 +0000)]
Auto merge of #1008 - RalfJung:sysroot, r=RalfJung
print sysroot without any escaping
Ralf Jung [Sat, 19 Oct 2019 14:36:45 +0000 (16:36 +0200)]
print sysroot without any escaping
bors [Sat, 19 Oct 2019 10:40:08 +0000 (10:40 +0000)]
Auto merge of #1006 - RalfJung:bounds, r=RalfJung
audit our bounds checks
This simplifies some bounds checks and adds comments.
Ralf Jung [Sat, 19 Oct 2019 10:28:39 +0000 (12:28 +0200)]
audit our bounds checks
Christian Poveda [Fri, 18 Oct 2019 19:25:49 +0000 (14:25 -0500)]
Fix writing errors
Christian Poveda [Fri, 18 Oct 2019 14:30:12 +0000 (09:30 -0500)]
Rename write/read os string functions
Christian Poveda [Fri, 18 Oct 2019 02:20:05 +0000 (21:20 -0500)]
Use conditional compilation properly and work with `OsStr`s instead
Christian Poveda [Thu, 17 Oct 2019 15:21:06 +0000 (10:21 -0500)]
Change helper functions to read/write
Christian Poveda [Sun, 13 Oct 2019 20:26:03 +0000 (15:26 -0500)]
Add OsString from/to bytes helper functions