Ralf Jung 3c1ab78196 review failing compile-fail tests

2019-07-23 23:25:06 +02:00

..

stacked_borrows

test that we cannot access unescaped static memory with a raw ptr

2019-06-02 22:16:02 +02:00

validity

review failing compile-fail tests

2019-07-23 23:25:06 +02:00

alignment.rs

don't use NOTE in tests

2018-10-19 12:29:49 +02:00

assume.rs

don't use NOTE in tests

2018-10-19 12:29:49 +02:00

atomic_non_integer_arithmetic.rs

Reject atomic arithmetic on non-integer types

2018-10-31 11:04:35 +01: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

where there is 2, there should be 1

2018-11-16 08:53:43 +01:00

cast_fn_ptr2.rs

new tests for new fn arg passing code

2018-08-30 10:42:18 +02:00

cast_fn_ptr3.rs

new tests for new fn arg passing code

2018-08-30 10:42:18 +02:00

cast_fn_ptr4.rs

new tests for new fn arg passing code

2018-08-30 10:42:18 +02:00

cast_fn_ptr5.rs

rustup; test for return type mismatch

2018-10-02 21:16:55 +02:00

cast_int_to_fn_ptr.rs

review failing compile-fail tests

2019-07-23 23:25:06 +02:00

ctlz_nonzero.rs

fix compile-fail ref files

2019-04-21 13:18:05 +02:00

cttz_nonzero.rs

fix compile-fail ref files

2019-04-21 13:18:05 +02:00

dangling_pointer_deref.rs

don't use NOTE in tests

2018-10-19 12:29:49 +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

stub Retag hook; fix tests for removal of -Zmir-emit-validate

2018-11-01 08:58:03 +01:00

fn_ptr_offset.rs

stub Retag hook; fix tests for removal of -Zmir-emit-validate

2018-11-01 08:58:03 +01:00

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

make sure we catch alignment problems even with intrptrcast

2019-06-29 14:31:54 +02:00

intptrcast_cast_int_to_fn_ptr.rs

Duplicate compile-fail tests for intptrcast

2019-06-21 16:32:54 -05:00

intptrcast_null_pointer_deref.rs

Duplicate compile-fail tests for intptrcast

2019-06-21 16:32:54 -05:00

intptrcast_wild_pointer_deref.rs

Duplicate compile-fail tests for intptrcast

2019-06-21 16:32:54 -05:00

invalid_bool.rs

stub Retag hook; fix tests for removal of -Zmir-emit-validate

2018-11-01 08:58:03 +01:00

invalid_char.rs

stub Retag hook; fix tests for removal of -Zmir-emit-validate

2018-11-01 08:58:03 +01:00

invalid_enum_discriminant.rs

do not use 'let _', it is strange

2018-11-26 15:31:53 +01:00

maybe_null_pointer_deref_zst.rs

test more operations on dangling ZST pointers

2018-09-17 10:02:31 +02:00

maybe_null_pointer_write_zst.rs

test more operations on dangling ZST pointers

2018-09-17 10:02:31 +02:00

memleak_rc.rs

the test suite assumes a libstd with full MIR; run test suite on xargo-built foreign libstds

2018-12-10 10:04:55 +01:00

memleak.rs

…

modifying_constants.rs

fix existing tests

2019-06-02 22:16:02 +02:00

never_say_never.rs

stub Retag hook; fix tests for removal of -Zmir-emit-validate

2018-11-01 08:58:03 +01:00

never_transmute_humans.rs

fix compile-fail ref files

2019-04-21 13:18:05 +02:00

never_transmute_void.rs

fix test for latest nightly

2018-12-22 16:07:50 +01:00

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

the test suite assumes a libstd with full MIR; run test suite on xargo-built foreign libstds

2018-12-10 10:04:55 +01:00

out_of_bounds_read1.rs

where there is 2, there should be 1

2018-11-16 08:53:43 +01:00

out_of_bounds_read2.rs

don't use NOTE in tests

2018-10-19 12:29:49 +02:00

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

Removed copyright notices.

2019-02-26 18:37:45 +00:00

overwriting_part_of_relocation_makes_the_rest_undefined.rs

don't use NOTE in tests

2018-10-19 12:29:49 +02:00

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

pointers_to_different_allocations_are_unorderable.rs

don't use NOTE in tests

2018-10-19 12:29:49 +02:00

ptr_ge_integer.rs

allow some inequality comparisons between pointers and integers

2019-06-20 16:38:55 +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

the test suite assumes a libstd with full MIR; run test suite on xargo-built foreign libstds

2018-12-10 10:04:55 +01:00

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

stub Retag hook; fix tests for removal of -Zmir-emit-validate

2018-11-01 08:58:03 +01:00

stack_free.rs

the test suite assumes a libstd with full MIR; run test suite on xargo-built foreign libstds

2018-12-10 10:04:55 +01:00

static_memory_modification1.rs

where there is 2, there should be 1

2018-11-16 08:53:43 +01:00

static_memory_modification2.rs

stub Retag hook; fix tests for removal of -Zmir-emit-validate

2018-11-01 08:58:03 +01:00

static_memory_modification3.rs

stub Retag hook; fix tests for removal of -Zmir-emit-validate

2018-11-01 08:58:03 +01:00

storage_dead_dangling.rs

stub Retag hook; fix tests for removal of -Zmir-emit-validate

2018-11-01 08:58:03 +01:00

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

do not use 'let _', it is strange

2018-11-26 15:31:53 +01:00

transmute_fat2.rs

don't use NOTE in tests

2018-10-19 12:29:49 +02:00

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

stub Retag hook; fix tests for removal of -Zmir-emit-validate

2018-11-01 08:58:03 +01:00

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