Commit Graph

3008 Commits

Author SHA1 Message Date
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
Ralf Jung
029a29407a dangling-ptr-to-int should work now; move to noseed 2019-07-05 23:54:18 +02:00
Ralf Jung
b75e9179bf bump rustc 2019-07-05 23:49:30 +02:00
Ralf Jung
1729965808 rename InterpretCx -> InterpCx 2019-07-05 23:48:51 +02:00
Ralf Jung
f23b782101 align small malloc-allocations even less, and test that we do 2019-07-05 23:48:48 +02:00
bors
285fc0d70e Auto merge of #803 - christianpoveda:intptrcast-explicit-casts, r=RalfJung
Add tests for Intptrcast when doing explicit casts

r? @RalfJung
2019-07-05 20:46:34 +00:00
Ralf Jung
89696a4ab9 Merge remote-tracking branch 'origin/master' 2019-07-05 22:46:11 +02:00
Ralf Jung
4d76dd1f09 temporarily disable validation on Windows 2019-07-05 21:26:58 +02:00
bors
16d791bf88 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
2019-07-05 19:25:10 +00:00
Ralf Jung
9b58492df1 temporarily disable intptrcast advanced testing on Windows 2019-07-05 19:22:22 +02:00
Ralf Jung
6c58d40a8d temporarily disable validation for 'cargo miri test' testing 2019-07-05 19:21:42 +02:00
Ralf Jung
aad5fde703 fix deallocating/reallocating with integer pointers 2019-07-05 19:21:21 +02:00