Ralf Jung 1241938f97 test suite now also passes on MIR-libstd ...

Also enable some tests that were disabled for no apparant reason.
(The comment in zst.rs was wrong, the test was disabled also for miri execution.)
Delete env_args test as the args can actually be queried with MIR-libstd (currently, they are always empty)

2017-05-30 10:41:38 -07:00

..

alignment.rs

add a test

2016-07-06 11:19:24 +02:00

assume.rs

error on failed assumptions

2016-09-13 13:08:57 +02:00

cast_box_int_to_fn_ptr.rs

add test for int -> fn ptr cast

2016-11-15 14:11:00 +01:00

cast_fn_ptr2.rs

improve fn pointer signature check to allow some casts that should be permitted

2017-05-30 10:41:38 -07:00

cast_fn_ptr_unsafe2.rs

implement fn -> unsafe fn pointer casts

2016-06-17 16:49:06 +02:00

cast_fn_ptr_unsafe.rs

implement fn -> unsafe fn pointer casts

2016-06-17 16:49:06 +02:00

cast_fn_ptr.rs

Rustup to rustc 1.17.0-nightly (be760566c 2017-02-28)

2017-03-02 13:11:33 +01:00

cast_int_to_fn_ptr.rs

make sure ByVal pointers act just like ByRef to a pointer

2016-11-15 14:12:49 +01:00

dangling_pointer_deref.rs

don't use #[miri_run] anymore, but execute the main function

2016-06-13 15:33:05 +02:00

deref_fn_ptr.rs

don't use #[miri_run] anymore, but execute the main function

2016-06-13 15:33:05 +02:00

execute_memory.rs

change the block and stmt position after a function call returns

2016-09-07 12:48:29 +02:00

invalid_bool.rs

don't use #[miri_run] anymore, but execute the main function

2016-06-13 15:33:05 +02:00

invalid_enum_discriminant.rs

there can never be too many tests

2016-06-23 09:36:37 +02:00

match_char.rs

add test for invalid char

2016-06-23 09:36:37 +02:00

memleak_rc.rs

add test with an Rc cycle to create a memleak

2017-02-24 10:41:15 +01:00

memleak.rs

add a test for the memory leak error

2017-02-24 10:41:15 +01:00

modifying_constants.rs

freeze -> static

2017-02-07 20:28:54 +01:00

never_say_never.rs

add a test for dereferencing a pointer to a !

2017-01-12 09:41:36 +01:00

never_transmute_humans.rs

fix ICE when transmuting inhabited types to uninhabited

2017-01-12 09:59:00 +01:00

never_transmute_void.rs

also test transmutes to empty enums

2017-01-12 11:23:44 +01:00

null_pointer_deref.rs

refactor away IntegerPtr

2016-09-22 15:47:16 +02:00

oom2.rs

test suite now also passes on MIR-libstd

2017-05-30 10:41:38 -07:00

oom.rs

test suite now also passes on MIR-libstd

2017-05-30 10:41:38 -07:00

out_of_bounds_read2.rs

don't allow runtime-aligning of memory

2016-07-22 16:35:39 +02:00

out_of_bounds_read.rs

don't allow runtime-aligning of memory

2016-07-22 16:35:39 +02:00

overflowing-rsh-6.rs

Don't unconditionally mask bitshift rhs

2017-03-14 14:24:16 +01:00

overwriting_part_of_relocation_makes_the_rest_undefined.rs

don't use #[miri_run] anymore, but execute the main function

2016-06-13 15:33:05 +02:00

panic.rs

update tests

2017-02-09 10:59:42 +01:00

pointers_to_different_allocations_are_unorderable.rs

don't use #[miri_run] anymore, but execute the main function

2016-06-13 15:33:05 +02:00

reference_to_packed_unsafe.rs

fix some unaligned reads

2017-01-31 10:36:46 +01:00

reference_to_packed.rs

fix some unaligned reads

2017-01-31 10:36:46 +01:00

repeat2.rs

add a step counter that can be changed during interpretation

2016-11-18 10:38:07 +01:00

repeat.rs

Make layout SizeOverflow test trigger on i686.

2016-12-16 23:57:46 -08:00

stack_limit.rs

test suite now also passes on MIR-libstd

2017-05-30 10:41:38 -07:00

static_memory_modification2.rs

Freeze static memory of string constants.

2016-09-19 04:10:18 -06:00

static_memory_modification3.rs

Freeze static memory of string constants.

2016-09-19 04:10:18 -06:00

static_memory_modification.rs

Undo accidental test deletion in previous commit.

2016-09-13 20:17:52 -06:00

tag-align-dyn-u64.rs

don't panic on pointer to value comparison in primvals

2016-11-04 15:49:14 +01:00

timeout.rs

rustc now can use integer literals in attributes

2016-09-07 10:27:57 +02:00

undefined_byte_read.rs

don't use #[miri_run] anymore, but execute the main function

2016-06-13 15:33:05 +02:00

wild_pointer_deref.rs

refactor away IntegerPtr

2016-09-22 15:47:16 +02:00

zst.rs

refactor away IntegerPtr

2016-09-22 15:47:16 +02:00