]>
git.lizzy.rs Git - rust.git/log
bors [Thu, 2 Apr 2020 11:34:49 +0000 (11:34 +0000)]
Auto merge of #1296 - RalfJung:rustup, r=RalfJung
rustup for AllocRef changes
Cc https://github.com/rust-lang/rust/pull/70362
Ralf Jung [Thu, 2 Apr 2020 11:33:59 +0000 (13:33 +0200)]
port compile-fail allocator tests to stable API
Ralf Jung [Thu, 2 Apr 2020 09:45:17 +0000 (11:45 +0200)]
rustup for AllocRef changes
bors [Thu, 2 Apr 2020 07:54:50 +0000 (07:54 +0000)]
Auto merge of #1295 - RalfJung:ci-no-incremental, r=RalfJung
set CARGO_INCREMENTAL=0 on CI
it's just a waste of time there
Ralf Jung [Thu, 2 Apr 2020 07:49:48 +0000 (09:49 +0200)]
set CARGO_INCREMENTAL=0 on CI, it's just a waste of time there
bors [Thu, 2 Apr 2020 07:32:44 +0000 (07:32 +0000)]
Auto merge of #1283 - RalfJung:backtrace, r=RalfJung
Make backtrace function names and spans match up
This is the Miri side of https://github.com/rust-lang/rust/pull/70590.
Fixes https://github.com/rust-lang/miri/issues/521
Ralf Jung [Thu, 2 Apr 2020 07:19:56 +0000 (09:19 +0200)]
fix for FieldPlacement rename
Ralf Jung [Thu, 2 Apr 2020 07:14:23 +0000 (09:14 +0200)]
rustup
Ralf Jung [Mon, 30 Mar 2020 20:54:49 +0000 (22:54 +0200)]
adjust for span not being passed around any more
Ralf Jung [Mon, 30 Mar 2020 18:15:02 +0000 (20:15 +0200)]
adjust stacktrace printing to rustc changes
JOE1994 [Thu, 2 Apr 2020 01:26:47 +0000 (21:26 -0400)]
fix incorrect error message in shim 'QueryPerformanceCounter'
JOE1994 [Thu, 2 Apr 2020 00:35:56 +0000 (20:35 -0400)]
Add support for 'std::time::Instant' in Windows
William Brown [Wed, 1 Apr 2020 23:50:21 +0000 (09:50 +1000)]
Update readme to make supported codo clearer
bors [Wed, 1 Apr 2020 18:34:59 +0000 (18:34 +0000)]
Auto merge of #1292 - RalfJung:time, r=RalfJung
sanity check time values a bit more
Ralf Jung [Wed, 1 Apr 2020 18:12:51 +0000 (20:12 +0200)]
sanity check time values a bit more
bors [Wed, 1 Apr 2020 17:59:33 +0000 (17:59 +0000)]
Auto merge of #1290 - RalfJung:rustup, r=RalfJung
Rustup
Also remove ICEing `breakpoint` intrinsic shim.
Ralf Jung [Wed, 1 Apr 2020 17:40:10 +0000 (19:40 +0200)]
rustup
bors [Wed, 1 Apr 2020 17:36:04 +0000 (17:36 +0000)]
Auto merge of #1286 - JOE1994:windows_time, r=RalfJung
Implement 'GetSystemTimeAsFileTime' shim for Windows
Implement `GetSystemTimeAsFileTime` shim for Windows.
Closes #997
Ralf Jung [Wed, 1 Apr 2020 17:12:22 +0000 (19:12 +0200)]
remove ICEin intrinsic
JOE1994 [Tue, 31 Mar 2020 15:26:32 +0000 (11:26 -0400)]
Implement 'GetSystemTimeAsFileTime' shim for Windows
bors [Tue, 31 Mar 2020 15:53:44 +0000 (15:53 +0000)]
Auto merge of #1287 - RalfJung:time-sub, r=RalfJung
test subtracting SystemTime and Instant
Ralf Jung [Tue, 31 Mar 2020 15:53:27 +0000 (17:53 +0200)]
add TODO
Ralf Jung [Tue, 31 Mar 2020 15:50:10 +0000 (17:50 +0200)]
test subtracting SystemTime and Instant
bors [Mon, 30 Mar 2020 20:14:50 +0000 (20:14 +0000)]
Auto merge of #1282 - RalfJung:rustup, r=RalfJung
rustup; fix Windows env var memory type
Ralf Jung [Mon, 30 Mar 2020 20:13:53 +0000 (22:13 +0200)]
rustup; fix Windows env var memory type
bors [Mon, 30 Mar 2020 17:56:33 +0000 (17:56 +0000)]
Auto merge of #1270 - RalfJung:incremental, r=RalfJung
miri build script: use incremental builds
I somehow thought that was already the default, but seems like it is not?
bors [Mon, 30 Mar 2020 15:49:45 +0000 (15:49 +0000)]
Auto merge of #1279 - divergentdave:open_O_EXCL, r=RalfJung
Add support for OpenOptions::create_new()/O_EXCL
This PR extends the POSIX shim for `open` to support the `O_EXCL` flag, when it is used alongside `O_CREAT`, and exercises it by testing `OpenOptions::create_new`.
bors [Mon, 30 Mar 2020 09:09:20 +0000 (09:09 +0000)]
Auto merge of #1281 - RalfJung:rustup, r=RalfJung
adjust for librustc rename; reduce 'extern crate' to rustc crates
Ralf Jung [Mon, 30 Mar 2020 09:07:32 +0000 (11:07 +0200)]
adjust for librustc rename; reduce 'extern crate' to rustc crates
bors [Mon, 30 Mar 2020 08:24:40 +0000 (08:24 +0000)]
Auto merge of #1280 - RalfJung:rustup, r=RalfJung
rustup; fix for TyLayout rename
Ralf Jung [Mon, 30 Mar 2020 08:23:16 +0000 (10:23 +0200)]
test const-generic Vec::from(array)
Ralf Jung [Mon, 30 Mar 2020 08:23:04 +0000 (10:23 +0200)]
rustup; fix for TyLayout rename
bors [Sun, 29 Mar 2020 22:43:36 +0000 (22:43 +0000)]
Auto merge of #1278 - JOE1994:cow, r=RalfJung
make 'fn convert_path_separator' to take 'Cow<>' as argument
Fixed `fn convert_path_separator()` to take `Cow<>` as argument,
in order to prevent unnecessary allocation when target & host path separators are equal.
David Cook [Sun, 29 Mar 2020 21:03:05 +0000 (16:03 -0500)]
Add support for OpenOptions::create_new()/O_EXCL
JOE1994 [Sun, 29 Mar 2020 20:01:07 +0000 (16:01 -0400)]
fix fn read_path_from_wide_str
JOE1994 [Sun, 29 Mar 2020 18:19:59 +0000 (14:19 -0400)]
make 'fn convert_path_separator' to take Cow<> (to remove unnecessary allocation)
bors [Sun, 29 Mar 2020 17:19:57 +0000 (17:19 +0000)]
Auto merge of #1268 - JOE1994:dir, r=RalfJung
Windows shims for GetCurrentDirectoryW/SetCurrentDirectoryW
Implemented shims for Windows
* [GetCurrentDirectoryW](https://github.com/rust-lang/rust/blob/
75208942f6144daac669e8e382029fc33bdce841 /src/libstd/sys/windows/os.rs#L242) (`getcwd` for Windows)
* [SetCurrentDirectoryW](https://github.com/rust-lang/rust/blob/
75208942f6144daac669e8e382029fc33bdce841 /src/libstd/sys/windows/os.rs#L250) (`chdir` for Windows)
Currently passes test :
`./miri run tests/run-pass/current_dir.rs -Zmiri-disable-isolation`
JOE1994 [Sun, 29 Mar 2020 17:13:42 +0000 (13:13 -0400)]
Move definition of 'fn windows_check_buffer_size' to top of 'src/shims/env.rs'
JOE1994 [Sun, 29 Mar 2020 17:10:23 +0000 (13:10 -0400)]
small refactorings to 'src/shims/os_str.rs' & 'src/shims/env.rs'
JOE1994 [Sun, 29 Mar 2020 15:15:53 +0000 (11:15 -0400)]
fix fn GetCurrentDirectoryW + clarify return types of Windows shims
JOE1994 [Sun, 29 Mar 2020 14:21:02 +0000 (10:21 -0400)]
fix 'magic boolean' to enum
JOE1994 [Sun, 29 Mar 2020 13:46:13 +0000 (09:46 -0400)]
Follow-up to reviews from RalfJung
1. Fix 'fn convert_path_separator' in src/shims/os_str.rs
2. Fix 'fn set_last_error_from_io_error' in src/helpers.rs
3. Minor comment fix for 'fn SetCurrentDirectoryW' in src/shims/env.rs
JOE1994 [Sat, 28 Mar 2020 18:44:41 +0000 (14:44 -0400)]
Windows shims for GetCurrentDirectoryW/SetCurrentDirectoryW
JOE1994 [Sat, 28 Mar 2020 18:42:22 +0000 (14:42 -0400)]
partially implement 'set_last_error_from_io_error' for Windows
bors [Sun, 29 Mar 2020 08:02:10 +0000 (08:02 +0000)]
Auto merge of #1277 - RalfJung:rustup, r=RalfJung
rustup
Fix for some renames
Ralf Jung [Sun, 29 Mar 2020 08:01:31 +0000 (10:01 +0200)]
rustup
bors [Sat, 28 Mar 2020 18:16:13 +0000 (18:16 +0000)]
Auto merge of #1276 - RalfJung:scalar-precise-sizes, r=RalfJung
Construct Scalar with precise sizes
Ralf Jung [Sat, 28 Mar 2020 16:47:00 +0000 (17:47 +0100)]
precise getrandom return type and align_offset arithmetic
Ralf Jung [Sat, 28 Mar 2020 16:38:38 +0000 (17:38 +0100)]
use ptr_null where appropriate
Ralf Jung [Sat, 28 Mar 2020 16:35:40 +0000 (17:35 +0100)]
avoid Scalar::from_(u)int in favor of giving the size explicitly
bors [Sat, 28 Mar 2020 15:32:16 +0000 (15:32 +0000)]
Auto merge of #1275 - JOE1994:move_string_helpers, r=RalfJung
move OsStr helpers to a separate file
Moved OsStr read/write functions from `src/helpers.rs` to `src/shims/os_str.rs`, in order to keep `src/helpers.rs` from bloating too much.
JOE1994 [Sat, 28 Mar 2020 15:20:16 +0000 (11:20 -0400)]
visually separate conditional imports in 'os_str.rs'
bors [Sat, 28 Mar 2020 14:47:42 +0000 (14:47 +0000)]
Auto merge of #1274 - RalfJung:float-cast, r=RalfJung
fix float test comments and test a few more int->float casts
Ralf Jung [Sat, 28 Mar 2020 14:45:45 +0000 (15:45 +0100)]
fix float test comments and test a few more int->float casts
JOE1994 [Sat, 28 Mar 2020 14:43:47 +0000 (10:43 -0400)]
move OsStr helpers to a separate file
bors [Sat, 28 Mar 2020 14:19:29 +0000 (14:19 +0000)]
Auto merge of #1265 - RalfJung:float-cast, r=RalfJung
test floating point casting better
bors [Sat, 28 Mar 2020 13:33:57 +0000 (13:33 +0000)]
Auto merge of #1273 - RalfJung:environ-cleanup, r=RalfJung
we don't deallocate the environ global, so leave it in the machine
Follow-up to https://github.com/rust-lang/miri/pull/1271. I forgot to adjust this when my plans changed a bit.
Ralf Jung [Sat, 28 Mar 2020 13:32:50 +0000 (14:32 +0100)]
we don't deallocate the environ global, so leave it in the machine
bors [Sat, 28 Mar 2020 10:35:11 +0000 (10:35 +0000)]
Auto merge of #1263 - RalfJung:shims-limit, r=RalfJung
Limit shims to libstd where possible
Also organize them better by category.
Fixes https://github.com/rust-lang/miri/issues/1181 (by making mmap not callable from user code)
Ralf Jung [Sat, 28 Mar 2020 10:33:56 +0000 (11:33 +0100)]
posix_fadvise is Linux-only; also validate arguments a bit
Ralf Jung [Thu, 26 Mar 2020 10:41:31 +0000 (11:41 +0100)]
organize shims and make some only available to libstd as they are incomplete
bors [Sat, 28 Mar 2020 10:09:11 +0000 (10:09 +0000)]
Auto merge of #1271 - RalfJung:env-clean, r=RalfJung
env shim: make sure we clean up all the memory we allocate
`Machine` memory is not leak-checked, so if we forgot to deallocate part of the env shim memory, we wouldn't even notice. Thus add a dedicated memory kind that is leak-checked.
Ralf Jung [Sat, 28 Mar 2020 10:06:56 +0000 (11:06 +0100)]
env shim: make sure we clean up all the memory we allocate
bors [Sat, 28 Mar 2020 09:41:25 +0000 (09:41 +0000)]
Auto merge of #1269 - RalfJung:windows-dtor, r=RalfJung
run Windows TLS dtor function
Mostly fixes https://github.com/rust-lang/miri/issues/442
Ralf Jung [Sat, 28 Mar 2020 09:07:23 +0000 (10:07 +0100)]
run Windows TLS dtor function
Ralf Jung [Sat, 28 Mar 2020 09:29:05 +0000 (10:29 +0100)]
miri build script: use incremental builds
Ralf Jung [Sat, 28 Mar 2020 08:50:24 +0000 (09:50 +0100)]
cleanup tcx usage and a few comments
Ralf Jung [Sat, 28 Mar 2020 08:20:07 +0000 (09:20 +0100)]
avoid promotion so this can be compared with rustc
Ralf Jung [Sat, 28 Mar 2020 08:10:34 +0000 (09:10 +0100)]
also do some float-to-float cast testing
bors [Sat, 28 Mar 2020 07:55:42 +0000 (07:55 +0000)]
Auto merge of #1267 - RalfJung:macos-dtors, r=RalfJung
implement TLS cleanup for macOS
Now that I can run macOS interpretation locally, this was not that hard to fix. ;)
Fixes https://github.com/rust-lang/miri/issues/443
bors [Fri, 27 Mar 2020 19:38:41 +0000 (19:38 +0000)]
Auto merge of #1225 - JOE1994:rw_widestr, r=RalfJung
Add shims for env var emulation in Windows
This PR attempts to implement the final step of the instructions laid out in https://github.com/rust-lang/miri/issues/707#issuecomment-
561564057 , and is yet a work in progress.
### STATUS
- [x] Add general **_target_** methods for **read_str/alloc_str** that dispatch to either **c_str** or **wide_str** variants
(**helpers.rs**)
- [x] Implement shims `fn getenvironmentvariablew`/`fn setenvironmentvariablew`
(`std::env::var()`, `std::env::set_var()`)
- [x] Implement shim `GetEnvironmentStringsW` (`std::env::vars()`)
- [x] Implement shim `FreeEnvironmentStringsW`
### ISSUES (updated on 03/21/2020)
- MIRI errors while running `std::env::remove_var()` in Windows.
MIRI complaining about raw pointer usage in
Rust standard library [*src/libstd/sys/windows/os.rs*](https://github.com/rust-lang/miri/pull/1225#issuecomment-
602100146 ).
### TODO (probably on a separate PR)
- Move string helpers into a new file to avoid bloating **src/helpers.rs** too much. (**shims/os_str.rs**)
Ralf Jung [Fri, 27 Mar 2020 19:36:18 +0000 (20:36 +0100)]
adjust MemoryKind comment
Ralf Jung [Fri, 27 Mar 2020 18:39:35 +0000 (19:39 +0100)]
enable leak tests on macOS
Ralf Jung [Fri, 27 Mar 2020 18:39:00 +0000 (19:39 +0100)]
implement TLS cleanup for macOS
JOE1994 [Fri, 27 Mar 2020 18:18:19 +0000 (14:18 -0400)]
remove or update 'ignore-windows' annotations in some tests
Youngsuk Kim [Fri, 27 Mar 2020 14:15:35 +0000 (10:15 -0400)]
Modify reference to issue 1013
Co-Authored-By: Ralf Jung <post@ralfj.de>
JOE1994 [Fri, 27 Mar 2020 13:59:42 +0000 (09:59 -0400)]
add reference to issue#1013
JOE1994 [Fri, 27 Mar 2020 13:18:13 +0000 (09:18 -0400)]
adjust to change of 'fn write_os_str_to_wide_str'
JOE1994 [Wed, 25 Mar 2020 14:38:27 +0000 (10:38 -0400)]
follow-up2 to review (few issues not resolved yet)
JOE1994 [Wed, 25 Mar 2020 04:52:53 +0000 (00:52 -0400)]
follow-up to reviews
JOE1994 [Tue, 24 Mar 2020 20:00:11 +0000 (16:00 -0400)]
exclude 'TERM' env_var to avoid terminfo trying to open the termcap file
JOE1994 [Fri, 13 Mar 2020 16:45:02 +0000 (12:45 -0400)]
Windows shims for env var emulation
Shims for GetEnvironmentVariableW / SetEnvironmentVariableW /
GetEnvironmentStringsW.
Passes test 'tests/run-pass/env.rs'
bors [Fri, 27 Mar 2020 11:35:25 +0000 (11:35 +0000)]
Auto merge of #1266 - JOE1994:write_os_str_to_wide_str, r=RalfJung
Change helper fn 'write_os_str_to_wide_str'
Helper fn `write_os_str_to_wide_str` now works on `Scalar<Tag>`, just like other **read/write os_str** helper functions.
The 2nd commit contains some changes made to `src/shims/env.rs` in PR #1225, in order to keep it from bloating too much.
Ralf Jung [Fri, 27 Mar 2020 11:35:08 +0000 (12:35 +0100)]
env: more precise error
JOE1994 [Fri, 27 Mar 2020 11:07:21 +0000 (07:07 -0400)]
follow-up to reviews
JOE1994 [Fri, 27 Mar 2020 04:10:45 +0000 (00:10 -0400)]
add OS-specific handling to src/shims/env.rs
JOE1994 [Fri, 27 Mar 2020 04:08:27 +0000 (00:08 -0400)]
change helper fn 'write_os_str_to_wide_str'
Ralf Jung [Thu, 26 Mar 2020 18:25:51 +0000 (19:25 +0100)]
test floating point casting better
bors [Wed, 25 Mar 2020 23:12:38 +0000 (23:12 +0000)]
Auto merge of #1262 - RalfJung:rustup, r=RalfJung
rustup; get rid of some try_from that are no longer needed
Ralf Jung [Wed, 25 Mar 2020 23:11:50 +0000 (00:11 +0100)]
rustup; get rid of some try_from that are no longer needed
bors [Wed, 25 Mar 2020 11:11:41 +0000 (11:11 +0000)]
Auto merge of #1261 - RalfJung:cross-gnu, r=RalfJung
cross-running windows-gnu should now also work
Fixes https://github.com/rust-lang/miri/issues/1198
Ralf Jung [Wed, 25 Mar 2020 11:11:05 +0000 (12:11 +0100)]
bump xargo version
Ralf Jung [Wed, 25 Mar 2020 10:44:11 +0000 (11:44 +0100)]
cross-running windows-gnu should now also work
bors [Wed, 25 Mar 2020 08:33:44 +0000 (08:33 +0000)]
Auto merge of #1260 - RalfJung:unreachable, r=RalfJung
Implement unreachable intrinsic
Fixes https://github.com/rust-lang/miri/issues/1254
Ralf Jung [Wed, 25 Mar 2020 08:15:52 +0000 (09:15 +0100)]
remove an unnecessary as_str
Ralf Jung [Wed, 25 Mar 2020 08:12:23 +0000 (09:12 +0100)]
test unreachable intrinsic
bors [Wed, 25 Mar 2020 08:10:28 +0000 (08:10 +0000)]
Auto merge of #1259 - RalfJung:rustup, r=RalfJung
rustup, adjust for renames
Ralf Jung [Wed, 25 Mar 2020 08:05:24 +0000 (09:05 +0100)]
rustup, adjust for renames
bors [Tue, 24 Mar 2020 13:18:44 +0000 (13:18 +0000)]
Auto merge of #1251 - RalfJung:win-cross, r=RalfJung
cross-test on a Windows host
Ralf Jung [Tue, 24 Mar 2020 07:38:05 +0000 (08:38 +0100)]
move path methods together, to the bottom of the string helpers