Commit Graph

3775 Commits

Author SHA1 Message Date
Christian Poveda
515c119359
Add padding on 64-bits only 2019-12-25 13:10:50 -05:00
Christian Poveda
6d88a4704a
restrict stat shim to macos only 2019-12-25 12:38:35 -05:00
Christian Poveda
75f7a118e6
remove restrictions due to stat unavailability 2019-12-25 12:38:34 -05:00
Christian Poveda
dbc118919a
add padding to immediates 2019-12-25 11:08:27 -05:00
Christian Poveda
0184e10f2f
fix size for file mode 2019-12-25 08:27:50 -05:00
Christian Poveda
b2c4ff2aee
add remanining fields to stat stuct 2019-12-25 08:27:50 -05:00
Christian Poveda
6177e6df7e
provide correct name for shim 2019-12-25 08:27:50 -05:00
Christian Poveda
d9ecd77ada
add dummy stat shim 2019-12-25 08:27:49 -05:00
bors
aafb7c931d Auto merge of #1128 - RalfJung:cleanup, r=RalfJung
use new try_from methods

and a bit of other cleanup
2019-12-24 10:48:05 +00:00
Ralf Jung
cd12f47af6 make bytes conversion functions private inside read/write functions 2019-12-24 11:46:02 +01:00
Ralf Jung
2db6a3c04d use new try_from methods 2019-12-24 11:43:42 +01:00
bors
b1e97df8ee Auto merge of #1121 - rust-lang:rustup, r=RalfJung
Rustup to rustc 1.42.0-nightly (005cf38f7 2019-12-22)
2019-12-23 22:03:15 +00:00
Oliver Scherer
bac261573f Rustup to rustc 1.42.0-nightly (005cf38f7 2019-12-22) 2019-12-23 23:02:36 +01:00
bors
02bba3f531 Auto merge of #1124 - RalfJung:sysroot-check, r=oli-obk
disable sysroot checks for distributed binaries

This should help with https://github.com/mozilla/nixpkgs-mozilla/issues/198.
2019-12-23 17:14:48 +00:00
bors
2a08c63631 Auto merge of #1125 - RalfJung:main-result, r=oli-obk
support main functions with Result return type

Turns out we already properly create the substitution to call the libstd start-fn with an appropriate `main`, we just had an overzealous check in the way.

Fixes https://github.com/rust-lang/miri/issues/1116.
2019-12-23 16:51:55 +00:00
Ralf Jung
e325ad24f2 support main functions with Result return type 2019-12-23 17:45:23 +01:00
bors
20e843f202 Auto merge of #1118 - rust-lang:stacked_borrow_tracing, r=oli-obk
Run rustfmt

This is `cargo +nightly fmt --all` with `rustc 1.41.0-nightly (c8ea4ace9 2019-12-14)`
2019-12-23 11:56:51 +00:00
Oliver Scherer
7ead530841 Rustfmt all the things 2019-12-23 12:56:23 +01:00
Ralf Jung
bc715cb646 disable sysroot checks for distributed binaries 2019-12-22 18:13:13 +01:00
bors
a3ea1cb458 Auto merge of #1101 - christianpoveda:stat-shim, r=RalfJung
Add statx shim for linux target

This is an attempt to fix: https://github.com/rust-lang/miri/issues/999 (for linux only)

Currently there is one problem that I haven't been able to solve. `std::fs::metadata` fails because the creation time is not available even though it is provided in the shim code.

In order to inform the caller that the field was provided, the `stx_flag` field must have the bits of `STATX_BTIME` set (which they are). The creation time is in the `stx_btime` field of the `statx` struct (see [1]). The relevant code in `libstd` is here (probably?): https://github.com/rust-lang/rust/blob/master/src/libstd/sys/unix/fs.rs#L322

Another important point is that we are just providing the fields that are available in "all" platforms (this is, without using any platform specific traits or so). This can be improved later.

References:
[1] Man page: http://man7.org/linux/man-pages/man2/statx.2.html
[2] libc `statx` struct: https://docs.rs/libc/0.2.63/libc/struct.statx.html

Edit: The problem is that my filesystem is not providing it and I thought all filesystems could provide it. I changed the code so it only provides those dates if they are available. now we are ready to go.

r? @RalfJung @oli-obk
2019-12-22 17:01:53 +00:00
Christian Poveda
b0c7625dd1
add statx shim for linux 2019-12-22 11:46:02 -05:00
bors
a7809bfb0e Auto merge of #1117 - rust-lang:rustup, r=RalfJung
Rustup to rustc 1.42.0-nightly (9ff30a781 2019-12-21)
2019-12-21 11:26:07 +00:00
Oliver Scherer
d9859c83fc Rustup to rustc 1.42.0-nightly (9ff30a781 2019-12-21) 2019-12-21 11:45:09 +01:00
bors
6c75a95a7f Auto merge of #1115 - RalfJung:rustup, r=RalfJung
the never type got de-stabilized again; adjust tests
2019-12-15 11:24:36 +00:00
Ralf Jung
74ef63ff0a the never type got de-stabilized again; adjust tests 2019-12-15 12:23:43 +01:00
bors
60c75092de Auto merge of #1113 - RalfJung:vtable, r=RalfJung
add test for sketchy vtable

Blocked on https://github.com/rust-lang/rust/pull/67254
2019-12-14 11:06:24 +00:00
Ralf Jung
bbd512d52f bump Rust 2019-12-14 12:06:01 +01:00
Ralf Jung
f0d43872ad add test for sketchy vtable 2019-12-13 13:19:48 +01:00
bors
f94bc7124c Auto merge of #1080 - rust-lang:stacked_borrow_tracing, r=RalfJung
Add a scheme to find the place where an id was destroyed

cc https://github.com/rust-lang/miri/issues/974

I'm not too happy with it, but since stacked borrows don't have access to the current call stack, I can't just report a warning as per https://github.com/rust-lang/miri/issues/797

We could add some global mutex that we can throw strings at and `step` will clear out that mutex and report warnings before moving the `statement_id` or the `block_id`, not sure how well that would work. For now I think this is sufficient
2019-12-10 13:47:44 +00:00
Oliver Scherer
8d409a7b59
Update README.md
Co-Authored-By: Ralf Jung <post@ralfj.de>
2019-12-10 14:47:28 +01:00
Oliver Scherer
817f4159a2 Use the machine stop error instead of abusing other error kinds 2019-12-09 14:29:28 +01:00
bors
4ebc0306ec Auto merge of #1111 - MarkusPettersson98:rustup-1.21-yaml, r=RalfJung
Updated CI config to reflect deprecation of rustup uninstall

In the same spirit as #1110 😄

This PR from the rustup repository brought me here: https://github.com/rust-lang/rustup/issues/2148

TL;DR With rustup 1.21.0 `rustup install` and `rustup uninstall` are being deprecated in favor of `rustup toolchain install` and `rustup toolchain uninstall`. There's plenty of code/documentation out there that needs to be updated to reflect this.

Thought It would be cool to help, however small the change may be. :)

Keep up the great work!
2019-12-08 13:37:35 +00:00
bors
ea59d6a569 Auto merge of #1110 - MarkusPettersson98:master, r=RalfJung
Updated README to reflect deprecation of rustup install

This PR from the rustup repository brought me here: https://github.com/rust-lang/rustup/issues/2148

TL;DR With rustup 1.21.0 `rustup install` and `rustup uninstall` are being deprecated in favor of `rustup toolchain install` and `rustup toolchain uninstall`. There's plenty of code/documentation out there that needs to be updated to reflect this.

Thought It would be cool to help, however small the change may be. :)

Keep up the great work!
2019-12-08 13:19:03 +00:00
Oliver Scherer
7cd0d7f152 Remove a flaky test 2019-12-08 12:20:51 +01:00
Oliver Scherer
acb43f80fd Document the new flag 2019-12-08 12:20:51 +01:00
Oliver Scherer
eab2538317 Rename track-id to track-pointer-tag 2019-12-08 12:20:51 +01:00
Oliver Scherer
67417945d4 Detect all variants of stack removals 2019-12-08 12:20:51 +01:00
Oliver Scherer
a0de213e42 Vocabulary fix 2019-12-08 12:20:51 +01:00
Oliver Scherer
d363a47fcb Add a scheme to find the place where an id was destroyed 2019-12-08 12:20:51 +01:00
Markus Pettersson
c9e7fe8b8c Updated CI config to reflect deprecation of rustup uninstall 2019-12-08 11:23:56 +01:00
Markus Pettersson
ef37a4c158 Updated README to reflect deprecation of rustup install 2019-12-08 11:12:25 +01:00
bors
048af40923 Auto merge of #1109 - RalfJung:track-caller, r=RalfJung
add caller_location tests to Miri

The CTFE implementation seems to also work fine in Miri -- thanks a lot @anp :)
2019-12-08 10:07:52 +00:00
Ralf Jung
b0a205ce6f add caller_location tests to Miri 2019-12-08 11:06:35 +01:00
bors
00c8019720 Auto merge of #1108 - RalfJung:rustup, r=RalfJung
rustup
2019-12-08 09:33:22 +00:00
Ralf Jung
67151a712d rustup 2019-12-08 10:32:50 +01:00
bors
ab39e09b82 Auto merge of #1107 - RalfJung:rustup, r=RalfJung
bump Rust, fix error messages
2019-12-08 00:46:35 +00:00
Ralf Jung
cefc592273 bump Rust, fix error messages 2019-12-08 01:45:41 +01:00
bors
3cc6795418 Auto merge of #1106 - RalfJung:memleak-ignore, r=RalfJung
add flag to ignore memory leaks
2019-12-07 18:04:14 +00:00
Ralf Jung
0a63637e66 fix all-targets build 2019-12-07 19:04:05 +01:00
bors
74c3ea5935 Auto merge of #1105 - RalfJung:readme, r=oli-obk
better way to ignore tests in Miri

This is better because it avoids warnings due to unused imports (the ignored tests still get compiled, just not executed).
2019-12-07 15:03:57 +00:00