Oliver Schneider dd5b0100f3

Merge remote-tracking branch 'origin/master' into memory

2017-08-28 16:13:09 +02:00

..

alignment.rs

…

assume.rs

…

bitop-beyond-alignment.rs

…

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

…

cast_fn_ptr_unsafe2.rs

…

cast_fn_ptr_unsafe.rs

…

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

…

ctlz_nonzero.rs

…

cttz_nonzero.rs

…

dangling_pointer_deref.rs

…

deallocate-bad-alignment.rs

…

deallocate-bad-size.rs

…

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

…

div-by-zero.rs

…

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

rustc #43457 got fixed, we can enable more tests

2017-08-27 18:18:32 +02: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

memory: make sure we check non-NULL/undef even fore 0-sized accesses

2017-08-25 14:41:59 +02:00

oom2.rs

Work on making validation test pass again

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

oom.rs

…

out_of_bounds_ptr_1.rs

…

out_of_bounds_ptr_2.rs

…

out_of_bounds_read2.rs

…

out_of_bounds_read.rs

…

overflowing-lsh-neg.rs

…

overflowing-rsh-2.rs

…

overflowing-rsh.rs

…

overflowing-unchecked-rsh.rs

…

overwriting_part_of_relocation_makes_the_rest_undefined.rs

…

panic.rs

Turn off validation for some compile-fail tests

2017-08-28 15:04:32 +02:00

pointer_byte_read_1.rs

…

pointer_byte_read_2.rs

…

pointers_to_different_allocations_are_unorderable.rs

…

ptr_bitops.rs

…

ptr_int_cast.rs

…

ptr_offset_overflow.rs

…

reading_half_a_pointer.rs

…

reallocate-bad-alignment-2.rs

…

reallocate-bad-alignment.rs

…

reallocate-bad-size.rs

…

reallocate-change-alloc.rs

…

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

…

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

…

transmute_fat.rs

…

transmute-pair-undef.rs

…

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

memory: make sure we check non-NULL/undef even fore 0-sized accesses

2017-08-25 14:41:59 +02:00

zst2.rs

Turn off validation for some compile-fail tests

2017-08-28 15:04:32 +02:00

zst3.rs

Turn off validation for some compile-fail tests

2017-08-28 15:04:32 +02:00

zst.rs

…