Use places instead of ptrs to write packed immtys

Error on negative times

Group libc helper functions

Split `write_c_ints` into less specific helper functions

Fix sign when number of seconds is zero

Move time related functions to its own module

Throw error instead of panicking for unfittable bits

Add helper function to write structs

Add gettimeofday shim for macOS

Get size of integers using libc

Return negative times when the current time is before the unix epoch

Reduce size of nanoseconds

Add clock_gettime shim

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.

Change error handling style for consistency

Use existing tcx instead

Correct style of comments

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

Rename file manipulation test to fs

Avoid using the tests folder for the file manipualtion test

Add comment for the flag diff check

Add comment explaining why buffer isn't overflowed

Add comments to explain the chdir test

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!