Ralf Jung
0b6ec575b9
make mutex_unlock infallible
2020-05-30 22:54:37 +02:00
Ralf Jung
67ad304140
update unsupported example in README (now that threading is supported on some platforms)
2020-05-30 22:50:49 +02:00
Ralf Jung
acb3ec0866
test and fix for rwlock unlock bug
2020-05-30 22:48:43 +02:00
Ralf Jung
a80821e046
also combine re-locking into the dequeue-and-unblock operation
2020-05-30 22:35:58 +02:00
Ralf Jung
7589bc7ba9
sync cleanup: mark infallible ops as such; consistent combine en/dequeue with (un)block; comments
2020-05-30 22:29:27 +02:00
bors
508371ac5a
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>
2020-05-30 07:29:19 +00:00
Ralf Jung
c77e9022d5
rustup (and account for stabilization)
2020-05-30 09:23:25 +02:00
Joe Richey
394a57fc22
Remove pointer arithmetic intrinsics
...
These are now implemented in rustc's mir interpreter
Signed-off-by: Joe Richey <joerichey@google.com>
2020-05-30 09:06:37 +02:00
bors
dd1e112334
Auto merge of #1439 - RalfJung:rustup, r=RalfJung
...
str_strip is stable
2020-05-29 08:01:40 +00:00
Ralf Jung
f55c0153f1
str_strip is stable
2020-05-29 10:01:07 +02:00
bors
83b4222d9a
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"](af044209b0/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
2020-05-28 13:02:41 +00:00
bors
c7f266577e
Auto merge of #1438 - RalfJung:rustup, r=RalfJung
...
rustup
Just ensuring everything still works.
2020-05-28 07:19:33 +00:00
Ralf Jung
229784ba62
rustup
2020-05-28 09:19:01 +02:00
Ralf Jung
ac454a2485
cargo-miri: allow overwriting miri command, and make that consistent with compiletest
2020-05-28 08:53:44 +02:00
Ralf Jung
35964b10b0
no workspace as that is incompatible with the rustc submodule
2020-05-28 08:53:44 +02:00
Ralf Jung
7fcf92dfea
re-add some fake dependencies to avoid rebuilds
2020-05-28 08:53:44 +02:00
Ralf Jung
254fc50bc1
fmt
2020-05-28 08:53:44 +02:00
Ralf Jung
c4c7463aa5
make sure CI fails when we do not recognize the platform
2020-05-28 08:53:44 +02:00
Ralf Jung
b71fea710c
just respect existing RUSTFLAGS instead of providing another override
2020-05-28 08:53:44 +02:00
Ralf Jung
0790f75ae4
make cargo-miri a separate crate in a workspace
2020-05-28 08:53:44 +02:00
bors
2c0e8597ef
Auto merge of #1437 - RalfJung:strip, r=RalfJung
...
use strip_prefix where it makes sense
2020-05-28 06:52:42 +00:00
Ralf Jung
60f466d6ad
use strip_prefix where it makes sense
2020-05-28 08:51:38 +02:00
David Cook
c01bc14219
Fix fsync shim for Windows hosts with RO files
2020-05-25 21:45:29 -05:00
David Cook
3252082474
Fix test on Windows hosts
...
FlushFileBuffers requires that a file be opened for writing
2020-05-25 13:20:29 -05:00
David Cook
7ba8bbc49f
Update comments
2020-05-25 07:32:56 -05:00
bors
b334004607
Auto merge of #1435 - RalfJung:stdin-read-error, r=RalfJung
...
better error when using FDs 0-2 the wrong way
2020-05-25 08:47:28 +00:00
Ralf Jung
a95f754a9c
better error when reading from stdin
2020-05-25 10:39:43 +02:00
bors
f280e7e2d7
Auto merge of #1433 - RalfJung:condattr-setclock, r=RalfJung
...
macOS does not have pthread_condattr_setclock/getclock
2020-05-25 07:59:21 +00:00
Ralf Jung
9ff77f6cb3
add an assertion
2020-05-25 09:59:01 +02:00
Ralf Jung
1fecbd8a87
macos does not have pthread_condattr_setclock/getclock
2020-05-25 09:42:08 +02:00
bors
bfe030dea4
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
2020-05-25 07:02:53 +00:00
Vytautas Astrauskas
34ddd775e8
Increase the elapsed time window.
2020-05-25 08:07:07 +02:00
Vytautas Astrauskas
dec205757a
Fix compilation errors after rebase.
2020-05-25 00:28:01 +02:00
Vytautas Astrauskas
90590a399d
Small fixes.
2020-05-25 00:02:54 +02:00
Vytautas Astrauskas
6ff0af3adf
Fix #1419 .
2020-05-25 00:02:54 +02:00
Vytautas Astrauskas
bd97074517
Small changes.
2020-05-25 00:02:54 +02:00
Vytautas Astrauskas
babedc938e
Rewrite notify all test.
2020-05-25 00:02:54 +02:00
Vytautas Astrauskas
8b5a9836be
Small changes.
2020-05-25 00:02:54 +02:00
Vytautas Astrauskas
0838347d8f
Change the scheduling to execute timeout callbacks first.
2020-05-25 00:02:54 +02:00
Vytautas Astrauskas
fdfd56b75b
Small changes.
2020-05-25 00:02:54 +02:00
Vytautas Astrauskas
3da61fa427
Add comments explaining the declare_id macro.
2020-05-25 00:02:54 +02:00
Vytautas Astrauskas
0bbac12751
Change how the time is handled.
2020-05-25 00:02:54 +02:00
Vytautas Astrauskas
86eb262e8a
Cleanup Condvar tests.
2020-05-25 00:02:54 +02:00
Vytautas Astrauskas
4a303b1309
Add a timeout test for conditional variables.
2020-05-25 00:02:54 +02:00
Vytautas Astrauskas
6e774dec86
Move all run-pass synchronization primitive tests to sync.rs.
2020-05-25 00:02:54 +02:00
Vytautas Astrauskas
044a068c67
Improve code readability and comments.
2020-05-25 00:02:54 +02:00
Vytautas Astrauskas
d0de439ac8
Cleanup.
2020-05-25 00:02:54 +02:00
Vytautas Astrauskas
679245769b
Implement support for synchronization primitives.
2020-05-25 00:02:54 +02:00
bors
726373fcaa
Auto merge of #1432 - RalfJung:int-size, r=RalfJung
...
use helper method to compute size of int type
2020-05-24 17:21:20 +00:00
Ralf Jung
2c94ad08d8
use helper method to compute size of int type
2020-05-24 19:20:44 +02:00