Auto merge of #852 - lzutao:rustup, r=RalfJung

 build: Fix build after rust-lang/rust#60951

Auto merge of #851 - RalfJung:intrptrcast-by-default, r=oli-obk

enable Intrptrcast by default

As laid out in https://github.com/rust-lang/miri/issues/785: we change Miri to always have an RNG, seeded per default with 0. Then we adjust everything to remove dead code and dead tests.

r? @oli-obk
Cc @christianpoveda

explain better what is non-deterministic here

build: Fix build after rust-lang/rust#60951

fix non-deterministic test

use checked arithmetic in intrptrcast

remove redundant tests / flags

review failing compile-fail tests

update miri-seed handling for run-pass test suite

make sure we always have an RNG

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

bump rust

bump rust

Auto merge of #848 - RalfJung:rustc-tests, r=RalfJung

disable some compile-fail tests for rustc

disable some compile-fail tests for rustc

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

fix for rustc_driver change

fix miri-rustc-tests

fix for rustc_driver change

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

fix compile-fail tests for latest rustc

fix compile-fail tests for latest rustc

Auto merge of #840 - RalfJung:readme, r=RalfJung

update README about what we do not support

update README about what we do not support

Auto merge of #839 - RalfJung:noalloc, r=RalfJung

avoid unnecessary allocation

avoid unnecessary allocation

Auto merge of #834 - jyn514:master, r=RalfJung

Give a useful error message if user gives invalid random seed

I thought this crash was in my code at first because the error was so vague.

Give a useful error message if user gives invalid random seed

Auto merge of #836 - RalfJung:arrays, r=RalfJung

test some const-generic-using methods

test some const-generic-using methods

Auto merge of #833 - RalfJung:win, r=RalfJung

reenable all tests on Windows

thread creation error for Windows

reenable all tests on Windows

Auto merge of #830 - RalfJung:check-place, r=RalfJung

Fix validation and reborrowing of integer pointers

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

bump rust

we do this these days

bump rustc

force pointers before reborrowing; fixes cargo miri test suite

now we can also enable the ptr_int_cast test again

adjust for rustc changes; normalize mplace before doing freeze-sensitive visit

ptr_offset works fine with intptrcast now

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

bump rustc

bump rustc

Auto merge of #831 - lzutao:rustup, r=RalfJung

Remove SliceConcatExt import

rustup https://github.com/rust-lang/rust/pull/62403
cc https://github.com/rust-lang/rust/issues/62347

Remove SliceConcatExt import

Auto merge of #827 - lzutao:patch-1, r=RalfJung

Remove stable cargo feature `default-run`

At least on beta.

Auto merge of #826 - RalfJung:uninit, r=RalfJung

uninit intrinsic is gone

Finally. :D

However, to land this we'll need to fix the intptrcast issues that block https://github.com/rust-lang/miri/pull/803.

build: Revert update beta toolchain

Remove stable cargo feature `default-run`

At least on beta.

Auto merge of #824 - RalfJung:c_str, r=RalfJung

use Memory::read_c_str, avoid a few to_ptr

This is the Miri side of https://github.com/rust-lang/rust/pull/62257

use Memory::read_c_str, avoid a few to_ptr

Auto merge of #808 - RalfJung:extra-fn, r=RalfJung

use Dlsym support to implement getentropy (and better thread spawn error)

This is the Miri side of https://github.com/rust-lang/rust/pull/62245.

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

bump rustc

fix for changd machine trait signatures

adjust for get_fn signature change

gen_random: use check_ptr_access

move gen_random to helpers

bump the version of getrandom that we test

better error message when the program tries to spawn a thread

update to FnVal changes; implement basic Dlsym support and use it for getentropy

uninit intrinsic is gone

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

Initialize MemoryExtra with StdRng

We need this in a local branch for an synchronous rustc update.

fix test using mem::uninitialized

fix unused variable warning

bump rustc

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

Auto merge of #817 - RalfJung:small-alloc, r=RalfJung

align small malloc-allocations even less, and test that we do

Needs https://github.com/rust-lang/rust/pull/62295 to land.

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

dangling-ptr-to-int should work now; move to noseed

bump rustc

rename InterpretCx -> InterpCx

align small malloc-allocations even less, and test that we do

Auto merge of #803 - christianpoveda:intptrcast-explicit-casts, r=RalfJung

Add tests for Intptrcast when doing explicit casts

r? @RalfJung

Merge remote-tracking branch 'origin/master'

temporarily disable validation on Windows

Auto merge of #825 - RalfJung:no-null, r=RalfJung

avoid Scalar::is_null_ptr, it is going away

Comparing pointers should be done more carefully than that

temporarily disable intptrcast advanced testing on Windows

temporarily disable validation for 'cargo miri test' testing

fix deallocating/reallocating with integer pointers

fix NULL in TLS dtors

avoid Scalar::is_null_ptr, it is going away

temporarily disable ptr_offset, maybe that helps

Auto merge of #822 - RalfJung:tls, r=RalfJung

move tls.rs into shims module

move tls.rs into shims module

Fix explicit cast test

Update rust-version

Add intptrcast test for explicit casts

Auto merge of #820 - RalfJung:intptrcast, r=RalfJung

Make most tests work with Intptrcast

The one that still fails (amusingly, that's ptr_int_casts) requires some help from the librustc_mir side.

avoid catching errors

make a test noseed for now that does not work with intptrcast yet

don't call Stacked Borrows hooks at all when validation is disabled

support integers that can be cast to pointers in in-bounds offset operation

we don't need zero-sized freeze-sensitive visiting

avoid integer overflow in ptr-to-int cast

allow dangling ptr-to-int casts; use force_bits for ptr comparison

only treat integer operations as such

dont add the -Zmiri-seed flag twice

run all run-pass tests with intrptrcast. makes many of them fail!

Auto merge of #819 - RalfJung:test-name, r=RalfJung

fix outdated test name: overalign -> align

fix outdated test name: overalign -> align

Auto merge of #818 - RalfJung:readme, r=RalfJung

add another bug we found to the list

add another bug we found to the list

Auto merge of #815 - RalfJung:memory-audit, r=RalfJung

don't call Memory::get without checking the pointer first

Also avoid Memory::get if we just need to know align/size.

I audited all uses of `alloc_id`; the rest should be fine (and we can kill a bunch of them once https://github.com/rust-lang/rust/pull/62257 lands).

Auto merge of #814 - RalfJung:shims, r=RalfJung

move find_fn (which is not specific to foreign items) out of foreign_item