let's see if newer rustc helps

disable num_cpus on Windows for now

silence a lint that catches the bug statically

Auto merge of #1031 - RalfJung:ptr-offset, r=RalfJung

Refactor ptr_offset_inbounds

I finally found a way to write this using basically just `check_ptr_access` while handling all cases (integers and pointers, offset 0 or not) correctly. This changes behavior for NULL ptrs, but I think the change is for the better.

Depends on https://github.com/rust-lang/rust/pull/66081.

ptr_offset: handle negative offsets

rustup

fix error message details

fix test erorr msg

refactor ptr_offset_inbounds: it can be reduced to check_ptr_access, after all!

test that 0 cannot be offset-inbounds by 0

Auto merge of #1032 - RalfJung:offset-from, r=RalfJung

test offset_from

This currently fails and needs a rustc fix: https://github.com/rust-lang/rust/pull/66083

rustup

test offset_from

Auto merge of #1036 - RalfJung:stacked-borrows-test, r=RalfJung

add an interesting run-pass stacked borrows example

add an interesting run-pass stacked borrows example

Auto merge of #1030 - RalfJung:mir-opt-comment, r=RalfJung

update comment re: not using higher mir-opt-level

update comment re: not using higher mir-opt-level

Auto merge of #1029 - RalfJung:panic-if-uninhabited, r=RalfJung

calling panic_if_uninhabited is not actually UB

calling panic_if_uninhabited is not actually UB

Auto merge of #961 - rust-lang:exact_div_reuse, r=RalfJung

Use the upstream `exact_div` implementation

introduced in https://github.com/rust-lang/rust/pull/63810

adjust tests

style

rustup

Use the upstream `exact_div` implementation

Auto merge of #1028 - RalfJung:place-apis, r=RalfJung

use Place API instead of Allocation API

store scalars where appropriate

Windows cmdline: avoid accessing allocations directly

Auto merge of #1027 - RalfJung:typo, r=RalfJung

fix typo

fix typo

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

rustup for span in intrinsic emulation

rustup for span in intrinsic emulation

Auto merge of #1025 - mati865:deps, r=RalfJung

Bump dependencies

Bump dependencies

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

rustup for projection interning

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