Ralf Jung 2fccae8aac add another compile-fail test for validation

2017-08-18 11:30:18 +02:00

..

alignment.rs

…

assume.rs

…

bitop-beyond-alignment.rs

add some compile-fail tests

2017-06-22 14:46:53 -07:00

cast_box_int_to_fn_ptr.rs

selectively disable validation in compile-fail where appropriate. cargo test now passes :)

2017-08-03 18:13:23 -07: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

update tests for new error message

2017-06-27 21:31:38 -04:00

cast_fn_ptr_unsafe.rs

update tests for new error message

2017-06-27 21:31:38 -04:00

cast_fn_ptr.rs

…

cast_int_to_fn_ptr.rs

selectively disable validation in compile-fail where appropriate. cargo test now passes :)

2017-08-03 18:13:23 -07:00

copy_nonoverlapping.rs

check the assumptions made by the unchecked_ and copy_nonoverlapping intrinsics

2017-07-03 20:37:38 -07:00

ctlz_nonzero.rs

add some compile-fail tests

2017-06-22 14:46:53 -07:00

cttz_nonzero.rs

add some compile-fail tests

2017-06-22 14:46:53 -07:00

dangling_pointer_deref.rs

…

deallocate-bad-alignment.rs

update tests for new allocator API

2017-07-10 16:15:58 -07:00

deallocate-bad-size.rs

update tests for new allocator API

2017-07-10 16:15:58 -07:00

deallocate-twice.rs

remove reundant dangling checks in {r,d}eallocate

2017-07-18 13:50:54 -07:00

deref_fn_ptr.rs

…

div-by-zero-2.rs

add test for div-by-zero with the operator (rather than the intrinsic)

2017-07-03 20:59:47 -07:00

div-by-zero.rs

check the assumptions made by the unchecked_ and copy_nonoverlapping intrinsics

2017-07-03 20:37:38 -07:00

execute_memory.rs

selectively disable validation in compile-fail where appropriate. cargo test now passes :)

2017-08-03 18:13:23 -07:00

fn_ptr_offset.rs

Split the alloc id address space into functions and normal allocs

2017-08-08 17:09:25 +02:00

invalid_bool.rs

…

invalid_enum_discriminant.rs

selectively disable validation in compile-fail where appropriate. cargo test now passes :)

2017-08-03 18:13:23 -07:00

match_char.rs

…

memleak_rc.rs

selectively disable validation in compile-fail where appropriate. cargo test now passes :)

2017-08-03 18:13:23 -07:00

memleak.rs

…

modifying_constants.rs

…

never_say_never.rs

remove ad-hoc 'never' type check in read_lvalue

2017-07-19 20:32:51 -07:00

never_transmute_humans.rs

…

never_transmute_void.rs

…

null_pointer_deref.rs

Get rid of the integer allocation

2017-06-20 14:28:18 +02:00

oom2.rs

Work on making validation test pass again

2017-08-09 15:49:47 -07:00

oom.rs

test suite now also passes on MIR-libstd

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

out_of_bounds_ptr_1.rs

check bounds when using offset intrinsic or MIR op

2017-06-05 14:27:26 -07:00

out_of_bounds_ptr_2.rs

Error out when "primitive MIR math" (as opposed to unchecked intrinsics) overflows

2017-06-07 15:39:44 -07:00

out_of_bounds_read2.rs

check bounds when using offset intrinsic or MIR op

2017-06-05 14:27:26 -07:00

out_of_bounds_read.rs

check bounds when using offset intrinsic or MIR op

2017-06-05 14:27:26 -07:00

overflowing-lsh-neg.rs

fix bitops being accidentally allowed on pointers from the same allocation

2017-06-05 17:17:16 -07:00

overflowing-rsh-2.rs

catch overflows that are hidden by first casting the RHS to u32

2017-07-03 20:50:19 -07:00

overflowing-rsh.rs

catch overflows that are hidden by first casting the RHS to u32

2017-07-03 20:50:19 -07:00

overflowing-unchecked-rsh.rs

check the assumptions made by the unchecked_ and copy_nonoverlapping intrinsics

2017-07-03 20:37:38 -07:00

overwriting_part_of_relocation_makes_the_rest_undefined.rs

…

panic.rs

Let -Zmir-emit-validate also control whether miri even acts on the validation commands

2017-08-03 18:13:23 -07:00

pointer_byte_read_1.rs

Simplify all the code

2017-06-27 13:36:41 +02:00

pointer_byte_read_2.rs

test that we cannot observe the bytes representing a pointer

2017-06-05 14:23:35 -07:00

pointers_to_different_allocations_are_unorderable.rs

permit offsetting a NULL-ptr by 0, to fix hashmap test

2017-06-22 13:41:13 -07:00

ptr_bitops.rs

fix bitops being accidentally allowed on pointers from the same allocation

2017-06-05 17:17:16 -07:00

ptr_int_cast.rs

handle ptr-int casts explicitly in cast.rs

2017-06-24 11:05:13 -07:00

ptr_offset_overflow.rs

Error out when "primitive MIR math" (as opposed to unchecked intrinsics) overflows

2017-06-07 15:39:44 -07:00

reading_half_a_pointer.rs

Memory::read_ptr has to check for relocations on the edges

2017-07-12 19:30:37 -07:00

reallocate-bad-alignment-2.rs

Add a test for using a too big alignment on reallocate

2017-07-11 10:28:32 -07:00

reallocate-bad-alignment.rs

Add a test for using a too big alignment on reallocate

2017-07-11 10:28:32 -07:00

reallocate-bad-size.rs

update tests for new allocator API

2017-07-10 16:15:58 -07:00

reallocate-change-alloc.rs

update tests for new allocator API

2017-07-10 16:15:58 -07:00

reallocate-dangling.rs

remove reundant dangling checks in {r,d}eallocate

2017-07-18 13:50:54 -07:00

reference_to_packed.rs

No longer check aligment and non-NULLness on &

2017-07-19 11:28:35 -07:00

repeat2.rs

…

repeat.rs

…

stack_free.rs

Allow machines to create new memory kinds

2017-08-01 09:56:21 +02:00

stack_limit.rs

run test suite also against libstd with full MIR

2017-05-31 13:39:40 -07:00

static_memory_modification2.rs

selectively disable validation in compile-fail where appropriate. cargo test now passes :)

2017-08-03 18:13:23 -07:00

static_memory_modification3.rs

…

static_memory_modification.rs

…

timeout.rs

…

transmute_fat2.rs

Add tests for #113

2017-07-12 09:29:18 +02:00

transmute_fat.rs

Add tests for #113

2017-07-12 09:29:18 +02:00

transmute-pair-undef.rs

fix test on i686

2017-07-03 16:16:05 -07:00

unaligned_ptr_cast2.rs

add test for misaligned pointer loads

2017-07-19 20:26:30 -07:00

unaligned_ptr_cast_zst.rs

always test alignment in memory.rs

2017-07-20 13:24:06 -07:00

unaligned_ptr_cast.rs

No longer check aligment and non-NULLness on &

2017-07-19 11:28:35 -07:00

validation_aliasing_mut1.rs

add some tests making sure we get the alias checking right

2017-08-09 15:49:47 -07:00

validation_aliasing_mut2.rs

add some tests making sure we get the alias checking right

2017-08-09 15:49:47 -07:00

validation_aliasing_mut3.rs

add some tests making sure we get the alias checking right

2017-08-09 15:49:47 -07:00

validation_aliasing_mut4.rs

add a bunch of compile-fail tests for validation

2017-08-09 18:01:10 -07:00

validation_buggy_as_mut_slice.rs

add another compile-fail test for validation

2017-08-18 11:30:18 +02:00

validation_buggy_split_at_mut.rs

add a bunch of compile-fail tests for validation

2017-08-09 18:01:10 -07:00

validation_illegal_write.rs

add a bunch of compile-fail tests for validation

2017-08-09 18:01:10 -07:00

validation_pointer_smuggling.rs

add a bunch of compile-fail tests for validation

2017-08-09 18:01:10 -07:00

validation_recover1.rs

add a bunch of compile-fail tests for validation

2017-08-09 18:01:10 -07:00

validation_recover2.rs

add a bunch of compile-fail tests for validation

2017-08-09 18:01:10 -07:00

validation_recover3.rs

add a bunch of compile-fail tests for validation

2017-08-09 18:01:10 -07:00

wild_pointer_deref.rs

Get rid of the integer allocation

2017-06-20 14:28:18 +02:00

zst2.rs

Let -Zmir-emit-validate also control whether miri even acts on the validation commands

2017-08-03 18:13:23 -07:00

zst3.rs

Let -Zmir-emit-validate also control whether miri even acts on the validation commands

2017-08-03 18:13:23 -07:00

zst.rs

Remove the zst allocation

2017-06-23 12:55:49 +02:00