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

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

fixed cargo-miri bug for windows users

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

change cargo-miri.rs to fix issue #978

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