rustup for projection interning

Auto merge of #1023 - RalfJung:align_to, r=RalfJung

test align_to example

Fixes https://github.com/rust-lang/miri/issues/873

test align_to example

Auto merge of #1021 - RalfJung:rustc-dev, r=RalfJung

Adjust for rustc-dev

add back '-c cargo'

rustc-dev landed; adjust rust version

temporarily ignore cached rustup-toolchain-install-master

adjust README for rustc-dev

bump rustc and adjust for rustc-dev component

(also sync AppVeyor with Travis: use stable cargo)

Auto merge of #1020 - RalfJung:compiletest, r=RalfJung

compiletest-nightly should work again

compiletest-nightly should work again

Auto merge of #1019 - RalfJung:rustup, r=RalfJung

rustup: more flexible write_bytes

avoids allocations and removes itertools dependency

update comments and some tweaks

rustup: more flexible write_bytes avoids allocations and removes itertools dependency

Auto merge of #993 - christianpoveda:os_string_helper, r=RalfJung

Add OsString from/to bytes helper functions

Related issue: https://github.com/rust-lang/miri/issues/989

r? @RalfJung

Auto merge of #1018 - RalfJung:rustup, r=RalfJung

rustup; fix debugging

rustup; fix debugging

Fix documentation

Auto merge of #1017 - RalfJung:test, r=RalfJung

cargo update cargo-miri-test

cargo update cargo-miri-test

Auto merge of #1016 - RalfJung:rustup, r=RalfJung

Rustup

use compiletest_rs for stable compiler as nightly is broken

rustup + cargo update

Make size error distinguishable from other errors

Use new write_bytes method

Auto merge of #1015 - RalfJung:appv, r=RalfJung

AppVeyor: abort early if a job fails

AppVeyor: abort early if a job fails

Auto merge of #1014 - RalfJung:rustup, r=RalfJung

rustup: fix for write_bytes and new union rules

fix field index

rustup: fix for write_bytes and new union rules

Fix merge conflicts

Auto merge of #1012 - RalfJung:rustup, r=RalfJung

bump Rust (no changes needed)

Just bumping it to the latest nightly.

bump Rust (no changes needed)

Auto merge of #1011 - RalfJung:full-stop, r=RalfJung

add some missing trailing full stops that slipped through review

add some missing trailing full stops that slipped through review

Auto merge of #991 - christianpoveda:errno-place, r=RalfJung

Change the last OS error location to a place

r? @RalfJung

Auto merge of #1010 - RalfJung:xargo, r=RalfJung

when xargo is manually specified, don't try to upgrade it

when xargo is manually specified, don't try to upgrade it

Add docs for the new helper functions

Small corrections to docs

Transform the last error place to an immediate instead

Rename set_last_error_from_io_result

Make transformation to OS error explicit

Rename consume_result

Change last_error to a place

Move last error functions to helpers

Auto merge of #1009 - RalfJung:expect_none, r=RalfJung

use expect_none and unwrap_none where it makes sense

use expect_none and unwrap_none where it makes sense

Do additional bounds checks

Change comparison order for clarity

Auto merge of #1008 - RalfJung:sysroot, r=RalfJung

print sysroot without any escaping

print sysroot without any escaping

Auto merge of #1006 - RalfJung:bounds, r=RalfJung

audit our bounds checks

This simplifies some bounds checks and adds comments.

audit our bounds checks

Fix writing errors

Rename write/read os string functions

Use conditional compilation properly and work with `OsStr`s instead

Change helper functions to read/write

Add OsString from/to bytes helper functions

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?

cleanup now that borrow checker knows memory is a field

Auto merge of #1004 - JohnTitor:use-memory, r=RalfJung

Use memory field instead of memory()

Rustup for rust-lang/rust#65319

rustup

Use memory field instead of memory()

Auto merge of #1002 - RalfJung:workspace, r=RalfJung

better error when using cargo-miri in a workspace

better error when using cargo-miri in a workspace

Auto merge of #1000 - RalfJung:profile, r=RalfJung

install minimal profile by default

Avoid downloading some stuff we really don't care about.

make sure we don't install more than we have to

cleanup: remove leftover rust-docs components

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

install minimal profile by default

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

Check that access mode flags only use the first two bits

Add function to error with enabled isolation

Auto merge of #998 - RalfJung:comment, r=RalfJung

explain our shell encoding

Follow-up to https://github.com/rust-lang/miri/pull/980

explain our shell encoding

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

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`.

remove unnecessary line break

Ralf Jung's great idea!

Use places instead of ptrs to write packed immtys

Auto merge of #992 - christianpoveda:check-errno-value, r=RalfJung

Check that fs errors have the proper kind

r? @RalfJung

Check that fs errors have the proper kind

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...

bump compiletest

rustup

Auto merge of #995 - RalfJung:lock, r=RalfJung

add lockfile

Fixes https://github.com/rust-lang/miri/issues/427

CI: force using locked versions

add lockfile

Error on negative times

Correct fcntl behavior

Group libc helper functions

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.

better debugging for sysroot check

hopefully harmless Rust bump

Auto merge of #988 - RalfJung:temp, r=RalfJung

use temp_dir for FS test

Cc @christianpoveda

use temp_dir for FS test

Remove F_SETFD command

Error when there is an unsupported flag

Split `write_c_ints` into less specific helper functions