Commit Graph

3169 Commits

Author SHA1 Message Date
bors
f9dd11546e Auto merge of #847 - RalfJung:rustup, r=RalfJung
fix for rustc_driver change
2019-07-19 16:04:29 +00:00
Ralf Jung
11d71195dd fix miri-rustc-tests 2019-07-19 18:03:55 +02:00
Ralf Jung
66ca0f2cc2 fix for rustc_driver change 2019-07-19 17:36:25 +02:00
bors
fe607596a6 Auto merge of #843 - RalfJung:rustup, r=RalfJung
fix compile-fail tests for latest rustc
2019-07-16 16:40:19 +00:00
Ralf Jung
95e6e671bf fix compile-fail tests for latest rustc 2019-07-16 18:39:18 +02:00
bors
4d76526415 Auto merge of #840 - RalfJung:readme, r=RalfJung
update README about what we do not support
2019-07-14 08:42:21 +00:00
Ralf Jung
4cbd31220b update README about what we do not support 2019-07-14 09:34:08 +02:00
bors
c32c436ce1 Auto merge of #839 - RalfJung:noalloc, r=RalfJung
avoid unnecessary allocation
2019-07-14 07:33:29 +00:00
Ralf Jung
a11d1f55ff avoid unnecessary allocation 2019-07-13 15:18:15 +02:00
bors
677bde6851 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.
2019-07-13 12:28:43 +00:00
Joshua Nelson
ebf65cbdab Give a useful error message if user gives invalid random seed 2019-07-13 08:28:33 -04:00
bors
3655480078 Auto merge of #836 - RalfJung:arrays, r=RalfJung
test some const-generic-using methods
2019-07-13 08:25:22 +00:00
Ralf Jung
f1b623c313 test some const-generic-using methods 2019-07-13 10:25:04 +02:00
bors
b5ddc94bf0 Auto merge of #833 - RalfJung:win, r=RalfJung
reenable all tests on Windows
2019-07-11 17:01:14 +00:00
Ralf Jung
f8c6eb5e8c thread creation error for Windows 2019-07-11 18:59:11 +02:00
Ralf Jung
e7b39e382a reenable all tests on Windows 2019-07-11 18:41:53 +02:00
bors
fe9056ee77 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
2019-07-11 15:13:50 +00:00
Ralf Jung
7dd0dd3569 bump rust 2019-07-11 17:13:28 +02:00
Ralf Jung
11686f4be2 we do this these days 2019-07-10 14:38:49 +02:00
Ralf Jung
743299e7a0 bump rustc 2019-07-10 14:37:52 +02:00
Ralf Jung
70a5bb7dbb force pointers before reborrowing; fixes cargo miri test suite 2019-07-10 14:36:56 +02:00
Ralf Jung
a6f9bbc9e2 now we can also enable the ptr_int_cast test again 2019-07-10 14:36:56 +02:00
Ralf Jung
f79f31dfa1 adjust for rustc changes; normalize mplace before doing freeze-sensitive visit 2019-07-10 14:36:56 +02:00
Ralf Jung
dd6cf30f60 ptr_offset works fine with intptrcast now 2019-07-10 14:36:56 +02:00
bors
0b9434cebb Auto merge of #832 - RalfJung:rustup, r=RalfJung
bump rustc
2019-07-10 07:32:43 +00:00
Ralf Jung
e414a5ac0e bump rustc 2019-07-10 09:31:31 +02:00
bors
8d55a57af8 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
2019-07-10 06:55:57 +00:00
Lzu Tao
3ea62d3527 Remove SliceConcatExt import 2019-07-10 09:56:35 +07:00
bors
67fd5a4409 Auto merge of #827 - lzutao:patch-1, r=RalfJung
Remove stable cargo feature `default-run`

At least on beta.
2019-07-06 10:02:17 +00:00
bors
e4a98ea8d8 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.
2019-07-06 09:40:51 +00:00
Lzu Tao
96be92401e build: Revert update beta toolchain 2019-07-06 16:35:57 +07:00
lzutao
8f114e87b8 Remove stable cargo feature default-run
At least on beta.
2019-07-06 16:33:30 +07:00
bors
e734f1286b 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
2019-07-06 09:17:45 +00:00
Ralf Jung
47bfc62b5b use Memory::read_c_str, avoid a few to_ptr 2019-07-06 11:01:07 +02:00
bors
226156f673 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
2019-07-06 08:26:10 +00:00
Ralf Jung
fbf3f5e0c9 bump rustc 2019-07-06 10:07:22 +02:00
Ralf Jung
9e130c6c6f fix for changd machine trait signatures 2019-07-06 10:07:22 +02:00
Ralf Jung
4fa243be78 adjust for get_fn signature change 2019-07-06 10:07:22 +02:00
Ralf Jung
3ca934f07d gen_random: use check_ptr_access 2019-07-06 10:07:22 +02:00
Ralf Jung
8093a59ffb move gen_random to helpers 2019-07-06 10:07:21 +02:00
Ralf Jung
b3c3c33ebf bump the version of getrandom that we test 2019-07-06 10:07:21 +02:00
Ralf Jung
4f6a56f54f better error message when the program tries to spawn a thread 2019-07-06 10:07:21 +02:00
Ralf Jung
2ca1b94e6d update to FnVal changes; implement basic Dlsym support and use it for getentropy 2019-07-06 10:07:21 +02:00
Ralf Jung
fa290f1a48 uninit intrinsic is gone 2019-07-06 10:06:45 +02:00
bors
cb09fab5ff 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.
2019-07-06 07:36:28 +00:00
Ralf Jung
ba8728cd8b fix test using mem::uninitialized 2019-07-06 09:33:22 +02:00
Ralf Jung
5e022773f3 fix unused variable warning 2019-07-06 09:32:35 +02:00
Ralf Jung
67882459f3 bump rustc 2019-07-06 09:29:58 +02:00
Ralf Jung
b324cbf282 Merge remote-tracking branch 'origin/master' into rustup 2019-07-06 09:29:17 +02:00
bors
ad837079e1 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.
2019-07-05 22:52:21 +00:00