update README about what we do not support

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

Auto merge of #816 - RalfJung:gitattr, r=RalfJung

be explicit about our line endings

Let's see if this is the right setting for Windows...

Merge branch 'master' into rustup

be explicit about our line endings

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

don't call Memory::get without checking the pointer first; avoid Memory::get if we just need to know align/size

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

use intptrcast for heap_allocator test; then it should work on Windows

test even more size-alignment combinations. found a bug in libstd!

fix minimal alignment for system allocation functions

add some tracing to intptrcast

move appveyor env var settings to more appropriate section

fix setting rustc flags

Auto merge of #806 - varkor:patch-1, r=RalfJung

Fix `unused_must_use` inside `Box`

After https://github.com/rust-lang/rust/pull/62228, this will be linted against (and causes the test to fail). (This blocks https://github.com/rust-lang/rust/pull/62228.)

Miri is not deterministic any more

use intptrcast for heap_allocator test; then it should work on Windows

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

better name for a test: threads -> sync

improve comment

better name for a test: threads -> sync

Fix `unused_must_use` inside `Box`

After https://github.com/rust-lang/rust/pull/62228, this will be linted against (and causes the test to fail).

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

move shims (foreign items and intrinsics) into submodule

This is in preparation for dlsym support, where there will b a third "kind" of shim.

And maybe some day we find a good way to split those long files...

move shims (foreign items and intrinsics) into submodule

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

fix comparing function pointers with intptrcast

Cc @christianpoveda

fix comparing function pointers with intptrcast