]> git.lizzy.rs Git - rust.git/commit
attempt to clarify what the backtrace belongs to when there could be ambiguity
authorRalf Jung <post@ralfj.de>
Fri, 23 Dec 2022 14:39:14 +0000 (15:39 +0100)
committerRalf Jung <post@ralfj.de>
Fri, 23 Dec 2022 14:39:14 +0000 (15:39 +0100)
commit19422fcbfe98ac1fa01175fedb4619db6774b129
treebc73bcdbcba082aa41547b7e5eb578680ca1962a
parentf4165be780904e52569c30b49fb6c5bcd0930261
attempt to clarify what the backtrace belongs to when there could be ambiguity
90 files changed:
src/tools/miri/src/diagnostics.rs
src/tools/miri/tests/fail/box-cell-alias.stderr
src/tools/miri/tests/fail/data_race/alloc_read_race.stderr
src/tools/miri/tests/fail/data_race/alloc_write_race.stderr
src/tools/miri/tests/fail/data_race/atomic_read_na_write_race1.stderr
src/tools/miri/tests/fail/data_race/atomic_read_na_write_race2.stderr
src/tools/miri/tests/fail/data_race/atomic_write_na_read_race1.stderr
src/tools/miri/tests/fail/data_race/atomic_write_na_read_race2.stderr
src/tools/miri/tests/fail/data_race/atomic_write_na_write_race1.stderr
src/tools/miri/tests/fail/data_race/atomic_write_na_write_race2.stderr
src/tools/miri/tests/fail/data_race/dangling_thread_async_race.stderr
src/tools/miri/tests/fail/data_race/dangling_thread_race.stderr
src/tools/miri/tests/fail/data_race/dealloc_read_race1.stderr
src/tools/miri/tests/fail/data_race/dealloc_read_race_stack.stderr
src/tools/miri/tests/fail/data_race/dealloc_write_race1.stderr
src/tools/miri/tests/fail/data_race/dealloc_write_race_stack.stderr
src/tools/miri/tests/fail/data_race/enable_after_join_to_main.stderr
src/tools/miri/tests/fail/data_race/fence_after_load.stderr
src/tools/miri/tests/fail/data_race/read_write_race.stderr
src/tools/miri/tests/fail/data_race/read_write_race_stack.stderr
src/tools/miri/tests/fail/data_race/relax_acquire_race.stderr
src/tools/miri/tests/fail/data_race/release_seq_race.stderr
src/tools/miri/tests/fail/data_race/release_seq_race_same_thread.stderr
src/tools/miri/tests/fail/data_race/rmw_race.stderr
src/tools/miri/tests/fail/data_race/stack_pop_race.stderr
src/tools/miri/tests/fail/data_race/write_write_race.stderr
src/tools/miri/tests/fail/data_race/write_write_race_stack.stderr
src/tools/miri/tests/fail/function_calls/exported_symbol_clashing.stderr
src/tools/miri/tests/fail/function_calls/exported_symbol_shim_clashing.stderr
src/tools/miri/tests/fail/stacked_borrows/alias_through_mutation.stderr
src/tools/miri/tests/fail/stacked_borrows/aliasing_mut1.stderr
src/tools/miri/tests/fail/stacked_borrows/aliasing_mut2.stderr
src/tools/miri/tests/fail/stacked_borrows/aliasing_mut3.stderr
src/tools/miri/tests/fail/stacked_borrows/aliasing_mut4.stderr
src/tools/miri/tests/fail/stacked_borrows/box_exclusive_violation1.stderr
src/tools/miri/tests/fail/stacked_borrows/box_noalias_violation.stderr
src/tools/miri/tests/fail/stacked_borrows/buggy_as_mut_slice.stderr
src/tools/miri/tests/fail/stacked_borrows/buggy_split_at_mut.stderr
src/tools/miri/tests/fail/stacked_borrows/disable_mut_does_not_merge_srw.stderr
src/tools/miri/tests/fail/stacked_borrows/fnentry_invalidation.stderr
src/tools/miri/tests/fail/stacked_borrows/fnentry_invalidation2.stderr
src/tools/miri/tests/fail/stacked_borrows/illegal_dealloc1.stderr
src/tools/miri/tests/fail/stacked_borrows/illegal_read1.stderr
src/tools/miri/tests/fail/stacked_borrows/illegal_read2.stderr
src/tools/miri/tests/fail/stacked_borrows/illegal_read3.stderr
src/tools/miri/tests/fail/stacked_borrows/illegal_read4.stderr
src/tools/miri/tests/fail/stacked_borrows/illegal_read5.stderr
src/tools/miri/tests/fail/stacked_borrows/illegal_read6.stderr
src/tools/miri/tests/fail/stacked_borrows/illegal_read7.stderr
src/tools/miri/tests/fail/stacked_borrows/illegal_read8.stderr
src/tools/miri/tests/fail/stacked_borrows/illegal_read_despite_exposed1.stderr
src/tools/miri/tests/fail/stacked_borrows/illegal_read_despite_exposed2.stderr
src/tools/miri/tests/fail/stacked_borrows/illegal_write1.stderr
src/tools/miri/tests/fail/stacked_borrows/illegal_write2.stderr
src/tools/miri/tests/fail/stacked_borrows/illegal_write3.stderr
src/tools/miri/tests/fail/stacked_borrows/illegal_write4.stderr
src/tools/miri/tests/fail/stacked_borrows/illegal_write5.stderr
src/tools/miri/tests/fail/stacked_borrows/illegal_write6.stderr
src/tools/miri/tests/fail/stacked_borrows/illegal_write_despite_exposed1.stderr
src/tools/miri/tests/fail/stacked_borrows/interior_mut1.stderr
src/tools/miri/tests/fail/stacked_borrows/interior_mut2.stderr
src/tools/miri/tests/fail/stacked_borrows/invalidate_against_protector1.stderr
src/tools/miri/tests/fail/stacked_borrows/invalidate_against_protector2.stderr
src/tools/miri/tests/fail/stacked_borrows/invalidate_against_protector3.stderr
src/tools/miri/tests/fail/stacked_borrows/load_invalid_mut.stderr
src/tools/miri/tests/fail/stacked_borrows/load_invalid_shr.stderr
src/tools/miri/tests/fail/stacked_borrows/mut_exclusive_violation1.stderr
src/tools/miri/tests/fail/stacked_borrows/mut_exclusive_violation2.stderr
src/tools/miri/tests/fail/stacked_borrows/newtype_pair_retagging.stderr
src/tools/miri/tests/fail/stacked_borrows/newtype_retagging.stderr
src/tools/miri/tests/fail/stacked_borrows/outdated_local.stderr
src/tools/miri/tests/fail/stacked_borrows/pass_invalid_mut.stderr
src/tools/miri/tests/fail/stacked_borrows/pass_invalid_shr.stderr
src/tools/miri/tests/fail/stacked_borrows/pointer_smuggling.stderr
src/tools/miri/tests/fail/stacked_borrows/raw_tracking.stderr
src/tools/miri/tests/fail/stacked_borrows/retag_data_race_read.stderr
src/tools/miri/tests/fail/stacked_borrows/retag_data_race_write.stderr
src/tools/miri/tests/fail/stacked_borrows/return_invalid_mut.stderr
src/tools/miri/tests/fail/stacked_borrows/return_invalid_mut_option.stderr
src/tools/miri/tests/fail/stacked_borrows/return_invalid_mut_tuple.stderr
src/tools/miri/tests/fail/stacked_borrows/return_invalid_shr.stderr
src/tools/miri/tests/fail/stacked_borrows/return_invalid_shr_option.stderr
src/tools/miri/tests/fail/stacked_borrows/return_invalid_shr_tuple.stderr
src/tools/miri/tests/fail/stacked_borrows/shared_rw_borrows_are_weak1.stderr
src/tools/miri/tests/fail/stacked_borrows/shared_rw_borrows_are_weak2.stderr
src/tools/miri/tests/fail/stacked_borrows/shr_frozen_violation1.stderr
src/tools/miri/tests/fail/stacked_borrows/track_caller.stderr
src/tools/miri/tests/fail/stacked_borrows/transmute-is-no-escape.stderr
src/tools/miri/tests/fail/stacked_borrows/unescaped_static.stderr
src/tools/miri/tests/fail/stacked_borrows/zst_slice.stderr