Commit Graph

3783 Commits

Author SHA1 Message Date
bors
5b8462066d Auto merge of #1187 - RalfJung:rustup, r=RalfJung
fix for const-prop lint changes

Cc https://github.com/rust-lang/rust/issues/69331
2020-02-21 10:06:24 +00:00
Ralf Jung
3e2f29a079 remove some no-longer-needed allow(const_err) 2020-02-21 11:05:56 +01:00
Ralf Jung
0e7e5b9655 fix test-cargo-miri 2020-02-21 11:03:52 +01:00
Ralf Jung
627d7cba64 fix for const-prop lint changes 2020-02-21 10:33:00 +01:00
bors
fe8068d145 Auto merge of #1184 - divergentdave:rename-error-test, r=RalfJung
Test error case of std::fs::rename

As suggested [here](https://github.com/rust-lang/miri/pull/1158#issuecomment-586459463) this PR adds an additional test case for calling rename on a file path that doesn't exist.
2020-02-21 07:36:14 +00:00
David Cook
32a354efa3 Test error case of std::fs::rename 2020-02-20 21:54:52 -06:00
bors
056a68d7d0 Auto merge of #1182 - rust-lang:rustup, r=RalfJung
rustup

We got a CI failure from our cronjob. It looks spurious, but better safe than sorry.
2020-02-20 10:10:14 +00:00
Ralf Jung
a60dfcf6e7 rustup 2020-02-20 11:09:12 +01:00
bors
62bc08af18 Auto merge of #1180 - RalfJung:fs-refact, r=RalfJung
Slight refactoring of FS test
2020-02-19 10:17:32 +00:00
Ralf Jung
3cd13cb174 test a bit more 2020-02-19 11:14:30 +01:00
Ralf Jung
f79c453860 factor more common code 2020-02-19 11:12:30 +01:00
Ralf Jung
8b31763816 fs test: factor some common code 2020-02-19 11:12:30 +01:00
bors
12170f10d8 Auto merge of #1179 - RalfJung:rustup, r=RalfJung
bump Rust (no changes needed)
2020-02-19 09:08:57 +00:00
bors
2d02e105d1 Auto merge of #1156 - divergentdave:fcntl-F_DUPFD_CLOEXEC, r=RalfJung
Add F_DUPFD/F_DUPFD_CLOEXEC to fcntl shim

This adds support for `F_DUPFD` and `F_DUPFD_CLOEXEC` to the shim for `fcntl`. (The `FileHandler` does not track the `FD_CLOEXEC` flag for open files, so these commands are effectively the same.) These changes enable using `File::try_clone`.

I also changed the initial value of the `low` field in `FileHandler`, so that it matches the intent of the preceding comment. The `open` shim was pre-incrementing it when choosing new file descriptor numbers, so FD 3 was being skipped.
2020-02-19 08:45:04 +00:00
Ralf Jung
56f9ee2c2d bump Rust (no changes needed) 2020-02-19 09:15:12 +01:00
David Cook
ae7d98b68f Extract constant for minimum fd 2020-02-18 18:06:33 -06:00
David Cook
0933314bff Rewrite file system tests 2020-02-17 22:36:33 -06:00
David Cook
8216f3c0f3 Back out placeholder variants from FileHandle 2020-02-17 22:24:33 -06:00
David Cook
a6a8f09f1e Address review comments 2020-02-17 22:24:33 -06:00
David Cook
962a740426 Rewrite file descriptor handling 2020-02-17 22:24:33 -06:00
David Cook
636ad629f8 Functional test of cloned file handle 2020-02-17 22:24:33 -06:00
David Cook
eda35e153b Add methods to FileHandler 2020-02-17 22:24:33 -06:00
David Cook
1de9d107cf Style fixes 2020-02-17 22:24:33 -06:00
David Cook
3aff803868 Add comment 2020-02-17 22:24:33 -06:00
David Cook
085874d1ff Add F_DUPFD/F_DUPFD_CLOEXEC to fcntl shim 2020-02-17 22:24:33 -06:00
bors
329383acbd Auto merge of #1176 - RalfJung:readme, r=oli-obk
update Readme
2020-02-16 21:48:38 +00:00
Ralf Jung
e449dccd37 clarify caveats 2020-02-16 15:30:09 +01:00
Ralf Jung
fda6104ee9 update README 2020-02-16 15:30:09 +01:00
bors
daaf9f7e28 Auto merge of #1177 - RalfJung:debug-assert, r=RalfJung
Make sure we evaluate debug assertions in local crate and libstd

Fixes https://github.com/rust-lang/miri/issues/1126
2020-02-16 13:04:06 +00:00
Ralf Jung
8acf52b3ca fix compile-fail tests to avoid libstd debug assertions 2020-02-16 14:01:00 +01:00
Ralf Jung
6ff5b3fcf9 make sure we also trigger debug assertions in libstd 2020-02-16 13:55:51 +01:00
Ralf Jung
39a78f0b24 make sure assertions and debug-assertions also panic (and can be caught) 2020-02-16 13:47:31 +01:00
bors
0a803c9752 Auto merge of #1158 - divergentdave:shim-rename, r=RalfJung
Add shim for rename

This adds a straightforward shim for rename, which is used by `std::fs::rename`. Testing is included.

As a heads up, I expect one or two merge conflicts between my PRs, since some of them touch the same `use` statements, or add items near the same places. I'll rebase and fix them as they come up.
2020-02-14 20:26:23 +00:00
David Cook
91868125a5
Removing file after rename must succeed
Co-Authored-By: Ralf Jung <post@ralfj.de>
2020-02-14 08:19:16 -06:00
bors
ded5a52639 Auto merge of #1174 - RalfJung:rusutp, r=RalfJung
Rustup
2020-02-14 08:00:51 +00:00
Ralf Jung
a61596d333 rustup 2020-02-14 08:59:42 +01:00
Ralf Jung
26d25220ef fix for Panic InterpError refactoring 2020-02-13 14:01:35 +01:00
bors
49aafadfb8 Auto merge of #1172 - RalfJung:rustup, r=RalfJung
Rustup

and also a test for https://github.com/rust-lang/rust/issues/68303
2020-02-12 21:05:30 +00:00
Ralf Jung
a843fd4e17 add test for layout optimizations 2020-02-12 22:04:58 +01:00
Ralf Jung
87644d120f rustup 2020-02-12 21:44:09 +01:00
David Cook
f7e0857644 Test that src path of rename is no longer a file 2020-02-08 22:40:46 -06:00
David Cook
38204b6321 Add shim for rename 2020-02-08 22:33:49 -06:00
bors
f9615bfd67 Auto merge of #1159 - divergentdave:shim-seek, r=RalfJung
Add shim for seeking files

This adds a shim for `lseek64` (`lseek` on macOS). This enables the use of `<File as Seek>::seek`. Testing is included.
2020-02-08 13:54:33 +00:00
bors
e3cfb61ece Auto merge of #1169 - RalfJung:rustup, r=RalfJung
rustup; fix generator test
2020-02-07 13:21:15 +00:00
Ralf Jung
45f6744fda panics dont work on Windows, just the smoke test should be enough 2020-02-07 14:20:42 +01:00
Ralf Jung
418dd641dc test more generator resume things 2020-02-07 14:02:36 +01:00
Ralf Jung
d208a5fe3b rustup; fix generator test 2020-02-07 14:02:27 +01:00
David Cook
98a1cac4ef Add tests to cover SEEK_CUR and SEEK_END 2020-02-06 17:50:33 -06:00
bors
602e1a03fc Auto merge of #1168 - RalfJung:rustup, r=RalfJung
Rustup
2020-02-06 10:25:32 +00:00
Ralf Jung
5d2caef3ce also test div-by-minus-1 2020-02-06 11:24:38 +01:00