]>
git.lizzy.rs Git - rust.git/log
bors [Sun, 4 Aug 2019 17:37:00 +0000 (17:37 +0000)]
Auto merge of #887 - RalfJung:readme, r=RalfJung
README: add getrandom bug
Ralf Jung [Sun, 4 Aug 2019 13:09:13 +0000 (15:09 +0200)]
add getrandom bug
bors [Sun, 4 Aug 2019 12:57:16 +0000 (12:57 +0000)]
Auto merge of #883 - RalfJung:gen_random, r=RalfJung
gen_random helper: move ptr argument to front
This matches, for example, the `getrandom` syscall.
Ralf Jung [Sun, 4 Aug 2019 12:49:10 +0000 (14:49 +0200)]
gen_random helper: move ptr argument to front
bors [Sun, 4 Aug 2019 08:55:18 +0000 (08:55 +0000)]
Auto merge of #876 - RalfJung:atomic, r=RalfJung
check that atomics are sufficiently aligned
Fixes https://github.com/rust-lang/miri/issues/475
Ralf Jung [Sun, 4 Aug 2019 08:54:07 +0000 (10:54 +0200)]
one more place -> ptr rename
Ralf Jung [Sun, 4 Aug 2019 08:52:09 +0000 (10:52 +0200)]
places and pointers are not the same thing; this is a place
Ralf Jung [Fri, 2 Aug 2019 18:20:56 +0000 (20:20 +0200)]
check that atomics are sufficiently aligned, and add test
Ralf Jung [Fri, 2 Aug 2019 18:08:04 +0000 (20:08 +0200)]
test AtomicU64
Ralf Jung [Fri, 2 Aug 2019 17:50:54 +0000 (19:50 +0200)]
consolidate atomic tests
bors [Sun, 4 Aug 2019 08:26:51 +0000 (08:26 +0000)]
Auto merge of #882 - RalfJung:miri-rustc, r=RalfJung
install xargo from git temporarily
This is so that once https://github.com/japaric/xargo/pull/246 landed, we can see if that helps with https://github.com/rust-lang/rust/pull/63162.
Ralf Jung [Sun, 4 Aug 2019 08:14:51 +0000 (10:14 +0200)]
use postfix negation instead of prefix
Ralf Jung [Sun, 4 Aug 2019 08:09:58 +0000 (10:09 +0200)]
install xargo from git temporarily
bors [Sat, 3 Aug 2019 18:56:38 +0000 (18:56 +0000)]
Auto merge of #881 - RalfJung:rustup, r=RalfJung
adjust for rustc changes
Ralf Jung [Sat, 3 Aug 2019 18:54:57 +0000 (20:54 +0200)]
adjust error messages in tests
Ralf Jung [Sat, 3 Aug 2019 18:53:42 +0000 (20:53 +0200)]
test memalign contract (rustc is fixed)
Ralf Jung [Sat, 3 Aug 2019 18:31:33 +0000 (20:31 +0200)]
adjust for rustc changes
bors [Sat, 3 Aug 2019 16:14:20 +0000 (16:14 +0000)]
Auto merge of #877 - christianpoveda:ldexp-shim, r=RalfJung
Add shim for ldexp
Fixes https://github.com/rust-lang/miri/issues/821
r? @RalfJung
Christian Poveda [Sat, 3 Aug 2019 15:51:23 +0000 (10:51 -0500)]
Formatting
bors [Sat, 3 Aug 2019 15:22:09 +0000 (15:22 +0000)]
Auto merge of #880 - RalfJung:miri-rustc, r=RalfJung
annotate some unwraps with better messages
Ralf Jung [Sat, 3 Aug 2019 15:20:16 +0000 (17:20 +0200)]
set RUSTC_DEBUG_ASSERTIONS for when we are in bootstrap
Ralf Jung [Sat, 3 Aug 2019 14:59:30 +0000 (16:59 +0200)]
annotate some unwraps with better messages
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
Christian Poveda [Fri, 2 Aug 2019 18:42:10 +0000 (13:42 -0500)]
Add shim for ldexp
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