Move functions to eval libc constants to helpers

Rename shims::io to shims::fs

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

bump to latest nightly

Just because it has been a while since the last bump.

bump to latest nightly

Auto merge of #981 - RalfJung:atomic, r=RalfJung

also test AcqRel fence

Missing from https://github.com/rust-lang/miri/pull/979

also test AcqRel fence

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.

Add errno_location shim for MacOS

Add tests for non-existing files

Add unlink shim to delete files

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

Add method to consume io::Error

Add __errno_location shim

Move last_error into memory

Rustfmt

Auto merge of #979 - nico-abram:patch-1, r=oli-obk

Add missing atomic_fence intrinsics as nops

Fixes #972

Add test for atomic fences

Add missing atomic_fence intrinsics as nops

Fixes #972

Auto merge of #973 - christianpoveda:write-shim, r=oli-obk

Enable file writing

r? @oli-obk

Return earlier when reading/writing 0 bytes

Fix dangling pointer bug for zero-sized reads

Avoid early return after handles are removed

Correct name of each shim when erroring

Add file writing capabilities

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

Add docs for helper functions

Remove return argument when fd is not found

Add methods to handle invalid fides

Avoid buffer allocation to read files

Add method to consume std::io::Result

Add FileHandle struct

Reserve fides for stdio and fix merge issues

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

bump rust even more

Auto merge of #970 - RalfJung:align_offset, r=RalfJung

more align_offset tests

Cc @christianpoveda

fix tests on 32bit

comments and another test

more align_offset tests

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?

fix test failure from diagnostics change

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

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

cargo update for test-cargo-miri

cargo update for test-cargo-miri

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

sync AppVeyor CI script with Travis

sync AppVeyor CI script with Travis

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

rustup

fix miri-rustc-tests

rustup

Auto merge of #963 - rust-lang:rustup, r=RalfJung

Update to latest nightly

make sure we use the stable toolchain, no matter the cache

show cargo version

Rustup to `sty` -> `kind` changes

Update to latest nightly

Enable close call for macos

Add FIXME to file reading test

Check that the only flag change is done to enable `FD_CLOEXEC`

Add helper function to fetch `libc` constants

First version of file handling

Auto merge of #960 - christianpoveda:chdir-shim, r=oli-obk

Add `chdir` shim

r? @oli-obk

Check that `chdir` fails for non-utf8 paths

Add `chdir` shim

Auto merge of #958 - christianpoveda:getcwd-shim, r=oli-obk

Add getcwd shim

Fix comments

Ignore integers

Throw unsupported error when alignment is not a power of two

fetch ERANGE value from libc

Set errno when getcwd fails

Avoid writing more bytes than necessary

Auto merge of #903 - RalfJung:discriminant, r=RalfJung

fix discriminant handling

The Miri side of https://github.com/rust-lang/rust/pull/63448

bump Rust

add another test case

err on all-but-B, not just on C

test for niche enum discriminant computation that overflows

Only use getcwd without isolation

Check that getcwd does not error

Add getcwd shim

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!

bump Rust version

Merge remote-tracking branch 'origin/master' into rustup-retag

Move truncation from the main branch

Update align_offset tests

Add align_offset for integers

rustup

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

remove libstd backtrace work-around

remove libstd backtrace work-around

Auto merge of #945 - christianpoveda:ptr-align-offset, r=oli-obk

Use libcore's align_offset

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

Use force_ptr instead of assert_ptr

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

update for rustc changes

https://github.com/rust-lang/rust/pull/60584 changed some stuff around ICEs. What I am not sure about is whether we should call `install_ice_hook` or not. @jonas-schievink @oli-obk any advice?

install ICE hook

update for rustc changes

Auto merge of #951 - spastorino:place-2-0, r=RalfJung

Place projection field is now Box<[PlaceElem<'tcx>]>

Closes https://github.com/rust-lang/rust/issues/64441

Place projection field is now Box<[PlaceElem<'tcx>]>

Auto merge of #953 - RalfJung:contributing, r=oli-obk

add CONTRIBUTING guide

Auto merge of #949 - RalfJung:ask-to-run, r=RalfJung

factor ask-to-run-command into helper function

add CONTRIBUTING guide

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

temporarily enable backtrace feature

This is a temporary hack to work around https://github.com/rust-lang/rust/issues/64410.

temporarily enable backtrace feature

Auto merge of #948 - mati865:patch-1, r=RalfJung

Bump byteorder and remove no-op feature

It's automatically detected: https://github.com/BurntSushi/byteorder/commit/5b3ffeeed2d04ec5051336ea2c6e6d36abc94581

With this PR `byteorder` can be from [rustc-workspace-hack](https://github.com/rust-lang/rust/blob/f71826e8f26fd4fa331574caa462960db8ed961a/src/tools/rustc-workspace-hack/Cargo.toml#L74).

factor ask-to-run-command into helper function

Use str::from_utf8 instead