]>
git.lizzy.rs Git - rust.git/log
Ralf Jung [Sat, 30 May 2020 16:46:26 +0000 (18:46 +0200)]
test WTF8 encoding corner cases
bors [Sun, 31 May 2020 09:10:19 +0000 (09:10 +0000)]
Auto merge of #1441 - RalfJung:sync-cleanup, r=RalfJung
Synchronization primitive cleanup
Make some methods infallible, move a bit more work into the platform-independent `sync.rs`, and fix a bug in rwlock unlocking.
bors [Sun, 31 May 2020 08:30:51 +0000 (08:30 +0000)]
Auto merge of #1442 - RalfJung:rustup, r=RalfJung
rustup, adjust error message
Ralf Jung [Sun, 31 May 2020 08:30:25 +0000 (10:30 +0200)]
rustup, adjust error message
Ralf Jung [Sat, 30 May 2020 20:54:37 +0000 (22:54 +0200)]
make mutex_unlock infallible
Ralf Jung [Sat, 30 May 2020 20:50:49 +0000 (22:50 +0200)]
update unsupported example in README (now that threading is supported on some platforms)
Ralf Jung [Sat, 30 May 2020 20:48:43 +0000 (22:48 +0200)]
test and fix for rwlock unlock bug
Ralf Jung [Sat, 30 May 2020 20:35:58 +0000 (22:35 +0200)]
also combine re-locking into the dequeue-and-unblock operation
Ralf Jung [Sat, 30 May 2020 20:29:27 +0000 (22:29 +0200)]
sync cleanup: mark infallible ops as such; consistent combine en/dequeue with (un)block; comments
bors [Sat, 30 May 2020 07:29:19 +0000 (07:29 +0000)]
Auto merge of #1412 - josephlr:ptr, r=RalfJung
Remove pointer arithmetic intrinsics
**Do Not Merge** until https://github.com/rust-lang/rust/pull/71500 is in nightly.
As https://github.com/rust-lang/rust/pull/71500 implements `offset` and `arith_offset` in rustc's MIR interpreter, these implementations can now be removed from miri. Also, the `pointer_offset_inbounds` method has been moved to the main MIR engine, so that too can be removed.
Signed-off-by: Joe Richey <joerichey@google.com>
Ralf Jung [Sat, 30 May 2020 07:14:56 +0000 (09:14 +0200)]
rustup (and account for stabilization)
Joe Richey [Fri, 15 May 2020 08:44:41 +0000 (01:44 -0700)]
Remove pointer arithmetic intrinsics
These are now implemented in rustc's mir interpreter
Signed-off-by: Joe Richey <joerichey@google.com>
bors [Fri, 29 May 2020 08:01:40 +0000 (08:01 +0000)]
Auto merge of #1439 - RalfJung:rustup, r=RalfJung
str_strip is stable
Ralf Jung [Fri, 29 May 2020 08:01:07 +0000 (10:01 +0200)]
str_strip is stable
bors [Thu, 28 May 2020 13:02:41 +0000 (13:02 +0000)]
Auto merge of #1422 - RalfJung:cargo-miri-workspace, r=oli-obk
Move cargo-miri into separate package
So far, `cargo-miri` depended on the Miri library crate. That was mostly for convenience (to avoid having to deal with workspaces), but also because until recently `cargo-miri` needed access to the ["Miri default flags"](https://github.com/rust-lang/miri/blob/
af044209b02f561adb3dad9f5f0deea7378f0ac0 /src/lib.rs#L75). But with `MIRI_BE_RUSTC` that is no longer the case, so we can remove this fake dependency. :)
@oli-obk what do you think? Also I expect the rustc bootstrap integration will need updates, hints would be appreciated. :D
bors [Thu, 28 May 2020 07:19:33 +0000 (07:19 +0000)]
Auto merge of #1438 - RalfJung:rustup, r=RalfJung
rustup
Just ensuring everything still works.
Ralf Jung [Thu, 28 May 2020 07:19:01 +0000 (09:19 +0200)]
rustup
Ralf Jung [Thu, 21 May 2020 12:24:41 +0000 (14:24 +0200)]
cargo-miri: allow overwriting miri command, and make that consistent with compiletest
Ralf Jung [Thu, 21 May 2020 12:18:18 +0000 (14:18 +0200)]
no workspace as that is incompatible with the rustc submodule
Ralf Jung [Thu, 21 May 2020 09:21:03 +0000 (11:21 +0200)]
re-add some fake dependencies to avoid rebuilds
Ralf Jung [Thu, 21 May 2020 09:32:12 +0000 (11:32 +0200)]
fmt
Ralf Jung [Thu, 21 May 2020 09:30:37 +0000 (11:30 +0200)]
make sure CI fails when we do not recognize the platform
Ralf Jung [Thu, 21 May 2020 09:23:04 +0000 (11:23 +0200)]
just respect existing RUSTFLAGS instead of providing another override
Ralf Jung [Thu, 21 May 2020 09:00:06 +0000 (11:00 +0200)]
make cargo-miri a separate crate in a workspace
bors [Thu, 28 May 2020 06:52:42 +0000 (06:52 +0000)]
Auto merge of #1437 - RalfJung:strip, r=RalfJung
use strip_prefix where it makes sense
Ralf Jung [Thu, 28 May 2020 06:51:38 +0000 (08:51 +0200)]
use strip_prefix where it makes sense
bors [Mon, 25 May 2020 08:47:28 +0000 (08:47 +0000)]
Auto merge of #1435 - RalfJung:stdin-read-error, r=RalfJung
better error when using FDs 0-2 the wrong way
Ralf Jung [Mon, 25 May 2020 08:39:37 +0000 (10:39 +0200)]
better error when reading from stdin
bors [Mon, 25 May 2020 07:59:21 +0000 (07:59 +0000)]
Auto merge of #1433 - RalfJung:condattr-setclock, r=RalfJung
macOS does not have pthread_condattr_setclock/getclock
Ralf Jung [Mon, 25 May 2020 07:45:42 +0000 (09:45 +0200)]
add an assertion
Ralf Jung [Mon, 25 May 2020 07:42:08 +0000 (09:42 +0200)]
macos does not have pthread_condattr_setclock/getclock
bors [Mon, 25 May 2020 07:02:53 +0000 (07:02 +0000)]
Auto merge of #1362 - vakaras:add-sync-primitives-cr1, r=RalfJung
Add sync primitives
This is a follow up PR for https://github.com/rust-lang/miri/pull/1284 that adds support for the missing synchronization primitives.
Sorry for flooding with PRs, but my internship is coming to an end and I need to get things out.
Fixes https://github.com/rust-lang/miri/issues/1419
Vytautas Astrauskas [Mon, 25 May 2020 06:07:07 +0000 (08:07 +0200)]
Increase the elapsed time window.
Vytautas Astrauskas [Sun, 24 May 2020 22:28:01 +0000 (00:28 +0200)]
Fix compilation errors after rebase.
Vytautas Astrauskas [Sun, 24 May 2020 18:29:56 +0000 (20:29 +0200)]
Small fixes.
Vytautas Astrauskas [Sun, 24 May 2020 18:20:28 +0000 (20:20 +0200)]
Fix #1419.
Vytautas Astrauskas [Tue, 19 May 2020 16:44:32 +0000 (18:44 +0200)]
Small changes.
Vytautas Astrauskas [Tue, 19 May 2020 16:33:26 +0000 (18:33 +0200)]
Rewrite notify all test.
Vytautas Astrauskas [Tue, 19 May 2020 14:47:25 +0000 (16:47 +0200)]
Small changes.
Vytautas Astrauskas [Tue, 19 May 2020 14:26:42 +0000 (16:26 +0200)]
Change the scheduling to execute timeout callbacks first.
Vytautas Astrauskas [Mon, 18 May 2020 15:18:15 +0000 (17:18 +0200)]
Small changes.
Vytautas Astrauskas [Mon, 18 May 2020 14:39:19 +0000 (16:39 +0200)]
Add comments explaining the declare_id macro.
Vytautas Astrauskas [Mon, 18 May 2020 14:28:19 +0000 (16:28 +0200)]
Change how the time is handled.
Vytautas Astrauskas [Thu, 30 Apr 2020 22:37:27 +0000 (15:37 -0700)]
Cleanup Condvar tests.
Vytautas Astrauskas [Thu, 30 Apr 2020 21:59:35 +0000 (14:59 -0700)]
Add a timeout test for conditional variables.
Vytautas Astrauskas [Thu, 30 Apr 2020 21:48:09 +0000 (14:48 -0700)]
Move all run-pass synchronization primitive tests to sync.rs.
Vytautas Astrauskas [Thu, 30 Apr 2020 21:07:07 +0000 (14:07 -0700)]
Improve code readability and comments.
Vytautas Astrauskas [Thu, 30 Apr 2020 20:47:12 +0000 (13:47 -0700)]
Cleanup.
Vytautas Astrauskas [Tue, 21 Apr 2020 23:38:14 +0000 (16:38 -0700)]
Implement support for synchronization primitives.
bors [Sun, 24 May 2020 17:21:20 +0000 (17:21 +0000)]
Auto merge of #1432 - RalfJung:int-size, r=RalfJung
use helper method to compute size of int type
Ralf Jung [Sun, 24 May 2020 17:20:44 +0000 (19:20 +0200)]
use helper method to compute size of int type
bors [Sun, 24 May 2020 12:48:12 +0000 (12:48 +0000)]
Auto merge of #1426 - RalfJung:no-wrapper, r=RalfJung
unset RUSTC_WRAPPER for xargo invocation
Fixes https://github.com/rust-lang/miri/issues/1421
@bjorn3 @oli-obk do you think that is a reasonable way to solve this issue?
Ralf Jung [Fri, 22 May 2020 08:12:32 +0000 (10:12 +0200)]
unset RUSTC_WRAPPER for xargo invocation
bors [Sun, 24 May 2020 12:01:05 +0000 (12:01 +0000)]
Auto merge of #1431 - RalfJung:rustup, r=RalfJung
rustup
Just making sure it all still works.
Ralf Jung [Sun, 24 May 2020 12:00:32 +0000 (14:00 +0200)]
rustup
bors [Sun, 24 May 2020 10:15:05 +0000 (10:15 +0000)]
Auto merge of #1430 - RalfJung:unsize, r=RalfJung
add interesting unsizing test
@bors r+
Ralf Jung [Sun, 24 May 2020 09:58:19 +0000 (11:58 +0200)]
add interesting unsizing test
bors [Sat, 23 May 2020 14:31:37 +0000 (14:31 +0000)]
Auto merge of #1429 - RalfJung:discriminant_value, r=RalfJung
test discriminant_value intrinsic
Make sure this works for all types, not just enums/generators.
Ralf Jung [Sat, 23 May 2020 14:30:50 +0000 (16:30 +0200)]
test discriminant_value intrinsic
bors [Fri, 22 May 2020 15:07:39 +0000 (15:07 +0000)]
Auto merge of #1374 - divergentdave:InvalidUndefBytes, r=RalfJung
InvalidUndefBytes: Update to match rustc changes
This is a companion PR for rust-lang/rust#71610. This won't build yet, but we may need these changes in a future rustup.
Ralf Jung [Fri, 22 May 2020 15:03:37 +0000 (17:03 +0200)]
rustup
David Cook [Thu, 14 May 2020 13:03:49 +0000 (08:03 -0500)]
Update to match rustc changes
bors [Fri, 22 May 2020 11:20:04 +0000 (11:20 +0000)]
Auto merge of #1428 - RalfJung:shim-arg-size-verify, r=RalfJung
verify the size of all shim arguments
Ralf Jung [Fri, 22 May 2020 09:56:18 +0000 (11:56 +0200)]
verify the size of all shim arguments
bors [Fri, 22 May 2020 08:30:35 +0000 (08:30 +0000)]
Auto merge of #1427 - RalfJung:rustup, r=RalfJung
rustup, and now we also need to install llvm-tools
Fixes fallout from https://github.com/rust-lang/rust/pull/72000
Ralf Jung [Fri, 22 May 2020 08:29:47 +0000 (10:29 +0200)]
rustup, and now we also need to install llvm-tools
bors [Fri, 22 May 2020 07:01:21 +0000 (07:01 +0000)]
Auto merge of #1425 - RalfJung:rustup, r=RalfJung
rustup
Make sure that https://github.com/rust-lang/rust/pull/72425 helped
Ralf Jung [Fri, 22 May 2020 07:00:32 +0000 (09:00 +0200)]
rustup
bors [Thu, 21 May 2020 21:25:46 +0000 (21:25 +0000)]
Auto merge of #1424 - RalfJung:dlsym, r=RalfJung
prepare Dlsym system for dynamic symbols on Windows
This makes progress towards https://github.com/rust-lang/miri/issues/1059.
Ralf Jung [Thu, 21 May 2020 21:24:37 +0000 (23:24 +0200)]
also pretend GetSystemTimePreciseAsFileTime does not exist
Ralf Jung [Thu, 21 May 2020 21:06:31 +0000 (23:06 +0200)]
GetProcAddress: basic validation for hModule argument
Ralf Jung [Thu, 21 May 2020 21:00:59 +0000 (23:00 +0200)]
disentangle macos and linux dlsyms
Ralf Jung [Thu, 21 May 2020 20:38:06 +0000 (22:38 +0200)]
prepare Dlsym system for dynamic symbols on Windows
bors [Thu, 21 May 2020 14:34:05 +0000 (14:34 +0000)]
Auto merge of #1423 - RalfJung:rustup, r=RalfJung
rustup
No changes needed -- but the next bump is blocked on https://github.com/rust-lang/rust/pull/72425.
Ralf Jung [Thu, 21 May 2020 13:43:26 +0000 (15:43 +0200)]
rustup
bors [Tue, 19 May 2020 22:02:05 +0000 (22:02 +0000)]
Auto merge of #1420 - RalfJung:rustup, r=RalfJung
rustup
adjust test for changed allocation strategy
Ralf Jung [Tue, 19 May 2020 22:00:35 +0000 (00:00 +0200)]
adjust for changed allocation strategy
bors [Sun, 17 May 2020 09:32:47 +0000 (09:32 +0000)]
Auto merge of #1417 - RalfJung:libstd-rebuilds, r=RalfJung
fix libstd rebuilds due to RUSTFLAGS changes
Until recently we were always overwriting `RUSTFLAGS`, but we stopped doing that when moving to `MIRI_BE_RUSTC`. That introduced the regression in https://github.com/rust-lang/miri/issues/1410. This fixes it.
Fixes https://github.com/rust-lang/miri/issues/1410
Ralf Jung [Sun, 17 May 2020 09:20:05 +0000 (11:20 +0200)]
fix libstd rebuilds due to RUSTFLAGS changes
bors [Sun, 17 May 2020 08:13:13 +0000 (08:13 +0000)]
Auto merge of #1415 - RalfJung:test-suite-filter, r=RalfJung
add test suite filter example to README and 'cargo miri --help'
Fixes https://github.com/rust-lang/miri/issues/1414
Ralf Jung [Sun, 17 May 2020 08:08:45 +0000 (10:08 +0200)]
add test suite filter example to README and 'cargo miri --help'
bors [Sat, 16 May 2020 09:30:49 +0000 (09:30 +0000)]
Auto merge of #1413 - RalfJung:catch_with_exit_code, r=RalfJung
use new rustc_driver::catch_with_exit_code
Ralf Jung [Sat, 16 May 2020 09:30:11 +0000 (11:30 +0200)]
use new rustc_driver::catch_with_exit_code
bors [Thu, 14 May 2020 17:22:04 +0000 (17:22 +0000)]
Auto merge of #1411 - RalfJung:ci, r=RalfJung
test Linux on macOS host
This accidentally got lost in https://github.com/rust-lang/miri/pull/1407
Ralf Jung [Thu, 14 May 2020 17:21:04 +0000 (19:21 +0200)]
test Linux on macOS host
bors [Mon, 11 May 2020 10:10:29 +0000 (10:10 +0000)]
Auto merge of #1407 - RalfJung:appveyor, r=RalfJung
Share CI code between Travis and AppVeyor
Ralf Jung [Mon, 11 May 2020 09:19:26 +0000 (11:19 +0200)]
always lock on CI
Ralf Jung [Mon, 11 May 2020 08:59:01 +0000 (10:59 +0200)]
Windows CI: rely on stable cargo
Ralf Jung [Mon, 11 May 2020 08:40:25 +0000 (10:40 +0200)]
fix python interpreter on Windows
Ralf Jung [Mon, 11 May 2020 08:13:17 +0000 (10:13 +0200)]
fix warnings for non-Unix builds
Ralf Jung [Sun, 10 May 2020 21:49:10 +0000 (23:49 +0200)]
play with bash on AppVeyor
Also consistently order and format our two CI files
bors [Mon, 11 May 2020 08:56:53 +0000 (08:56 +0000)]
Auto merge of #1409 - RalfJung:compiletest-no-rustc, r=RalfJung
compiletest: no need to call rustc here
This also means we do not need the `RUSTC_TEST_SUITE` env var any more.
Ralf Jung [Mon, 11 May 2020 08:54:21 +0000 (10:54 +0200)]
fmt
Ralf Jung [Mon, 11 May 2020 08:37:35 +0000 (10:37 +0200)]
compiletest: no need to call rustc here
bors [Sun, 10 May 2020 22:12:00 +0000 (22:12 +0000)]
Auto merge of #1408 - RalfJung:comments, r=RalfJung
fix some comments, and run_compiler return type
Ralf Jung [Sun, 10 May 2020 22:07:59 +0000 (00:07 +0200)]
fix some comments, and run_compiler return type
bors [Sun, 10 May 2020 17:00:14 +0000 (17:00 +0000)]
Auto merge of #1406 - RalfJung:miri-as-rustc, r=RalfJung
cargo-miri: never invoke rustc
Always go through 'MIRI_BE_RUSTC=1 miri' instead. This is based on @oli-obk's great idea to add a way to make Miri behave like rustc, which already helped us in https://github.com/rust-lang/miri/pull/1405. Now it means in `cargo-miri` we run *all* crates through the same binary, and use the env var to determine if we compile or interpret them. This makes sure the compiler is consistent.
The `rustc` binary of the current toolchain is now not used at all, only the `miri` binary is. In particular this means we can kill the sysroot consistency check. :)
Ralf Jung [Sun, 10 May 2020 16:56:38 +0000 (18:56 +0200)]
we do not need to set RUSTFLAGS for xargo any more as miri-as-rustc already uses these flags
Ralf Jung [Sun, 10 May 2020 16:52:21 +0000 (18:52 +0200)]
fix dead link in README
Ralf Jung [Sun, 10 May 2020 16:41:03 +0000 (18:41 +0200)]
cargo-miri: never invoke rustc, always go through 'MIRI_BE_RUSTC=1 miri' instead