Ralf Jung 9af03bf342 add -Zmiri-strict-provenance

2022-04-01 14:10:24 -04:00

..

alias_through_mutation.rs

…

aliasing_mut1.rs

…

aliasing_mut2.rs

…

aliasing_mut3.rs

…

aliasing_mut4.rs

…

box_exclusive_violation1.rs

…

buggy_as_mut_slice.rs

…

buggy_split_at_mut.rs

…

deallocate_against_barrier1.rs

…

deallocate_against_barrier2.rs

…

illegal_read1.rs

…

illegal_read2.rs

…

illegal_read3.rs

…

illegal_read4.rs

…

illegal_read5.rs

…

illegal_read6.rs

…

illegal_read7.rs

test another version of 'creating a shared ref must not leak the Unique'

2019-04-19 08:46:40 +02:00

illegal_read8.rs

…

illegal_write1.rs

…

illegal_write2.rs

…

illegal_write3.rs

Print more in SB error diagnostics

2022-03-16 20:12:04 -04:00

illegal_write4.rs

…

illegal_write5.rs

…

illegal_write6.rs

…

interior_mut1.rs

…

interior_mut2.rs

…

invalidate_against_barrier1.rs

…

invalidate_against_barrier2.rs

…

issue-miri-1050-1.rs

adjust Miri to Pointer type overhaul

2021-07-16 10:10:12 +02:00

issue-miri-1050-2.rs

Update pointer error messages

2021-05-08 15:33:27 +08:00

load_invalid_mut.rs

…

load_invalid_shr.rs

…

mut_exclusive_violation1.rs

…

mut_exclusive_violation2.rs

…

outdated_local.rs

…

pass_invalid_mut.rs

…

pass_invalid_shr.rs

…

pointer_smuggling.rs

…

raw_tracking.rs

Print more in SB error diagnostics

2022-03-16 20:12:04 -04:00

return_invalid_mut_option.rs

…

return_invalid_mut_tuple.rs

…

return_invalid_mut.rs

…

return_invalid_shr_option.rs

…

return_invalid_shr_tuple.rs

…

return_invalid_shr.rs

…

shared_rw_borrows_are_weak1.rs

…

shared_rw_borrows_are_weak2.rs

…

shr_frozen_violation1.rs

Print more in SB error diagnostics

2022-03-16 20:12:04 -04:00

static_memory_modification.rs

adjust Miri to Pointer type overhaul

2021-07-16 10:10:12 +02:00

transmute-is-no-escape.rs

…

unescaped_local.rs

…

unescaped_static.rs

…

zst_slice.rs

add -Zmiri-strict-provenance

2022-04-01 14:10:24 -04:00