]>
git.lizzy.rs Git - rust.git/log
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
Ralf Jung [Sun, 30 Jun 2019 21:32:25 +0000 (23:32 +0200)]
gen_random: use check_ptr_access
Ralf Jung [Sun, 30 Jun 2019 21:28:24 +0000 (23:28 +0200)]
move gen_random to helpers
Ralf Jung [Sun, 30 Jun 2019 14:52:12 +0000 (16:52 +0200)]
bump the version of getrandom that we test
Ralf Jung [Sun, 30 Jun 2019 14:43:05 +0000 (16:43 +0200)]
better error message when the program tries to spawn a thread
Ralf Jung [Sun, 30 Jun 2019 14:03:13 +0000 (16:03 +0200)]
update to FnVal changes; implement basic Dlsym support and use it for getentropy
Ralf Jung [Fri, 5 Jul 2019 16:44:58 +0000 (18:44 +0200)]
uninit intrinsic is gone
bors [Sat, 6 Jul 2019 07:36:28 +0000 (07:36 +0000)]
Auto merge of #799 - rust-lang:rustup, r=RalfJung
Initialize MemoryExtra with StdRng
We need this in a local branch for an synchronous rustc update.
Ralf Jung [Sat, 6 Jul 2019 07:33:22 +0000 (09:33 +0200)]
fix test using mem::uninitialized
Ralf Jung [Sat, 6 Jul 2019 07:32:35 +0000 (09:32 +0200)]
fix unused variable warning
Ralf Jung [Sat, 6 Jul 2019 07:29:58 +0000 (09:29 +0200)]
bump rustc
Ralf Jung [Sat, 6 Jul 2019 07:29:17 +0000 (09:29 +0200)]
Merge remote-tracking branch 'origin/master' into rustup
bors [Fri, 5 Jul 2019 22:52:21 +0000 (22:52 +0000)]
Auto merge of #817 - RalfJung:small-alloc, r=RalfJung
align small malloc-allocations even less, and test that we do
Needs https://github.com/rust-lang/rust/pull/62295 to land.
Fixes https://github.com/rust-lang/miri/issues/812.
Ralf Jung [Fri, 5 Jul 2019 21:51:11 +0000 (23:51 +0200)]
dangling-ptr-to-int should work now; move to noseed
Ralf Jung [Fri, 5 Jul 2019 21:49:30 +0000 (23:49 +0200)]
bump rustc
Ralf Jung [Fri, 5 Jul 2019 21:47:10 +0000 (23:47 +0200)]
rename InterpretCx -> InterpCx
Ralf Jung [Tue, 2 Jul 2019 07:03:45 +0000 (09:03 +0200)]
align small malloc-allocations even less, and test that we do
bors [Fri, 5 Jul 2019 20:46:34 +0000 (20:46 +0000)]
Auto merge of #803 - christianpoveda:intptrcast-explicit-casts, r=RalfJung
Add tests for Intptrcast when doing explicit casts
r? @RalfJung
Ralf Jung [Fri, 5 Jul 2019 20:46:11 +0000 (22:46 +0200)]
Merge remote-tracking branch 'origin/master'
Ralf Jung [Fri, 5 Jul 2019 19:26:58 +0000 (21:26 +0200)]
temporarily disable validation on Windows
bors [Fri, 5 Jul 2019 19:25:10 +0000 (19:25 +0000)]
Auto merge of #825 - RalfJung:no-null, r=RalfJung
avoid Scalar::is_null_ptr, it is going away
Comparing pointers should be done more carefully than that
Ralf Jung [Fri, 5 Jul 2019 17:22:22 +0000 (19:22 +0200)]
temporarily disable intptrcast advanced testing on Windows
Ralf Jung [Fri, 5 Jul 2019 17:21:42 +0000 (19:21 +0200)]
temporarily disable validation for 'cargo miri test' testing
Ralf Jung [Fri, 5 Jul 2019 17:21:21 +0000 (19:21 +0200)]
fix deallocating/reallocating with integer pointers
Ralf Jung [Fri, 5 Jul 2019 08:08:57 +0000 (10:08 +0200)]
fix NULL in TLS dtors
Ralf Jung [Fri, 5 Jul 2019 07:56:42 +0000 (09:56 +0200)]
avoid Scalar::is_null_ptr, it is going away
Ralf Jung [Thu, 4 Jul 2019 22:06:41 +0000 (00:06 +0200)]
temporarily disable ptr_offset, maybe that helps
bors [Thu, 4 Jul 2019 08:51:19 +0000 (08:51 +0000)]
Auto merge of #822 - RalfJung:tls, r=RalfJung
move tls.rs into shims module
Ralf Jung [Wed, 3 Jul 2019 21:12:44 +0000 (23:12 +0200)]
move tls.rs into shims module
Christian Poveda [Wed, 3 Jul 2019 18:42:01 +0000 (13:42 -0500)]
Fix explicit cast test
Christian Poveda [Wed, 3 Jul 2019 18:28:30 +0000 (13:28 -0500)]
Update rust-version
Christian Poveda [Sat, 29 Jun 2019 18:17:15 +0000 (13:17 -0500)]
Add intptrcast test for explicit casts