8a8fa53a5d
Transform the last error place to an immediate instead
2019-10-20 07:55:26 -05:00
619ccf3834
Rename set_last_error_from_io_result
2019-10-20 07:55:25 -05:00
5c3c738c4b
Make transformation to OS error explicit
2019-10-20 07:53:56 -05:00
338e51aa48
Rename consume_result
2019-10-20 07:53:55 -05:00
ed776f67ba
Change last_error to a place
2019-10-20 07:42:59 -05:00
4232939319
Move last error functions to helpers
2019-10-20 07:42:59 -05:00
cfd95998d7
Auto merge of #1009 - RalfJung:expect_none, r=RalfJung
...
use expect_none and unwrap_none where it makes sense
2019-10-20 10:21:28 +00:00
88c88530ec
use expect_none and unwrap_none where it makes sense
2019-10-20 12:20:48 +02:00
fccb239824
Auto merge of #1008 - RalfJung:sysroot, r=RalfJung
...
print sysroot without any escaping
2019-10-19 14:39:16 +00:00
324fed316f
print sysroot without any escaping
2019-10-19 16:38:37 +02:00
cb932f464c
Auto merge of #1006 - RalfJung:bounds, r=RalfJung
...
audit our bounds checks
This simplifies some bounds checks and adds comments.
2019-10-19 10:40:08 +00:00
e574c77aa2
audit our bounds checks
2019-10-19 12:39:02 +02:00
ad6af7a523
Auto merge of #1005 - RalfJung:cleanup, r=RalfJung
...
cleanup now that borrow checker knows memory is a field
@christianpoveda you said, I think, that `fs.rs` could also be cleaned up to longer remove-and-then-add file descriptors from the table? Could you make a PR for that?
2019-10-18 14:02:29 +00:00
5481afbaf6
cleanup now that borrow checker knows memory is a field
2019-10-18 11:33:12 +02:00
fbc1d91f79
Auto merge of #1004 - JohnTitor:use-memory, r=RalfJung
...
Use memory field instead of memory()
Rustup for rust-lang/rust#65319
2019-10-18 08:10:29 +00:00
17449fbce6
rustup
2019-10-18 11:21:20 +09:00
a353e90eed
Use memory field instead of memory()
2019-10-18 11:11:50 +09:00
089c7e8259
Auto merge of #1002 - RalfJung:workspace, r=RalfJung
...
better error when using cargo-miri in a workspace
2019-10-16 20:04:58 +00:00
2967d0d13a
better error when using cargo-miri in a workspace
2019-10-16 22:03:44 +02:00
b20ea83916
Auto merge of #1000 - RalfJung:profile, r=RalfJung
...
install minimal profile by default
Avoid downloading some stuff we really don't care about.
2019-10-16 08:46:13 +00:00
cb913698d2
make sure we don't install more than we have to
2019-10-16 10:45:48 +02:00
3c01ffe25e
cleanup: remove leftover rust-docs components
2019-10-16 10:41:50 +02:00
358cfd290c
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
2019-10-16 08:17:57 +00:00
a94d9d2c1d
install minimal profile by default
2019-10-16 10:02:31 +02:00
49cab51ac3
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
2019-10-16 07:52:12 +00:00
24872230dc
Check that access mode flags only use the first two bits
2019-10-15 08:01:07 -05:00
78311a7132
Add function to error with enabled isolation
2019-10-15 07:33:14 -05:00
0d01c306fe
Auto merge of #998 - RalfJung:comment, r=RalfJung
...
explain our shell encoding
Follow-up to https://github.com/rust-lang/miri/pull/980
2019-10-15 09:25:22 +00:00
4ba63fb0fc
explain our shell encoding
2019-10-15 11:03:32 +02:00
42c1e779cb
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.
Fixes https://github.com/rust-lang/miri/issues/978
2019-10-15 08:22:26 +00:00
d902a11575
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`.
2019-10-15 07:36:42 +00:00
65fd00665e
remove unnecessary line break
2019-10-14 22:37:54 -04:00
e06ce728ca
Ralf Jung's great idea!
2019-10-14 20:57:57 -04:00
f9c768864a
Use places instead of ptrs to write packed immtys
2019-10-14 16:00:40 -05:00
2adc39f27b
Auto merge of #992 - christianpoveda:check-errno-value, r=RalfJung
...
Check that fs errors have the proper kind
r? @RalfJung
2019-10-14 12:54:36 +00:00
f425f445d1
Check that fs errors have the proper kind
2019-10-14 07:24:52 -05:00
b0bfe9e89f
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...
2019-10-14 11:17:57 +00:00
d8f06523f2
bump compiletest
2019-10-14 13:17:30 +02:00
d4d80cbecb
rustup
2019-10-14 13:16:21 +02:00
394a9d5d29
Auto merge of #995 - RalfJung:lock, r=RalfJung
...
add lockfile
Fixes https://github.com/rust-lang/miri/issues/427
2019-10-14 07:59:52 +00:00
917effada1
CI: force using locked versions
2019-10-14 09:59:27 +02:00
d5003bc07d
add lockfile
2019-10-14 09:38:12 +02:00
50618b55cd
Error on negative times
2019-10-13 16:06:37 -05:00
f76f8ce63b
Correct fcntl behavior
2019-10-12 20:12:26 -05:00
508df227e5
Group libc helper functions
2019-10-12 19:48:18 -05:00
c77f0ab707
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.
2019-10-12 16:13:03 +00:00
19fb53e8a3
better debugging for sysroot check
2019-10-12 18:11:44 +02:00
7f28d9631e
hopefully harmless Rust bump
2019-10-12 17:51:10 +02:00
6bd64fc4d5
Auto merge of #988 - RalfJung:temp, r=RalfJung
...
use temp_dir for FS test
Cc @christianpoveda
2019-10-11 21:02:44 +00:00
9082092a71
use temp_dir for FS test
2019-10-11 23:02:04 +02:00
Christian Poveda
