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
bors
a6c28f0845
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?
2020-05-24 12:48:12 +00:00
Ralf Jung
cf7d88fd91
unset RUSTC_WRAPPER for xargo invocation
2020-05-24 14:46:38 +02:00
bors
de9a0ad51f
Auto merge of #1431 - RalfJung:rustup, r=RalfJung
...
rustup
Just making sure it all still works.
2020-05-24 12:01:05 +00:00
Ralf Jung
7a3ccb1b57
rustup
2020-05-24 14:00:32 +02:00
bors
2c0ab517bc
Auto merge of #1430 - RalfJung:unsize, r=RalfJung
...
add interesting unsizing test
@bors r+
2020-05-24 10:15:05 +00:00
Ralf Jung
e6ced2f9c4
add interesting unsizing test
2020-05-24 12:03:06 +02:00
bors
70d5caf17e
Auto merge of #1429 - RalfJung:discriminant_value, r=RalfJung
...
test discriminant_value intrinsic
Make sure this works for all types, not just enums/generators.
2020-05-23 14:31:37 +00:00
Ralf Jung
404c37999b
test discriminant_value intrinsic
2020-05-23 16:30:50 +02:00
bors
f7170a6529
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.
2020-05-22 15:07:39 +00:00
Ralf Jung
58bc2185e1
rustup
2020-05-22 17:03:37 +02:00
David Cook
87a846f2d6
Update to match rustc changes
2020-05-22 17:03:25 +02:00
bors
2bb96ff561
Auto merge of #1428 - RalfJung:shim-arg-size-verify, r=RalfJung
...
verify the size of all shim arguments
2020-05-22 11:20:04 +00:00
Ralf Jung
fbb8c1526a
verify the size of all shim arguments
2020-05-22 11:56:18 +02:00
bors
427c8a6bb8
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
2020-05-22 08:30:35 +00:00
Ralf Jung
42a3e87838
rustup, and now we also need to install llvm-tools
2020-05-22 10:29:47 +02:00
bors
63ea143684
Auto merge of #1425 - RalfJung:rustup, r=RalfJung
...
rustup
Make sure that https://github.com/rust-lang/rust/pull/72425 helped
2020-05-22 07:01:21 +00:00
Ralf Jung
11d9409e82
rustup
2020-05-22 09:00:32 +02:00
bors
101df34bd6
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 .
2020-05-21 21:25:46 +00:00
Ralf Jung
402535ef86
also pretend GetSystemTimePreciseAsFileTime does not exist
2020-05-21 23:24:37 +02:00
Ralf Jung
526fae7541
GetProcAddress: basic validation for hModule argument
2020-05-21 23:06:31 +02:00
Ralf Jung
f09decb398
disentangle macos and linux dlsyms
2020-05-21 23:01:27 +02:00