mikros/rust
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
4,687 Commits 2 Branches 0 Tags 1.4 GiB
bec7aab7fd
Commit Graph

4687 Commits

This Branch
This Branch
All Branches
Author SHA1 Message Date
Ralf Jung
3994352405 rustup 2020-06-12 10:13:49 +02:00
bors
31f3d447c6 Auto merge of #1446 - RalfJung:rustup, r=RalfJung 
rustup

just making sure everything keeps working
 2020-06-10 08:56:39 +00:00
Ralf Jung
34f495a994 rustup 2020-06-10 10:55:48 +02:00
bors
ffd03b3caa Auto merge of #1418 - divergentdave:file-sync, r=RalfJung 
Add file sync shims

This PR adds shim implementations for these related file syncing functions.
* `fsync`, for POSIX targets, backed by `File::sync_all()`
* `fdatasync`, for POSIX targets, backed by `File::sync_data()`
* `fcntl` with command `F_FULLFSYNC`, for macOS targets, backed by `File::sync_all()`
* `sync_file_range`, for Linux targets, backed by `File::sync_data()`
 2020-06-09 08:48:40 +00:00
David Cook
a60c130b0d Extract common logic for Windows host workaround 2020-06-08 23:34:02 +00:00
bors
09b5755fff Auto merge of #1445 - JOE1994:patch-1, r=RalfJung 
Add a case to list of 'StackedBorrows violations'

A small fix was made to libstd in rust-lang/rust#70479 (back in March).
(Miri reported UB due to Stacked Borrows violation - [link to Miri error log](https://github.com/rust-lang/miri/pull/1225#discussion_r397830221))

Thank you for reviewing 👍
 2020-06-08 23:26:59 +00:00
Youngsuk Kim
ea4a5587ca
Add a case to list of 'StackedBorrows violations' 
A small fix was made to libstd in rust-lang/rust#70479 (back in March).
(Miri reported UB due to Stacked Borrows violation - [link to Miri error log](https://github.com/rust-lang/miri/pull/1225#discussion_r397830221))

Thank you for reviewing 👍
 2020-06-08 17:30:43 -04:00
David Cook
e352d4fbb7 Finish fixing Windows host support 2020-06-06 16:54:13 +00:00
bors
592d621b78 Auto merge of #1444 - RalfJung:rustup, r=RalfJung 
rustup, and adjust timing tests

I saw a timing failure on macOS, so leave some more slack space.
 2020-06-03 07:41:37 +00:00
Ralf Jung
dcb2b30982 rustup, and adjust timing tests 2020-06-03 09:40:21 +02:00
bors
faff9a7ad9 Auto merge of #1443 - RalfJung:rustup, r=RalfJung 
rustup

Just quickly get things to work with the TLS changes.

Eventually I'll look into properly making use of the new infrastructure, but I don't have time right now.
 2020-06-01 17:25:04 +00:00
Ralf Jung
17dd44ee92 rustup 2020-06-01 19:23:54 +02:00
bors
a8df047f5c Auto merge of #1440 - RalfJung:wtf8, r=RalfJung 
test WTF8 encoding corner cases

This adds a Miri-side test for https://github.com/rust-lang/rust/issues/72760.

Blocked on https://github.com/rust-lang/rust/pull/72683.
 2020-05-31 23:15:23 +00:00
Ralf Jung
7cd68eb11b rustup 2020-06-01 01:15:00 +02:00
Ralf Jung
7d406b152a test WTF8 encoding corner cases 2020-06-01 01:12:31 +02:00
bors
4fd0aa316e 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.
 2020-05-31 09:10:19 +00:00
bors
177d5f861f Auto merge of #1442 - RalfJung:rustup, r=RalfJung 
rustup, adjust error message
 2020-05-31 08:30:51 +00:00
Ralf Jung
3032224d19 rustup, adjust error message 2020-05-31 10:30:25 +02:00
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