]>
git.lizzy.rs Git - rust.git/log
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
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
bors [Wed, 3 Jul 2019 17:13:09 +0000 (17:13 +0000)]
Auto merge of #820 - RalfJung:intptrcast, r=RalfJung
Make most tests work with Intptrcast
The one that still fails (amusingly, that's ptr_int_casts) requires some help from the librustc_mir side.
Ralf Jung [Wed, 3 Jul 2019 08:54:16 +0000 (10:54 +0200)]
avoid catching errors
Ralf Jung [Wed, 3 Jul 2019 08:46:51 +0000 (10:46 +0200)]
make a test noseed for now that does not work with intptrcast yet
Ralf Jung [Wed, 3 Jul 2019 08:19:55 +0000 (10:19 +0200)]
don't call Stacked Borrows hooks at all when validation is disabled
Ralf Jung [Wed, 3 Jul 2019 07:56:35 +0000 (09:56 +0200)]
support integers that can be cast to pointers in in-bounds offset operation
Ralf Jung [Wed, 3 Jul 2019 07:42:07 +0000 (09:42 +0200)]
we don't need zero-sized freeze-sensitive visiting
Ralf Jung [Wed, 3 Jul 2019 07:32:21 +0000 (09:32 +0200)]
avoid integer overflow in ptr-to-int cast
Ralf Jung [Wed, 3 Jul 2019 07:23:31 +0000 (09:23 +0200)]
allow dangling ptr-to-int casts; use force_bits for ptr comparison
Ralf Jung [Wed, 3 Jul 2019 07:06:48 +0000 (09:06 +0200)]
only treat integer operations as such
Ralf Jung [Wed, 3 Jul 2019 07:06:35 +0000 (09:06 +0200)]
dont add the -Zmiri-seed flag twice
Ralf Jung [Tue, 2 Jul 2019 20:20:37 +0000 (22:20 +0200)]
run all run-pass tests with intrptrcast. makes many of them fail!
bors [Tue, 2 Jul 2019 11:03:22 +0000 (11:03 +0000)]
Auto merge of #819 - RalfJung:test-name, r=RalfJung
fix outdated test name: overalign -> align
Ralf Jung [Tue, 2 Jul 2019 11:02:48 +0000 (13:02 +0200)]
fix outdated test name: overalign -> align
bors [Tue, 2 Jul 2019 07:51:55 +0000 (07:51 +0000)]
Auto merge of #818 - RalfJung:readme, r=RalfJung
add another bug we found to the list
Ralf Jung [Tue, 2 Jul 2019 07:51:16 +0000 (09:51 +0200)]
add another bug we found to the list
bors [Mon, 1 Jul 2019 20:59:17 +0000 (20:59 +0000)]
Auto merge of #815 - RalfJung:memory-audit, r=RalfJung
don't call Memory::get without checking the pointer first
Also avoid Memory::get if we just need to know align/size.
I audited all uses of `alloc_id`; the rest should be fine (and we can kill a bunch of them once https://github.com/rust-lang/rust/pull/62257 lands).