Aaron Hill 08d3fbc76b

Support unwinding after a panic ...

Fixes #658

This commit adds support for unwinding after a panic. It requires a
companion rustc PR to be merged, in order for the necessary hooks to
work properly.

Currently implemented:
* Selecting between unwind/abort mode based on the rustc Session
* Properly popping off stack frames, unwinding back the caller
* Running 'unwind' blocks in Mir terminators

Not yet implemented:
* 'Abort' terminators

This PR was getting fairly large, so I decided to open it for review without
implementing 'Abort' terminator support. This could either be added on
to this PR, or merged separately.

2019-11-17 08:34:25 -05:00

..

stacked_borrows

do full deref-check before reborrowing

2019-11-14 10:24:02 +01:00

validity

silence a lint that catches the bug statically

2019-11-07 09:44:00 +01:00

alignment.rs

…

assume.rs

fix for latest rustc

2019-08-05 10:45:48 +02:00

atomic_unaligned.rs

check that atomics are sufficiently aligned, and add test

2019-08-04 10:30:42 +02: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

…

cast_fn_ptr2.rs

…

cast_fn_ptr3.rs

…

cast_fn_ptr4.rs

…

cast_fn_ptr5.rs

…

cast_int_to_fn_ptr.rs

review failing compile-fail tests

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

copy_null.rs

the compile-fail-norustc hack is no longer needed

2019-07-31 15:29:55 +02:00

copy_overlapping.rs

more consistent test name

2019-08-03 17:27:50 +02:00

copy_unaligned.rs

the compile-fail-norustc hack is no longer needed

2019-07-31 15:29:55 +02:00

ctlz_nonzero.rs

adjust error messages in tests

2019-08-03 20:54:57 +02:00

cttz_nonzero.rs

adjust error messages in tests

2019-08-03 20:54:57 +02:00

dangling_pointer_deref.rs

…

dangling_zst_deref.rs

test dangling ZST deref

2019-08-02 14:26:15 +02:00

deallocate-bad-alignment.rs

…

deallocate-bad-size.rs

…

deallocate-twice.rs

…

deref_fn_ptr.rs

fix compile-fail ref files

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

deref-invalid-ptr.rs

adjust tests for eager pointer checks on deref

2019-08-15 11:01:03 +02:00

deref-partially-dangling.rs

adjust tests for eager pointer checks on deref

2019-08-15 11:01:03 +02:00

div-by-zero-1.rs

…

div-by-zero-2.rs

…

div-by-zero-3.rs

test unchecked_rem

2019-06-16 11:10:33 +02:00

double_panic.rs

Support unwinding after a panic

2019-11-17 08:34:25 -05:00

exact_div1.rs

test exact_div UB detection

2019-06-16 11:10:33 +02:00

exact_div2.rs

adjust tests

2019-11-03 10:15:55 +01:00

exact_div3.rs

adjust tests

2019-11-03 10:15:55 +01:00

exact_div4.rs

test exact_div UB detection

2019-06-16 11:10:33 +02:00

execute_memory.rs

…

fn_ptr_offset.rs

…

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

adjust tests for eager pointer checks on deref

2019-08-15 11:01:03 +02:00

invalid_bool.rs

…

invalid_char.rs

…

invalid_enum_discriminant.rs

…

maybe_null_pointer_deref_zst.rs

…

maybe_null_pointer_write_zst.rs

…

memleak_rc.rs

…

memleak.rs

…

modifying_constants.rs

fix existing tests

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

never_say_never.rs

…

never_transmute_humans.rs

fix compile-fail ref files

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

never_transmute_void.rs

fix test failure due to my own lint

2019-08-18 11:16:02 +02: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

…

out_of_bounds_read1.rs

…

out_of_bounds_read2.rs

…

overflowing-lsh-neg.rs

…

overflowing-rsh-1.rs

fix test failure from diagnostics change

2019-09-29 11:30:28 -04:00

overflowing-rsh-2.rs

…

overflowing-unchecked-rsh.rs

adjust error messages in tests

2019-08-03 20:54:57 +02:00

overwriting_part_of_relocation_makes_the_rest_undefined.rs

…

panic1.rs

Support unwinding after a panic

2019-11-17 08:34:25 -05:00

panic2.rs

Support unwinding after a panic

2019-11-17 08:34:25 -05:00

panic3.rs

Support unwinding after a panic

2019-11-17 08:34:25 -05:00

panic4.rs

Support unwinding after a panic

2019-11-17 08:34:25 -05:00

pointer_byte_read.rs

review failing compile-fail tests

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

ptr_offset_0_plus_0.rs

fix test erorr msg

2019-11-06 09:24:26 +01: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

…

ptr_offset_ptr_plus_0.rs

…

rc_as_raw.rs

adjust for refactored memory pointer checks

2019-06-23 20:19:26 +02:00

reading_half_a_pointer.rs

…

reallocate-bad-size.rs

…

reallocate-change-alloc.rs

…

reallocate-dangling.rs

…

reference_to_packed.rs

…

slice-too-big.rs

test too big slice

2019-08-31 08:41:55 +02:00

stack_free.rs

Rustup to 1.39.0-nightly (1e869133b 2019-09-09)

2019-09-09 13:00:20 +02:00

static_memory_modification1.rs

…

static_memory_modification2.rs

…

static_memory_modification3.rs

…

storage_dead_dangling.rs

remove dead code

2019-08-15 11:01:03 +02: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

…

transmute_fat2.rs

…

transmute-pair-undef.rs

…

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

…

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