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
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
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
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
fn_ptr_offset.rs
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
invalid_char.rs
invalid_enum_discriminant.rs
maybe_null_pointer_deref_zst.rs
maybe_null_pointer_write_zst.rs
memleak_rc.rs
memleak.rs
modifying_constants.rs	fix existing tests	2019-06-02 22:16:02 +02:00
never_say_never.rs
never_transmute_humans.rs	fix compile-fail ref files	2019-04-21 13:18:05 +02:00
never_transmute_void.rs
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
out_of_bounds_read1.rs
out_of_bounds_read2.rs
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
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
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
stack_free.rs
static_memory_modification1.rs
static_memory_modification2.rs
static_memory_modification3.rs
storage_dead_dangling.rs
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
transmute_fat2.rs
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
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