]>
git.lizzy.rs Git - rust.git/log
Christian Poveda [Sun, 13 Oct 2019 00:48:18 +0000 (19:48 -0500)]
Group libc helper functions
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
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
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
bors [Sat, 28 Sep 2019 18:38:00 +0000 (18:38 +0000)]
Auto merge of #957 - christianpoveda:ptr-align-offset, r=RalfJung
Fixes for align_offset
This addresses @RalfJung's comments in https://github.com/rust-lang/miri/pull/945
bors [Sat, 28 Sep 2019 16:11:13 +0000 (16:11 +0000)]
Auto merge of #967 - RalfJung:rustup, r=RalfJung
cargo update for test-cargo-miri
Ralf Jung [Sat, 28 Sep 2019 16:10:18 +0000 (12:10 -0400)]
cargo update for test-cargo-miri
bors [Sat, 28 Sep 2019 15:36:53 +0000 (15:36 +0000)]
Auto merge of #966 - RalfJung:rustup, r=RalfJung
sync AppVeyor CI script with Travis
Ralf Jung [Sat, 28 Sep 2019 15:36:20 +0000 (11:36 -0400)]
sync AppVeyor CI script with Travis
bors [Sat, 28 Sep 2019 15:00:30 +0000 (15:00 +0000)]
Auto merge of #965 - RalfJung:rustup, r=RalfJung
rustup
Ralf Jung [Sat, 28 Sep 2019 15:00:05 +0000 (11:00 -0400)]
fix miri-rustc-tests
Ralf Jung [Sat, 28 Sep 2019 14:37:48 +0000 (10:37 -0400)]
rustup
bors [Sat, 28 Sep 2019 04:57:33 +0000 (04:57 +0000)]
Auto merge of #963 - rust-lang:rustup, r=RalfJung
Update to latest nightly
Ralf Jung [Fri, 27 Sep 2019 14:54:39 +0000 (10:54 -0400)]
make sure we use the stable toolchain, no matter the cache
Ralf Jung [Fri, 27 Sep 2019 14:23:26 +0000 (10:23 -0400)]
show cargo version
Oliver Scherer [Thu, 26 Sep 2019 09:40:13 +0000 (11:40 +0200)]
Rustup to `sty` -> `kind` changes
Oliver Scherer [Thu, 26 Sep 2019 07:42:03 +0000 (09:42 +0200)]
Update to latest nightly
Christian Poveda [Wed, 25 Sep 2019 16:16:11 +0000 (11:16 -0500)]
Enable close call for macos
Christian Poveda [Wed, 25 Sep 2019 16:12:46 +0000 (11:12 -0500)]
Add FIXME to file reading test
Christian Poveda [Wed, 25 Sep 2019 16:11:20 +0000 (11:11 -0500)]
Check that the only flag change is done to enable `FD_CLOEXEC`
Christian Poveda [Wed, 25 Sep 2019 15:49:12 +0000 (10:49 -0500)]
Add helper function to fetch `libc` constants
Christian Poveda [Tue, 24 Sep 2019 22:28:00 +0000 (17:28 -0500)]
First version of file handling
bors [Tue, 24 Sep 2019 22:39:55 +0000 (22:39 +0000)]
Auto merge of #960 - christianpoveda:chdir-shim, r=oli-obk
Add `chdir` shim
r? @oli-obk
Christian Poveda [Tue, 24 Sep 2019 20:53:14 +0000 (15:53 -0500)]
Check that `chdir` fails for non-utf8 paths
Christian Poveda [Tue, 24 Sep 2019 19:42:38 +0000 (14:42 -0500)]
Add `chdir` shim
bors [Tue, 24 Sep 2019 16:22:21 +0000 (16:22 +0000)]
Auto merge of #958 - christianpoveda:getcwd-shim, r=oli-obk
Add getcwd shim
Christian Poveda [Tue, 24 Sep 2019 14:29:16 +0000 (09:29 -0500)]
Fix comments
Christian Poveda [Mon, 23 Sep 2019 02:39:17 +0000 (21:39 -0500)]
Ignore integers
Christian Poveda [Tue, 17 Sep 2019 18:42:04 +0000 (13:42 -0500)]
Throw unsupported error when alignment is not a power of two
Christian Poveda [Fri, 20 Sep 2019 15:25:43 +0000 (10:25 -0500)]
fetch ERANGE value from libc
Christian Poveda [Fri, 20 Sep 2019 08:30:55 +0000 (03:30 -0500)]
Set errno when getcwd fails
Christian Poveda [Fri, 20 Sep 2019 07:13:48 +0000 (02:13 -0500)]
Avoid writing more bytes than necessary
bors [Fri, 20 Sep 2019 06:56:18 +0000 (06:56 +0000)]
Auto merge of #903 - RalfJung:discriminant, r=RalfJung
fix discriminant handling
The Miri side of https://github.com/rust-lang/rust/pull/63448
Ralf Jung [Fri, 20 Sep 2019 06:55:12 +0000 (08:55 +0200)]
bump Rust
Ralf Jung [Mon, 16 Sep 2019 13:04:42 +0000 (15:04 +0200)]
add another test case
Ralf Jung [Sat, 10 Aug 2019 16:38:41 +0000 (18:38 +0200)]
err on all-but-B, not just on C
Ralf Jung [Sat, 10 Aug 2019 13:10:11 +0000 (15:10 +0200)]
test for niche enum discriminant computation that overflows
Christian Poveda [Thu, 19 Sep 2019 15:32:18 +0000 (10:32 -0500)]
Only use getcwd without isolation
Christian Poveda [Wed, 18 Sep 2019 21:46:41 +0000 (16:46 -0500)]
Check that getcwd does not error
Christian Poveda [Wed, 18 Sep 2019 21:10:13 +0000 (16:10 -0500)]
Add getcwd shim
bors [Wed, 18 Sep 2019 09:22:58 +0000 (09:22 +0000)]
Auto merge of #956 - rust-lang:rustup-retag, r=RalfJung
rustup for retag rename
This is the Miri side of https://github.com/rust-lang/rust/pull/64503. Do not force-push!
Ralf Jung [Wed, 18 Sep 2019 09:22:28 +0000 (11:22 +0200)]
bump Rust version
Ralf Jung [Wed, 18 Sep 2019 09:22:12 +0000 (11:22 +0200)]
Merge remote-tracking branch 'origin/master' into rustup-retag