Ralf Jung 0cb3bf7912

Merge branch 'master' into fixme

2018-12-03 10:52:59 +01:00

..

alias_through_mutation.rs

remove a whole lot of unnecessary attributes

2018-12-02 11:26:09 +01:00

aliasing_mut1.rs

remove a whole lot of unnecessary attributes

2018-12-02 11:26:09 +01:00

aliasing_mut2.rs

remove a whole lot of unnecessary attributes

2018-12-02 11:26:09 +01:00

aliasing_mut3.rs

remove a whole lot of unnecessary attributes

2018-12-02 11:26:09 +01:00

aliasing_mut4.rs

remove a whole lot of unnecessary attributes

2018-12-02 11:26:09 +01:00

box_exclusive_violation1.rs

no barriers for boxes

2018-11-27 14:26:23 +01:00

buggy_as_mut_slice.rs

escape-on-cast, now ptr-deref does not change the tag at all, ever

2018-11-17 10:05:40 +01:00

buggy_split_at_mut.rs

remove a whole lot of unnecessary attributes

2018-12-02 11:26:09 +01:00

deallocate_against_barrier.rs

barriers prevent deallocation

2018-11-27 14:26:23 +01:00

illegal_read1.rs

stacked borrows is broken without full MIR

2018-11-16 10:01:54 +01:00

illegal_read2.rs

stacked borrows is broken without full MIR

2018-11-16 10:01:54 +01:00

illegal_read3.rs

stacked borrows is broken without full MIR

2018-11-16 10:01:54 +01:00

illegal_read4.rs

stacked borrows is broken without full MIR

2018-11-16 10:01:54 +01:00

illegal_read5.rs

stacked borrows is broken without full MIR

2018-11-16 10:01:54 +01:00

illegal_write1.rs

implement function barriers

2018-11-27 14:26:23 +01:00

illegal_write2.rs

remove a whole lot of unnecessary attributes

2018-12-02 11:26:09 +01:00

illegal_write3.rs

fix mutability gap: do not allow shared mutation when creating frozen reference

2018-12-03 09:15:18 +01:00

illegal_write4.rs

stacked borrows is broken without full MIR

2018-11-16 10:01:54 +01:00

illegal_write5.rs

stacked borrows is broken without full MIR

2018-11-16 10:01:54 +01:00

invalidate_against_barrier1.rs

implement function barriers

2018-11-27 14:26:23 +01:00

invalidate_against_barrier2.rs

implement function barriers

2018-11-27 14:26:23 +01:00

load_invalid_mut.rs

stacked borrows is broken without full MIR

2018-11-16 10:01:54 +01:00

load_invalid_shr.rs

stacked borrows is broken without full MIR

2018-11-16 10:01:54 +01:00

mut_exclusive_violation1.rs

implement function barriers

2018-11-27 14:26:23 +01:00

outdated_local.rs

stacked borrows is broken without full MIR

2018-11-16 10:01:54 +01:00

pass_invalid_mut.rs

stacked borrows is broken without full MIR

2018-11-16 10:01:54 +01:00

pass_invalid_shr.rs

fix mutability gap: do not allow shared mutation when creating frozen reference

2018-12-03 09:15:18 +01:00

pointer_smuggling.rs

remove/fix outdated FIXMEs in tests

2018-12-02 11:14:24 +01:00

return_invalid_mut_option.rs

add some tests for retagging inside tuples and options

2018-11-16 11:13:55 +01:00

return_invalid_mut_tuple.rs

add some tests for retagging inside tuples and options

2018-11-16 11:13:55 +01:00

return_invalid_mut.rs

stacked borrows is broken without full MIR

2018-11-16 10:01:54 +01:00

return_invalid_shr_option.rs

add some tests for retagging inside tuples and options

2018-11-16 11:13:55 +01:00

return_invalid_shr_tuple.rs

add some tests for retagging inside tuples and options

2018-11-16 11:13:55 +01:00

return_invalid_shr.rs

stacked borrows is broken without full MIR

2018-11-16 10:01:54 +01:00

shr_frozen_violation1.rs

fix mutability gap: do not allow shared mutation when creating frozen reference

2018-12-03 09:15:18 +01:00

static_memory_modification.rs

on a deref, check that we are not using a mutable ref with a frozen tag

2018-11-21 15:44:47 +01:00

transmute-is-no-escape.rs

escape-on-cast, now ptr-deref does not change the tag at all, ever

2018-11-17 10:05:40 +01:00

unescaped_local.rs

stacked borrows is broken without full MIR

2018-11-16 10:01:54 +01:00