| .. |
|
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 |
|
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
|
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
|
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
|
don't use #[miri_run] anymore, but execute the main function
|
2016-06-13 15:33:05 +02:00 |
|
deallocate-bad-alignment.rs
|
fix warnings in tests; update validation whitelist
|
2017-09-09 11:18:02 +02:00 |
|
deallocate-bad-size.rs
|
fix warnings in tests; update validation whitelist
|
2017-09-09 11:18:02 +02:00 |
|
deallocate-twice.rs
|
fix warnings in tests; update validation whitelist
|
2017-09-09 11:18:02 +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 |
|
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
|
validation: check that int, float etc. are not undef
|
2017-09-16 11:45:56 +02:00 |
|
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
|
validation: check that int, float etc. are not undef
|
2017-09-16 11:45:56 +02:00 |
|
memleak_rc.rs
|
rustc #43457 got fixed, we can enable more tests
|
2017-08-27 18:18:32 +02: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
|
remove ad-hoc 'never' type check in read_lvalue
|
2017-07-19 20:32:51 -07: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
|
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
|
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
|
don't use #[miri_run] anymore, but execute the main function
|
2016-06-13 15:33:05 +02:00 |
|
panic.rs
|
Something in panic handling fails validation with full-MIR
|
2017-09-13 18:15:59 +02: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
|
fix warnings in tests; update validation whitelist
|
2017-09-09 11:18:02 +02:00 |
|
reallocate-bad-alignment.rs
|
fix warnings in tests; update validation whitelist
|
2017-09-09 11:18:02 +02:00 |
|
reallocate-bad-size.rs
|
fix warnings in tests; update validation whitelist
|
2017-09-09 11:18:02 +02:00 |
|
reallocate-change-alloc.rs
|
update tests for new allocator API
|
2017-07-10 16:15:58 -07:00 |
|
reallocate-dangling.rs
|
fix warnings in tests; update validation whitelist
|
2017-09-09 11:18:02 +02:00 |
|
reference_to_packed.rs
|
validation: check that int, float etc. are not undef
|
2017-09-16 11:45:56 +02: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_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
|
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 |
|
timeout.rs
|
rustc now can use integer literals in attributes
|
2016-09-07 10:27:57 +02:00 |
|
transmute_fat2.rs
|
Add tests for #113
|
2017-07-12 09:29:18 +02:00 |
|
transmute_fat.rs
|
validation: check that int, float etc. are not undef
|
2017-09-16 11:45:56 +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_lock_confusion.rs
|
identify write locks by lvalues, not regions
|
2017-09-13 14:37:31 +02: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 |
|
zst.rs
|
Remove the zst allocation
|
2017-06-23 12:55:49 +02:00 |
