bors b09ae31da0 Auto merge of #871 - RalfJung:miri-rustc-cleanup, r=RalfJung ...

Cleanup after rustc bootstrap tests Miri with a separate libstd

Should only be merged after https://github.com/rust-lang/rust/pull/63162 got the green light.

2019-08-08 20:43:47 +00:00

..

stacked_borrows

make reborrow shallow, and fix tests for that

2019-08-02 08:09:22 +02:00

validity

review failing compile-fail tests

2019-07-23 23:25:06 +02:00

alignment.rs

don't use NOTE in tests

2018-10-19 12:29:49 +02:00

assume.rs

fix for latest rustc

2019-08-05 10:45:48 +02:00

atomic_unaligned.rs

check that atomics are sufficiently aligned, and add test

2019-08-04 10:30:42 +02:00

cast_box_int_to_fn_ptr.rs

review failing compile-fail tests

2019-07-23 23:25:06 +02:00

cast_fn_ptr1.rs

where there is 2, there should be 1

2018-11-16 08:53:43 +01:00

cast_fn_ptr2.rs

…

cast_fn_ptr3.rs

…

cast_fn_ptr4.rs

…

cast_fn_ptr5.rs

…

cast_int_to_fn_ptr.rs

review failing compile-fail tests

2019-07-23 23:25:06 +02:00

copy_null.rs

the compile-fail-norustc hack is no longer needed

2019-07-31 15:29:55 +02:00

copy_overlapping.rs

more consistent test name

2019-08-03 17:27:50 +02:00

copy_unaligned.rs

the compile-fail-norustc hack is no longer needed

2019-07-31 15:29:55 +02:00

ctlz_nonzero.rs

adjust error messages in tests

2019-08-03 20:54:57 +02:00

cttz_nonzero.rs

adjust error messages in tests

2019-08-03 20:54:57 +02:00

dangling_pointer_deref.rs

don't use NOTE in tests

2018-10-19 12:29:49 +02:00

dangling_zst_deref.rs

test dangling ZST deref

2019-08-02 14:26:15 +02:00

deallocate-bad-alignment.rs

rustup

2019-04-14 10:30:00 +02:00

deallocate-bad-size.rs

rustup

2019-04-14 10:30:00 +02:00

deallocate-twice.rs

rustup

2019-04-14 10:30:00 +02:00

deref_fn_ptr.rs

fix compile-fail ref files

2019-04-21 13:18:05 +02:00

div-by-zero-1.rs

Removed copyright notices.

2019-02-26 18:37:45 +00:00

div-by-zero-2.rs

Removed copyright notices.

2019-02-26 18:37:45 +00:00

div-by-zero-3.rs

test unchecked_rem

2019-06-16 11:10:33 +02:00

exact_div1.rs

test exact_div UB detection

2019-06-16 11:10:33 +02:00

exact_div2.rs

test exact_div UB detection

2019-06-16 11:10:33 +02:00

exact_div3.rs

test exact_div UB detection

2019-06-16 11:10:33 +02:00

exact_div4.rs

test exact_div UB detection

2019-06-16 11:10:33 +02:00

execute_memory.rs

stub Retag hook; fix tests for removal of -Zmir-emit-validate

2018-11-01 08:58:03 +01:00

fn_ptr_offset.rs

stub Retag hook; fix tests for removal of -Zmir-emit-validate

2018-11-01 08:58:03 +01:00

generator-pinned-moved.rs

add a failing test where an immovable generator gets moved

2019-06-21 21:48:27 +02:00

intptrcast_alignment_check.rs

remove redundant tests / flags

2019-07-23 23:26:25 +02:00

invalid_bool.rs

stub Retag hook; fix tests for removal of -Zmir-emit-validate

2018-11-01 08:58:03 +01:00

invalid_char.rs

stub Retag hook; fix tests for removal of -Zmir-emit-validate

2018-11-01 08:58:03 +01:00

invalid_enum_discriminant.rs

do not use 'let _', it is strange

2018-11-26 15:31:53 +01:00

maybe_null_pointer_deref_zst.rs

…

maybe_null_pointer_write_zst.rs

…

memleak_rc.rs

the test suite assumes a libstd with full MIR; run test suite on xargo-built foreign libstds

2018-12-10 10:04:55 +01:00

memleak.rs

…

modifying_constants.rs

fix existing tests

2019-06-02 22:16:02 +02:00

never_say_never.rs

stub Retag hook; fix tests for removal of -Zmir-emit-validate

2018-11-01 08:58:03 +01:00

never_transmute_humans.rs

fix compile-fail ref files

2019-04-21 13:18:05 +02:00

never_transmute_void.rs

fix test for latest nightly

2018-12-22 16:07:50 +01:00

null_pointer_deref_zst.rs

fix compile-fail ref files

2019-04-21 13:18:05 +02:00

null_pointer_deref.rs

fix compile-fail ref files

2019-04-21 13:18:05 +02:00

null_pointer_write_zst.rs

fix compile-fail ref files

2019-04-21 13:18:05 +02:00

null_pointer_write.rs

fix compile-fail ref files

2019-04-21 13:18:05 +02:00

out_of_bounds_ptr_1.rs

fix error pattern

2019-05-27 19:37:31 +02:00

out_of_bounds_ptr_2.rs

the test suite assumes a libstd with full MIR; run test suite on xargo-built foreign libstds

2018-12-10 10:04:55 +01:00

out_of_bounds_read1.rs

where there is 2, there should be 1

2018-11-16 08:53:43 +01:00

out_of_bounds_read2.rs

don't use NOTE in tests

2018-10-19 12:29:49 +02:00

overflowing-lsh-neg.rs

Removed copyright notices.

2019-02-26 18:37:45 +00:00

overflowing-rsh-1.rs

Removed copyright notices.

2019-02-26 18:37:45 +00:00

overflowing-rsh-2.rs

Removed copyright notices.

2019-02-26 18:37:45 +00:00

overflowing-unchecked-rsh.rs

adjust error messages in tests

2019-08-03 20:54:57 +02:00

overwriting_part_of_relocation_makes_the_rest_undefined.rs

don't use NOTE in tests

2018-10-19 12:29:49 +02:00

panic1.rs

panic_impl is another way to panic

2019-02-06 11:41:45 +01:00

panic2.rs

panic_impl is another way to panic

2019-02-06 11:41:45 +01:00

panic3.rs

panic_impl is another way to panic

2019-02-06 11:41:45 +01:00

panic4.rs

panic_impl is another way to panic

2019-02-06 11:41:45 +01:00

pointer_byte_read.rs

review failing compile-fail tests

2019-07-23 23:25:06 +02:00

ptr_offset_int_plus_int.rs

review failing compile-fail tests

2019-07-23 23:25:06 +02:00

ptr_offset_int_plus_ptr.rs

review failing compile-fail tests

2019-07-23 23:25:06 +02:00

ptr_offset_overflow.rs

the test suite assumes a libstd with full MIR; run test suite on xargo-built foreign libstds

2018-12-10 10:04:55 +01:00

ptr_offset_ptr_plus_0.rs

Removed copyright notices.

2019-02-26 18:37:45 +00:00

rc_as_raw.rs

adjust for refactored memory pointer checks

2019-06-23 20:19:26 +02:00

reading_half_a_pointer.rs

Removed copyright notices.

2019-02-26 18:37:45 +00:00

reallocate-bad-size.rs

rustup

2019-04-14 10:30:00 +02:00

reallocate-change-alloc.rs

rustup

2019-04-14 10:30:00 +02:00

reallocate-dangling.rs

rustup

2019-04-14 10:30:00 +02:00

reference_to_packed.rs

stub Retag hook; fix tests for removal of -Zmir-emit-validate

2018-11-01 08:58:03 +01:00

stack_free.rs

the test suite assumes a libstd with full MIR; run test suite on xargo-built foreign libstds

2018-12-10 10:04:55 +01:00

static_memory_modification1.rs

where there is 2, there should be 1

2018-11-16 08:53:43 +01:00

static_memory_modification2.rs

stub Retag hook; fix tests for removal of -Zmir-emit-validate

2018-11-01 08:58:03 +01:00

static_memory_modification3.rs

stub Retag hook; fix tests for removal of -Zmir-emit-validate

2018-11-01 08:58:03 +01:00

storage_dead_dangling.rs

stub Retag hook; fix tests for removal of -Zmir-emit-validate

2018-11-01 08:58:03 +01:00

thread-spawn.rs

better error message when the program tries to spawn a thread

2019-07-06 10:07:21 +02:00

transmute_fat1.rs

do not use 'let _', it is strange

2018-11-26 15:31:53 +01:00

transmute_fat2.rs

don't use NOTE in tests

2018-10-19 12:29:49 +02:00

transmute-pair-undef.rs

Removed copyright notices.

2019-02-26 18:37:45 +00:00

unaligned_ptr1.rs

expand and better explain alignment check tests

2019-06-24 08:40:45 +02:00

unaligned_ptr2.rs

expand and better explain alignment check tests

2019-06-24 08:40:45 +02:00

unaligned_ptr3.rs

expand and better explain alignment check tests

2019-06-24 08:40:45 +02:00

unaligned_ptr_zst.rs

expand and better explain alignment check tests

2019-06-24 08:40:45 +02:00

unchecked_add1.rs

implement and test unchecked_{add,sub,mul} intrinsics

2019-06-16 11:10:33 +02:00

unchecked_add2.rs

implement and test unchecked_{add,sub,mul} intrinsics

2019-06-16 11:10:33 +02:00

unchecked_mul1.rs

implement and test unchecked_{add,sub,mul} intrinsics

2019-06-16 11:10:33 +02:00

unchecked_mul2.rs

implement and test unchecked_{add,sub,mul} intrinsics

2019-06-16 11:10:33 +02:00

unchecked_sub1.rs

implement and test unchecked_{add,sub,mul} intrinsics

2019-06-16 11:10:33 +02:00

unchecked_sub2.rs

implement and test unchecked_{add,sub,mul} intrinsics

2019-06-16 11:10:33 +02:00

undefined_byte_read.rs

stub Retag hook; fix tests for removal of -Zmir-emit-validate

2018-11-01 08:58:03 +01:00

wild_pointer_deref.rs

review failing compile-fail tests

2019-07-23 23:25:06 +02:00

zst1.rs

adjust for refactored memory pointer checks

2019-06-23 20:19:26 +02:00

zst2.rs

adjust for refactored memory pointer checks

2019-06-23 20:19:26 +02:00

zst3.rs

Apply suggestions from code review

2019-06-24 14:50:27 +02:00