]>
git.lizzy.rs Git - rust.git/log
bors [Fri, 18 Oct 2019 08:10:29 +0000 (08:10 +0000)]
Auto merge of #1004 - JohnTitor:use-memory, r=RalfJung
Use memory field instead of memory()
Rustup for rust-lang/rust#65319
Yuki Okushi [Fri, 18 Oct 2019 02:21:20 +0000 (11:21 +0900)]
rustup
Yuki Okushi [Fri, 18 Oct 2019 02:11:50 +0000 (11:11 +0900)]
Use memory field instead of memory()
bors [Wed, 16 Oct 2019 20:04:58 +0000 (20:04 +0000)]
Auto merge of #1002 - RalfJung:workspace, r=RalfJung
better error when using cargo-miri in a workspace
Ralf Jung [Wed, 16 Oct 2019 19:45:17 +0000 (21:45 +0200)]
better error when using cargo-miri in a workspace
bors [Wed, 16 Oct 2019 08:46:13 +0000 (08:46 +0000)]
Auto merge of #1000 - RalfJung:profile, r=RalfJung
install minimal profile by default
Avoid downloading some stuff we really don't care about.
Ralf Jung [Wed, 16 Oct 2019 08:45:48 +0000 (10:45 +0200)]
make sure we don't install more than we have to
Ralf Jung [Wed, 16 Oct 2019 08:41:50 +0000 (10:41 +0200)]
cleanup: remove leftover rust-docs components
bors [Wed, 16 Oct 2019 08:17:57 +0000 (08:17 +0000)]
Auto merge of #996 - christianpoveda:unsup-wo-isolation, r=RalfJung
Add function to error with enabled isolation
Fixes https://github.com/rust-lang/miri/issues/986
r? @RalfJung
Ralf Jung [Wed, 16 Oct 2019 08:02:31 +0000 (10:02 +0200)]
install minimal profile by default
bors [Wed, 16 Oct 2019 07:52:12 +0000 (07:52 +0000)]
Auto merge of #987 - christianpoveda:check-unsupported-fs-flags, r=RalfJung
Error when there is an unsupported flag for opening a file
@RalfJung this is my attempt to check for undesired flags. I also changed fcntl to error when doing any other action besides getting the flags for a fd
Christian Poveda [Mon, 14 Oct 2019 21:42:29 +0000 (16:42 -0500)]
Check that access mode flags only use the first two bits
Christian Poveda [Mon, 14 Oct 2019 20:36:15 +0000 (15:36 -0500)]
Add function to error with enabled isolation
bors [Tue, 15 Oct 2019 09:25:22 +0000 (09:25 +0000)]
Auto merge of #998 - RalfJung:comment, r=RalfJung
explain our shell encoding
Follow-up to https://github.com/rust-lang/miri/pull/980
Ralf Jung [Tue, 15 Oct 2019 07:50:16 +0000 (09:50 +0200)]
explain our shell encoding
bors [Tue, 15 Oct 2019 08:22:26 +0000 (08:22 +0000)]
Auto merge of #980 - JOE1994:master, r=RalfJung
change cargo-miri.rs to fix issue #978
In Windows 10, there was an issue with building MIRI locally and getting it running,
due to unpredictable backslash escaping issues in paths.
I added a code snippet that would only be compiled in Windows OS, which replaces all backslashes in paths to slashes.
This fix should only affect Windows users.
Building and testing MIRI locally now works fine after the fix.
![miri_result_after_fix0](https://user-images.githubusercontent.com/
10286488 /
66260998 -
344abc80 -e794-11e9-9d7c-
b4ef098443de .PNG)
Fixes https://github.com/rust-lang/miri/issues/978
bors [Tue, 15 Oct 2019 07:36:42 +0000 (07:36 +0000)]
Auto merge of #975 - christianpoveda:clock-shim, r=RalfJung
Add clock_gettime shim
r? @oli-obk
I think there is no way to do proper testing of this other than checking that miri does not crash when calling `clock_gettime`.
YOUNGSUK_KIM [Tue, 15 Oct 2019 02:37:54 +0000 (22:37 -0400)]
remove unnecessary line break
YOUNGSUK_KIM [Tue, 15 Oct 2019 00:57:57 +0000 (20:57 -0400)]
Ralf Jung's great idea!
Christian Poveda [Mon, 14 Oct 2019 14:08:39 +0000 (09:08 -0500)]
Use places instead of ptrs to write packed immtys
bors [Mon, 14 Oct 2019 12:54:36 +0000 (12:54 +0000)]
Auto merge of #992 - christianpoveda:check-errno-value, r=RalfJung
Check that fs errors have the proper kind
r? @RalfJung
Christian Poveda [Sun, 13 Oct 2019 19:48:07 +0000 (14:48 -0500)]
Check that fs errors have the proper kind
bors [Mon, 14 Oct 2019 11:17:57 +0000 (11:17 +0000)]
Auto merge of #994 - RalfJung:rustup, r=RalfJung
Fix for rustc and compiletest changes
Let's see if just bumping the rustc version is enough...
Ralf Jung [Mon, 14 Oct 2019 11:17:30 +0000 (13:17 +0200)]
bump compiletest
Ralf Jung [Mon, 14 Oct 2019 11:15:44 +0000 (13:15 +0200)]
rustup
bors [Mon, 14 Oct 2019 07:59:52 +0000 (07:59 +0000)]
Auto merge of #995 - RalfJung:lock, r=RalfJung
add lockfile
Fixes https://github.com/rust-lang/miri/issues/427
Ralf Jung [Mon, 14 Oct 2019 07:40:11 +0000 (09:40 +0200)]
CI: force using locked versions
Ralf Jung [Mon, 14 Oct 2019 07:38:08 +0000 (09:38 +0200)]
add lockfile
Christian Poveda [Sun, 13 Oct 2019 21:06:37 +0000 (16:06 -0500)]
Error on negative times
Christian Poveda [Sun, 13 Oct 2019 01:12:26 +0000 (20:12 -0500)]
Correct fcntl behavior
Christian Poveda [Sun, 13 Oct 2019 00:48:18 +0000 (19:48 -0500)]
Group libc helper functions
bors [Sat, 12 Oct 2019 16:13:03 +0000 (16:13 +0000)]
Auto merge of #990 - RalfJung:rustup2, r=RalfJung
hopefully harmless Rust bump
Just to make the rust version jump in https://github.com/rust-lang/miri/pull/984 smaller.
Ralf Jung [Sat, 12 Oct 2019 16:11:44 +0000 (18:11 +0200)]
better debugging for sysroot check
Ralf Jung [Sat, 12 Oct 2019 15:51:10 +0000 (17:51 +0200)]
hopefully harmless Rust bump
bors [Fri, 11 Oct 2019 21:02:44 +0000 (21:02 +0000)]
Auto merge of #988 - RalfJung:temp, r=RalfJung
use temp_dir for FS test
Cc @christianpoveda
Ralf Jung [Fri, 11 Oct 2019 21:02:04 +0000 (23:02 +0200)]
use temp_dir for FS test
Christian Poveda [Fri, 11 Oct 2019 17:17:54 +0000 (12:17 -0500)]
Remove F_SETFD command
Christian Poveda [Fri, 11 Oct 2019 10:30:50 +0000 (05:30 -0500)]
Error when there is an unsupported flag
Christian Poveda [Fri, 11 Oct 2019 05:55:32 +0000 (00:55 -0500)]
Split `write_c_ints` into less specific helper functions
Christian Poveda [Fri, 11 Oct 2019 05:03:54 +0000 (00:03 -0500)]
Fix sign when number of seconds is zero
Christian Poveda [Thu, 10 Oct 2019 20:41:32 +0000 (15:41 -0500)]
Move time related functions to its own module
Christian Poveda [Wed, 9 Oct 2019 15:56:47 +0000 (10:56 -0500)]
Throw error instead of panicking for unfittable bits
Christian Poveda [Tue, 8 Oct 2019 20:06:14 +0000 (15:06 -0500)]
Add helper function to write structs
Christian Poveda [Tue, 8 Oct 2019 19:04:23 +0000 (14:04 -0500)]
Add gettimeofday shim for macOS
Christian Poveda [Tue, 8 Oct 2019 18:29:39 +0000 (13:29 -0500)]
Get size of integers using libc
Christian Poveda [Mon, 7 Oct 2019 21:22:53 +0000 (16:22 -0500)]
Return negative times when the current time is before the unix epoch
Christian Poveda [Thu, 3 Oct 2019 16:20:06 +0000 (11:20 -0500)]
Reduce size of nanoseconds
Christian Poveda [Wed, 2 Oct 2019 18:17:58 +0000 (13:17 -0500)]
Add clock_gettime shim
bors [Fri, 11 Oct 2019 13:37:05 +0000 (13:37 +0000)]
Auto merge of #983 - christianpoveda:fs-shims-tweaks, r=RalfJung
Various fixes to the file related shims
Hi @RalfJung, I'll be working incrementally over your comments for the new `fs` shims module here.
Christian Poveda [Fri, 11 Oct 2019 13:20:32 +0000 (08:20 -0500)]
Change error handling style for consistency
Christian Poveda [Fri, 11 Oct 2019 09:20:18 +0000 (04:20 -0500)]
Use existing tcx instead
Christian Poveda [Fri, 11 Oct 2019 09:17:43 +0000 (04:17 -0500)]
Correct style of comments
bors [Fri, 11 Oct 2019 09:03:11 +0000 (09:03 +0000)]
Auto merge of #985 - christianpoveda:fix-fs-path, r=RalfJung
Avoid using the tests folder for the file manipualtion test
https://github.com/rust-lang/rust/pull/65278 r? @RalfJung
Christian Poveda [Fri, 11 Oct 2019 09:01:07 +0000 (04:01 -0500)]
Rename file manipulation test to fs
Christian Poveda [Fri, 11 Oct 2019 08:31:11 +0000 (03:31 -0500)]
Avoid using the tests folder for the file manipualtion test
Christian Poveda [Fri, 11 Oct 2019 08:55:18 +0000 (03:55 -0500)]
Add comment for the flag diff check
Christian Poveda [Fri, 11 Oct 2019 08:36:34 +0000 (03:36 -0500)]
Add comment explaining why buffer isn't overflowed
Christian Poveda [Fri, 11 Oct 2019 07:35:50 +0000 (02:35 -0500)]
Add comments to explain the chdir test
Christian Poveda [Fri, 11 Oct 2019 06:53:31 +0000 (01:53 -0500)]
Move functions to eval libc constants to helpers
Christian Poveda [Fri, 11 Oct 2019 06:49:28 +0000 (01:49 -0500)]
Rename shims::io to shims::fs
YOUNGSUK_KIM [Thu, 10 Oct 2019 15:03:20 +0000 (11:03 -0400)]
fixed cargo-miri bug for windows users
bors [Wed, 9 Oct 2019 11:01:53 +0000 (11:01 +0000)]
Auto merge of #982 - RalfJung:rustup, r=RalfJung
bump to latest nightly
Just because it has been a while since the last bump.
Ralf Jung [Wed, 9 Oct 2019 09:11:56 +0000 (11:11 +0200)]
bump to latest nightly
bors [Wed, 9 Oct 2019 08:32:58 +0000 (08:32 +0000)]
Auto merge of #981 - RalfJung:atomic, r=RalfJung
also test AcqRel fence
Missing from https://github.com/rust-lang/miri/pull/979
Ralf Jung [Wed, 9 Oct 2019 08:29:08 +0000 (10:29 +0200)]
also test AcqRel fence
bors [Tue, 8 Oct 2019 16:14:41 +0000 (16:14 +0000)]
Auto merge of #976 - christianpoveda:unlink-shim, r=oli-obk
Add unlink shim to delete files
r? @oli-obk
This closes the whole create, write, read, delete circle for file handling.
Christian Poveda [Tue, 8 Oct 2019 14:25:26 +0000 (09:25 -0500)]
Add errno_location shim for MacOS
Christian Poveda [Tue, 8 Oct 2019 13:56:36 +0000 (08:56 -0500)]
Add tests for non-existing files
Christian Poveda [Thu, 3 Oct 2019 14:33:36 +0000 (09:33 -0500)]
Add unlink shim to delete files
bors [Tue, 8 Oct 2019 13:21:05 +0000 (13:21 +0000)]
Auto merge of #977 - christianpoveda:last-error-ptr, r=oli-obk
Move last error into memory
These changes move the `Evaluator::last_error` into miri's memory and implement the `__errno_location()` shim (which is used by the file handling functions when they fail).
Christian Poveda [Mon, 7 Oct 2019 13:38:54 +0000 (08:38 -0500)]
Add method to consume io::Error
Christian Poveda [Thu, 3 Oct 2019 15:28:38 +0000 (10:28 -0500)]
Add __errno_location shim
Christian Poveda [Thu, 3 Oct 2019 15:21:55 +0000 (10:21 -0500)]
Move last_error into memory
Christian Poveda [Mon, 7 Oct 2019 13:39:59 +0000 (08:39 -0500)]
Rustfmt
YOUNGSUK_KIM [Sat, 5 Oct 2019 21:11:09 +0000 (17:11 -0400)]
change cargo-miri.rs to fix issue #978
bors [Sat, 5 Oct 2019 15:23:35 +0000 (15:23 +0000)]
Auto merge of #979 - nico-abram:patch-1, r=oli-obk
Add missing atomic_fence intrinsics as nops
Fixes #972
Nicolas [Sat, 5 Oct 2019 11:09:23 +0000 (08:09 -0300)]
Add test for atomic fences
Nicolas [Sat, 5 Oct 2019 09:12:37 +0000 (06:12 -0300)]
Add missing atomic_fence intrinsics as nops
Fixes #972
bors [Wed, 2 Oct 2019 14:16:43 +0000 (14:16 +0000)]
Auto merge of #973 - christianpoveda:write-shim, r=oli-obk
Enable file writing
r? @oli-obk
Christian Poveda [Wed, 2 Oct 2019 13:50:32 +0000 (08:50 -0500)]
Return earlier when reading/writing 0 bytes
Christian Poveda [Wed, 2 Oct 2019 13:43:23 +0000 (08:43 -0500)]
Fix dangling pointer bug for zero-sized reads
Christian Poveda [Tue, 1 Oct 2019 18:48:59 +0000 (13:48 -0500)]
Avoid early return after handles are removed
Christian Poveda [Tue, 1 Oct 2019 15:57:12 +0000 (10:57 -0500)]
Correct name of each shim when erroring
Christian Poveda [Mon, 30 Sep 2019 16:46:07 +0000 (11:46 -0500)]
Add file writing capabilities
bors [Tue, 1 Oct 2019 15:33:09 +0000 (15:33 +0000)]
Auto merge of #962 - christianpoveda:file-shim, r=oli-obk
Add shims for file handling
This adds the bare minimum to be able to do `File::open` and `File::read`. I also need some feedback about how to handle certain things
Christian Poveda [Tue, 1 Oct 2019 15:31:04 +0000 (10:31 -0500)]
Add docs for helper functions
Christian Poveda [Tue, 1 Oct 2019 14:18:55 +0000 (09:18 -0500)]
Remove return argument when fd is not found
Christian Poveda [Mon, 30 Sep 2019 20:18:23 +0000 (15:18 -0500)]
Add methods to handle invalid fides
Christian Poveda [Mon, 30 Sep 2019 19:21:45 +0000 (14:21 -0500)]
Avoid buffer allocation to read files
Christian Poveda [Mon, 30 Sep 2019 19:07:08 +0000 (14:07 -0500)]
Add method to consume std::io::Result
Christian Poveda [Mon, 30 Sep 2019 16:51:09 +0000 (11:51 -0500)]
Add FileHandle struct
Christian Poveda [Sat, 28 Sep 2019 19:22:57 +0000 (14:22 -0500)]
Reserve fides for stdio and fix merge issues
bors [Sun, 29 Sep 2019 17:15:19 +0000 (17:15 +0000)]
Auto merge of #971 - RalfJung:rustup, r=RalfJung
bump rust even more
Internet in this train isn't good enough to test this... so let's see. ;)
Ralf Jung [Sun, 29 Sep 2019 16:31:04 +0000 (12:31 -0400)]
bump rust even more
bors [Sun, 29 Sep 2019 16:26:36 +0000 (16:26 +0000)]
Auto merge of #970 - RalfJung:align_offset, r=RalfJung
more align_offset tests
Cc @christianpoveda
Ralf Jung [Sun, 29 Sep 2019 16:26:13 +0000 (12:26 -0400)]
fix tests on 32bit
Ralf Jung [Sun, 29 Sep 2019 15:49:04 +0000 (11:49 -0400)]
comments and another test
Ralf Jung [Sun, 29 Sep 2019 15:43:50 +0000 (11:43 -0400)]
more align_offset tests
bors [Sun, 29 Sep 2019 15:31:59 +0000 (15:31 +0000)]
Auto merge of #969 - RalfJung:rustup, r=RalfJung
fix test failure from diagnostics change
@oli-obk looks like with some recent change, the error about the shift now needs `const_err` instead of `exceeding_bitshifts` to be silenced?
Ralf Jung [Sun, 29 Sep 2019 15:30:28 +0000 (11:30 -0400)]
fix test failure from diagnostics change