]>
git.lizzy.rs Git - rust.git/log
bors [Sat, 3 Aug 2019 13:15:51 +0000 (13:15 +0000)]
Auto merge of #856 - RalfJung:type_dispatch_first, r=RalfJung
Adjust for ptr_op changes
This is the Miri side of https://github.com/rust-lang/rust/pull/62946.
Ralf Jung [Sat, 3 Aug 2019 13:15:28 +0000 (15:15 +0200)]
bump Rust
Ralf Jung [Wed, 24 Jul 2019 18:42:53 +0000 (20:42 +0200)]
simplify code
Ralf Jung [Wed, 24 Jul 2019 14:25:12 +0000 (16:25 +0200)]
remove some compile-fail tests that now work
Ralf Jung [Wed, 24 Jul 2019 14:22:48 +0000 (16:22 +0200)]
implement all ptr comparisons through integer casts
Ralf Jung [Wed, 24 Jul 2019 14:17:49 +0000 (16:17 +0200)]
adjust for ptr_op now being called type-based
bors [Sat, 3 Aug 2019 11:55:08 +0000 (11:55 +0000)]
Auto merge of #879 - RalfJung:rustc-tests, r=RalfJung
also let bootstrap tell us where to find xargo
Ralf Jung [Sat, 3 Aug 2019 11:53:02 +0000 (13:53 +0200)]
also let bootstrap tell us where to find xargo
bors [Sat, 3 Aug 2019 08:36:58 +0000 (08:36 +0000)]
Auto merge of #878 - RalfJung:rustup, r=RalfJung
Rustup for error changes
Ralf Jung [Sat, 3 Aug 2019 08:26:15 +0000 (10:26 +0200)]
bump Rust
Ralf Jung [Sat, 3 Aug 2019 08:25:55 +0000 (10:25 +0200)]
fix for error refactoring
bors [Fri, 2 Aug 2019 16:04:16 +0000 (16:04 +0000)]
Auto merge of #875 - RalfJung:miri-rustc, r=RalfJung
honor CARGO env var (for rustc bootstrap)
Ralf Jung [Fri, 2 Aug 2019 16:02:54 +0000 (18:02 +0200)]
honor CARGO env var (for rustc bootstrap)
bors [Fri, 2 Aug 2019 12:27:55 +0000 (12:27 +0000)]
Auto merge of #874 - RalfJung:zst, r=RalfJung
test dangling ZST deref
Fixes https://github.com/rust-lang/miri/issues/582.
Ralf Jung [Fri, 2 Aug 2019 12:26:15 +0000 (14:26 +0200)]
test dangling ZST deref
bors [Fri, 2 Aug 2019 08:08:35 +0000 (08:08 +0000)]
Auto merge of #870 - RalfJung:miri-rustc, r=oli-obk
Prepare Miri for rustc bootstrap building a separate libstd for it
bors [Fri, 2 Aug 2019 07:40:02 +0000 (07:40 +0000)]
Auto merge of #872 - RalfJung:retag-shallow, r=oli-obk
Make Retag shallow
A shallow retag does not traverse into fields of compound typed to search for references to retag. It only retags "top-level"/"bare" references (and boxes).
This helps with https://github.com/rust-lang/unsafe-code-guidelines/issues/125 because it also means that we do not add protectors for references passed in fields of a struct (or other compound types). Until we know what the rules should be for protectors, I prefer to be less aggressive about what we are rejecting.
This also matches our work-in-progress Coq formalization.
Ralf Jung [Fri, 2 Aug 2019 06:38:22 +0000 (08:38 +0200)]
comment
Ralf Jung [Fri, 2 Aug 2019 06:15:52 +0000 (08:15 +0200)]
test Ref/RefMut protector interactions
Ralf Jung [Fri, 2 Aug 2019 06:09:22 +0000 (08:09 +0200)]
make reborrow shallow, and fix tests for that
Ralf Jung [Wed, 31 Jul 2019 13:15:31 +0000 (15:15 +0200)]
bootstrap no longer carries a copy of these flags
Ralf Jung [Wed, 31 Jul 2019 13:15:14 +0000 (15:15 +0200)]
let the user skip the sysroot consistency check
bors [Wed, 31 Jul 2019 11:54:00 +0000 (11:54 +0000)]
Auto merge of #869 - RalfJung:tests, r=oli-obk
test suite: be fine with warnings when running on rustc CI
r? @oli-obk
Ralf Jung [Wed, 31 Jul 2019 11:48:49 +0000 (13:48 +0200)]
reorder for clarity
Ralf Jung [Wed, 31 Jul 2019 11:48:15 +0000 (13:48 +0200)]
dedup code a bit
Ralf Jung [Wed, 31 Jul 2019 11:44:55 +0000 (13:44 +0200)]
test suite: be fine with warnings when running on rustc CI
bors [Wed, 31 Jul 2019 08:09:12 +0000 (08:09 +0000)]
Auto merge of #868 - JohnTitor:adjust-async-await-test, r=RalfJung
Remove `await_macro`
`await_macro` is now unsupported so we should remove it.
Failed in https://github.com/rust-lang/rust/pull/63141
r? @RalfJung
Yuki Okushi [Wed, 31 Jul 2019 07:42:38 +0000 (16:42 +0900)]
Remove await_macro
bors [Tue, 30 Jul 2019 21:17:48 +0000 (21:17 +0000)]
Auto merge of #867 - RalfJung:readme, r=RalfJung
README: move CI remark down to CI section
Ralf Jung [Tue, 30 Jul 2019 21:17:13 +0000 (23:17 +0200)]
AppVeyor: retry download
Ralf Jung [Tue, 30 Jul 2019 15:04:57 +0000 (17:04 +0200)]
move CI remark down to CI section
bors [Tue, 30 Jul 2019 09:46:54 +0000 (09:46 +0000)]
Auto merge of #865 - RalfJung:readme, r=oli-obk
README: call out more clearly what we do not test
also update paragraph on intptrcast
Ralf Jung [Tue, 30 Jul 2019 09:23:56 +0000 (11:23 +0200)]
call out more clearly what we do not test; update paragraph on intptrcast
bors [Mon, 29 Jul 2019 10:39:58 +0000 (10:39 +0000)]
Auto merge of #862 - RalfJung:rustup, r=RalfJung
bump Rust
My hypothesis is that this will replicate https://travis-ci.com/rust-lang/miri/jobs/
220221687 (so we know which commit range caused it).
Ralf Jung [Mon, 29 Jul 2019 08:21:59 +0000 (10:21 +0200)]
adjust for slice pattern changes
Ralf Jung [Mon, 29 Jul 2019 08:07:29 +0000 (10:07 +0200)]
bump Rust
bors [Sun, 28 Jul 2019 08:35:51 +0000 (08:35 +0000)]
Auto merge of #861 - RalfJung:rustup, r=RalfJung
bump Rust (no changes needed)
This is mostly to confirm that this still all works fine.
Ralf Jung [Sun, 28 Jul 2019 08:14:36 +0000 (10:14 +0200)]
bump Rust (no changes needed)
bors [Fri, 26 Jul 2019 20:50:48 +0000 (20:50 +0000)]
Auto merge of #860 - RalfJung:rustup, r=RalfJung
bump Rust
Ralf Jung [Fri, 26 Jul 2019 20:50:01 +0000 (22:50 +0200)]
bump Rust
bors [Fri, 26 Jul 2019 08:16:07 +0000 (08:16 +0000)]
Auto merge of #858 - RalfJung:rustup, r=RalfJung
bump Rust
Ralf Jung [Fri, 26 Jul 2019 08:14:44 +0000 (10:14 +0200)]
bump Rust
bors [Thu, 25 Jul 2019 17:40:32 +0000 (17:40 +0000)]
Auto merge of #857 - RalfJung:readme, r=RalfJung
link to UB definition
Ralf Jung [Thu, 25 Jul 2019 17:38:55 +0000 (19:38 +0200)]
link to UB definition
bors [Wed, 24 Jul 2019 18:19:40 +0000 (18:19 +0000)]
Auto merge of #853 - RalfJung:readme, r=RalfJung
readme: move flags and env vars up above dev
bors [Wed, 24 Jul 2019 14:44:13 +0000 (14:44 +0000)]
Auto merge of #854 - lzutao:warn-idioms, r=RalfJung
build: Warn if not use 2018 idioms
As requested in https://github.com/rust-lang/miri/pull/852#issuecomment-
514612244
Lzu Tao [Wed, 24 Jul 2019 14:24:26 +0000 (21:24 +0700)]
build: Warn if not use 2018 idioms
bors [Wed, 24 Jul 2019 13:05:55 +0000 (13:05 +0000)]
Auto merge of #852 - lzutao:rustup, r=RalfJung
build: Fix build after rust-lang/rust#60951
Ralf Jung [Wed, 24 Jul 2019 12:18:42 +0000 (14:18 +0200)]
readme: move flags and env vars up above dev
bors [Wed, 24 Jul 2019 08:26:02 +0000 (08:26 +0000)]
Auto merge of #851 - RalfJung:intrptrcast-by-default, r=oli-obk
enable Intrptrcast by default
As laid out in https://github.com/rust-lang/miri/issues/785: we change Miri to always have an RNG, seeded per default with 0. Then we adjust everything to remove dead code and dead tests.
r? @oli-obk
Cc @christianpoveda
Ralf Jung [Wed, 24 Jul 2019 06:57:05 +0000 (08:57 +0200)]
explain better what is non-deterministic here
Lzu Tao [Wed, 24 Jul 2019 00:30:41 +0000 (07:30 +0700)]
build: Fix build after rust-lang/rust#60951
Ralf Jung [Tue, 23 Jul 2019 21:48:28 +0000 (23:48 +0200)]
fix non-deterministic test
Ralf Jung [Tue, 23 Jul 2019 21:43:37 +0000 (23:43 +0200)]
use checked arithmetic in intrptrcast
Ralf Jung [Tue, 23 Jul 2019 21:26:25 +0000 (23:26 +0200)]
remove redundant tests / flags
Ralf Jung [Tue, 23 Jul 2019 21:25:06 +0000 (23:25 +0200)]
review failing compile-fail tests
Ralf Jung [Tue, 23 Jul 2019 19:53:47 +0000 (21:53 +0200)]
update miri-seed handling for run-pass test suite
Ralf Jung [Tue, 23 Jul 2019 19:38:53 +0000 (21:38 +0200)]
make sure we always have an RNG
bors [Sun, 21 Jul 2019 09:56:50 +0000 (09:56 +0000)]
Auto merge of #849 - RalfJung:rustup, r=RalfJung
bump rust
Ralf Jung [Sun, 21 Jul 2019 09:56:10 +0000 (11:56 +0200)]
bump rust
bors [Sat, 20 Jul 2019 20:39:29 +0000 (20:39 +0000)]
Auto merge of #848 - RalfJung:rustc-tests, r=RalfJung
disable some compile-fail tests for rustc
Ralf Jung [Sat, 20 Jul 2019 20:38:41 +0000 (22:38 +0200)]
disable some compile-fail tests for rustc
bors [Fri, 19 Jul 2019 16:04:29 +0000 (16:04 +0000)]
Auto merge of #847 - RalfJung:rustup, r=RalfJung
fix for rustc_driver change
Ralf Jung [Fri, 19 Jul 2019 16:03:55 +0000 (18:03 +0200)]
fix miri-rustc-tests
Ralf Jung [Fri, 19 Jul 2019 15:36:25 +0000 (17:36 +0200)]
fix for rustc_driver change
bors [Tue, 16 Jul 2019 16:40:19 +0000 (16:40 +0000)]
Auto merge of #843 - RalfJung:rustup, r=RalfJung
fix compile-fail tests for latest rustc
Ralf Jung [Tue, 16 Jul 2019 16:39:18 +0000 (18:39 +0200)]
fix compile-fail tests for latest rustc
bors [Sun, 14 Jul 2019 08:42:21 +0000 (08:42 +0000)]
Auto merge of #840 - RalfJung:readme, r=RalfJung
update README about what we do not support
Ralf Jung [Sun, 14 Jul 2019 07:34:08 +0000 (09:34 +0200)]
update README about what we do not support
bors [Sun, 14 Jul 2019 07:33:29 +0000 (07:33 +0000)]
Auto merge of #839 - RalfJung:noalloc, r=RalfJung
avoid unnecessary allocation
Ralf Jung [Sat, 13 Jul 2019 13:18:15 +0000 (15:18 +0200)]
avoid unnecessary allocation
bors [Sat, 13 Jul 2019 12:28:43 +0000 (12:28 +0000)]
Auto merge of #834 - jyn514:master, r=RalfJung
Give a useful error message if user gives invalid random seed
I thought this crash was in my code at first because the error was so vague.
Joshua Nelson [Sat, 13 Jul 2019 12:28:33 +0000 (08:28 -0400)]
Give a useful error message if user gives invalid random seed
bors [Sat, 13 Jul 2019 08:25:22 +0000 (08:25 +0000)]
Auto merge of #836 - RalfJung:arrays, r=RalfJung
test some const-generic-using methods
Ralf Jung [Sat, 13 Jul 2019 08:23:40 +0000 (10:23 +0200)]
test some const-generic-using methods
bors [Thu, 11 Jul 2019 17:01:14 +0000 (17:01 +0000)]
Auto merge of #833 - RalfJung:win, r=RalfJung
reenable all tests on Windows
Ralf Jung [Thu, 11 Jul 2019 16:59:11 +0000 (18:59 +0200)]
thread creation error for Windows
Ralf Jung [Thu, 11 Jul 2019 16:41:53 +0000 (18:41 +0200)]
reenable all tests on Windows
bors [Thu, 11 Jul 2019 15:13:50 +0000 (15:13 +0000)]
Auto merge of #830 - RalfJung:check-place, r=RalfJung
Fix validation and reborrowing of integer pointers
Depends on https://github.com/rust-lang/rust/pull/62441
Ralf Jung [Thu, 11 Jul 2019 15:13:28 +0000 (17:13 +0200)]
bump rust
Ralf Jung [Wed, 10 Jul 2019 12:38:49 +0000 (14:38 +0200)]
we do this these days
Ralf Jung [Wed, 10 Jul 2019 12:37:52 +0000 (14:37 +0200)]
bump rustc
Ralf Jung [Sat, 6 Jul 2019 12:08:37 +0000 (14:08 +0200)]
force pointers before reborrowing; fixes cargo miri test suite
Ralf Jung [Sat, 6 Jul 2019 11:16:54 +0000 (13:16 +0200)]
now we can also enable the ptr_int_cast test again
Ralf Jung [Sat, 6 Jul 2019 11:14:06 +0000 (13:14 +0200)]
adjust for rustc changes; normalize mplace before doing freeze-sensitive visit
Ralf Jung [Sat, 6 Jul 2019 09:05:51 +0000 (11:05 +0200)]
ptr_offset works fine with intptrcast now
bors [Wed, 10 Jul 2019 07:32:43 +0000 (07:32 +0000)]
Auto merge of #832 - RalfJung:rustup, r=RalfJung
bump rustc
Ralf Jung [Wed, 10 Jul 2019 07:31:31 +0000 (09:31 +0200)]
bump rustc
bors [Wed, 10 Jul 2019 06:55:57 +0000 (06:55 +0000)]
Auto merge of #831 - lzutao:rustup, r=RalfJung
Remove SliceConcatExt import
rustup https://github.com/rust-lang/rust/pull/62403
cc https://github.com/rust-lang/rust/issues/62347
Lzu Tao [Wed, 10 Jul 2019 02:55:04 +0000 (09:55 +0700)]
Remove SliceConcatExt import
bors [Sat, 6 Jul 2019 10:02:17 +0000 (10:02 +0000)]
Auto merge of #827 - lzutao:patch-1, r=RalfJung
Remove stable cargo feature `default-run`
At least on beta.
bors [Sat, 6 Jul 2019 09:40:51 +0000 (09:40 +0000)]
Auto merge of #826 - RalfJung:uninit, r=RalfJung
uninit intrinsic is gone
Finally. :D
However, to land this we'll need to fix the intptrcast issues that block https://github.com/rust-lang/miri/pull/803.
Lzu Tao [Sat, 6 Jul 2019 09:35:57 +0000 (16:35 +0700)]
build: Revert update beta toolchain
lzutao [Sat, 6 Jul 2019 09:16:34 +0000 (16:16 +0700)]
Remove stable cargo feature `default-run`
At least on beta.
bors [Sat, 6 Jul 2019 09:17:45 +0000 (09:17 +0000)]
Auto merge of #824 - RalfJung:c_str, r=RalfJung
use Memory::read_c_str, avoid a few to_ptr
This is the Miri side of https://github.com/rust-lang/rust/pull/62257
Ralf Jung [Fri, 5 Jul 2019 06:37:19 +0000 (08:37 +0200)]
use Memory::read_c_str, avoid a few to_ptr
bors [Sat, 6 Jul 2019 08:26:10 +0000 (08:26 +0000)]
Auto merge of #808 - RalfJung:extra-fn, r=RalfJung
use Dlsym support to implement getentropy (and better thread spawn error)
This is the Miri side of https://github.com/rust-lang/rust/pull/62245.
Fixes https://github.com/rust-lang/miri/issues/789
Ralf Jung [Sat, 6 Jul 2019 07:52:28 +0000 (09:52 +0200)]
bump rustc
Ralf Jung [Sat, 6 Jul 2019 07:51:20 +0000 (09:51 +0200)]
fix for changd machine trait signatures
Ralf Jung [Mon, 1 Jul 2019 21:07:40 +0000 (23:07 +0200)]
adjust for get_fn signature change