git.lizzy.rs Git - rust.git/commit

]> git.lizzy.rs Git - rust.git/commit

author	Oli Scherer <git-spam-no-reply9815368754983@oli-obk.de>
	Tue, 15 Nov 2022 16:24:52 +0000 (16:24 +0000)
committer	Oli Scherer <git-spam-no-reply9815368754983@oli-obk.de>
	Tue, 6 Dec 2022 18:59:46 +0000 (18:59 +0000)
commit	fa99459b4286a2fb45dd1f224a9fc5788da84cfb
tree	c0b15afd1f6014fde1221d8b993bed43f3001321	tree \| snapshot
parent	7782a2b70d89bbf7d918e00f6723b62234c57ff4	commit \| diff

Reintroduce the span printing in miri (plus point to spans where possible)

358 files changed:

src/tools/miri/src/diagnostics.rs		diff \| blob \| history
src/tools/miri/tests/extern-so/fail/function_not_in_so.stderr		diff \| blob \| history
src/tools/miri/tests/fail/abort-terminator.stderr		diff \| blob \| history
src/tools/miri/tests/fail/alloc/deallocate-bad-alignment.stderr		diff \| blob \| history
src/tools/miri/tests/fail/alloc/deallocate-bad-size.stderr		diff \| blob \| history
src/tools/miri/tests/fail/alloc/deallocate-twice.stderr		diff \| blob \| history
src/tools/miri/tests/fail/alloc/global_system_mixup.stderr		diff \| blob \| history
src/tools/miri/tests/fail/alloc/no_global_allocator.stderr		diff \| blob \| history
src/tools/miri/tests/fail/alloc/reallocate-bad-size.stderr		diff \| blob \| history
src/tools/miri/tests/fail/alloc/reallocate-change-alloc.stderr		diff \| blob \| history
src/tools/miri/tests/fail/alloc/reallocate-dangling.stderr		diff \| blob \| history
src/tools/miri/tests/fail/alloc/stack_free.stderr		diff \| blob \| history
src/tools/miri/tests/fail/box-cell-alias.stderr		diff \| blob \| history
src/tools/miri/tests/fail/branchless-select-i128-pointer.stderr		diff \| blob \| history
src/tools/miri/tests/fail/breakpoint.stderr		diff \| blob \| history
src/tools/miri/tests/fail/concurrency/libc_pthread_create_too_few_args.stderr		diff \| blob \| history
src/tools/miri/tests/fail/concurrency/libc_pthread_create_too_many_args.stderr		diff \| blob \| history
src/tools/miri/tests/fail/concurrency/libc_pthread_join_detached.stderr		diff \| blob \| history
src/tools/miri/tests/fail/concurrency/libc_pthread_join_joined.stderr		diff \| blob \| history
src/tools/miri/tests/fail/concurrency/libc_pthread_join_main.stderr		diff \| blob \| history
src/tools/miri/tests/fail/concurrency/libc_pthread_join_multiple.stderr		diff \| blob \| history
src/tools/miri/tests/fail/concurrency/libc_pthread_join_self.stderr		diff \| blob \| history
src/tools/miri/tests/fail/concurrency/read_only_atomic_cmpxchg.stderr		diff \| blob \| history
src/tools/miri/tests/fail/concurrency/read_only_atomic_load.stderr		diff \| blob \| history
src/tools/miri/tests/fail/concurrency/thread_local_static_dealloc.stderr		diff \| blob \| history
src/tools/miri/tests/fail/concurrency/unwind_top_of_stack.stderr		diff \| blob \| history
src/tools/miri/tests/fail/concurrency/windows_join_detached.stderr		diff \| blob \| history
src/tools/miri/tests/fail/dangling_pointers/dangling_pointer_addr_of.stderr		diff \| blob \| history
src/tools/miri/tests/fail/dangling_pointers/dangling_pointer_deref.stderr		diff \| blob \| history
src/tools/miri/tests/fail/dangling_pointers/dangling_zst_deref.stderr		diff \| blob \| history
src/tools/miri/tests/fail/dangling_pointers/deref-invalid-ptr.stderr		diff \| blob \| history
src/tools/miri/tests/fail/dangling_pointers/deref-partially-dangling.stderr		diff \| blob \| history
src/tools/miri/tests/fail/dangling_pointers/dyn_size.stderr		diff \| blob \| history
src/tools/miri/tests/fail/dangling_pointers/maybe_null_pointer_deref_zst.stderr		diff \| blob \| history
src/tools/miri/tests/fail/dangling_pointers/maybe_null_pointer_write_zst.stderr		diff \| blob \| history
src/tools/miri/tests/fail/dangling_pointers/null_pointer_deref.stderr		diff \| blob \| history
src/tools/miri/tests/fail/dangling_pointers/null_pointer_deref_zst.stderr		diff \| blob \| history
src/tools/miri/tests/fail/dangling_pointers/null_pointer_write.stderr		diff \| blob \| history
src/tools/miri/tests/fail/dangling_pointers/null_pointer_write_zst.stderr		diff \| blob \| history
src/tools/miri/tests/fail/dangling_pointers/out_of_bounds_read1.stderr		diff \| blob \| history
src/tools/miri/tests/fail/dangling_pointers/out_of_bounds_read2.stderr		diff \| blob \| history
src/tools/miri/tests/fail/dangling_pointers/stack_temporary.stderr		diff \| blob \| history
src/tools/miri/tests/fail/dangling_pointers/storage_dead_dangling.stderr		diff \| blob \| history
src/tools/miri/tests/fail/dangling_pointers/wild_pointer_deref.stderr		diff \| blob \| history
src/tools/miri/tests/fail/data_race/alloc_read_race.stderr		diff \| blob \| history
src/tools/miri/tests/fail/data_race/alloc_write_race.stderr		diff \| blob \| history
src/tools/miri/tests/fail/data_race/atomic_read_na_write_race1.stderr		diff \| blob \| history
src/tools/miri/tests/fail/data_race/atomic_read_na_write_race2.stderr		diff \| blob \| history
src/tools/miri/tests/fail/data_race/atomic_write_na_read_race1.stderr		diff \| blob \| history
src/tools/miri/tests/fail/data_race/atomic_write_na_read_race2.stderr		diff \| blob \| history
src/tools/miri/tests/fail/data_race/atomic_write_na_write_race1.stderr		diff \| blob \| history
src/tools/miri/tests/fail/data_race/atomic_write_na_write_race2.stderr		diff \| blob \| history
src/tools/miri/tests/fail/data_race/dangling_thread_async_race.stderr		diff \| blob \| history
src/tools/miri/tests/fail/data_race/dangling_thread_race.stderr		diff \| blob \| history
src/tools/miri/tests/fail/data_race/dealloc_read_race1.stderr		diff \| blob \| history
src/tools/miri/tests/fail/data_race/dealloc_read_race2.stderr		diff \| blob \| history
src/tools/miri/tests/fail/data_race/dealloc_read_race_stack.stderr		diff \| blob \| history
src/tools/miri/tests/fail/data_race/dealloc_write_race1.stderr		diff \| blob \| history
src/tools/miri/tests/fail/data_race/dealloc_write_race2.stderr		diff \| blob \| history
src/tools/miri/tests/fail/data_race/dealloc_write_race_stack.stderr		diff \| blob \| history
src/tools/miri/tests/fail/data_race/enable_after_join_to_main.stderr		diff \| blob \| history
src/tools/miri/tests/fail/data_race/fence_after_load.stderr		diff \| blob \| history
src/tools/miri/tests/fail/data_race/read_write_race.stderr		diff \| blob \| history
src/tools/miri/tests/fail/data_race/read_write_race_stack.stderr		diff \| blob \| history
src/tools/miri/tests/fail/data_race/relax_acquire_race.stderr		diff \| blob \| history
src/tools/miri/tests/fail/data_race/release_seq_race.stderr		diff \| blob \| history
src/tools/miri/tests/fail/data_race/release_seq_race_same_thread.stderr		diff \| blob \| history
src/tools/miri/tests/fail/data_race/rmw_race.stderr		diff \| blob \| history
src/tools/miri/tests/fail/data_race/stack_pop_race.stderr		diff \| blob \| history
src/tools/miri/tests/fail/data_race/write_write_race.stderr		diff \| blob \| history
src/tools/miri/tests/fail/data_race/write_write_race_stack.stderr		diff \| blob \| history
src/tools/miri/tests/fail/dyn-call-trait-mismatch.stderr		diff \| blob \| history
src/tools/miri/tests/fail/dyn-upcast-trait-mismatch.stderr		diff \| blob \| history
src/tools/miri/tests/fail/environ-gets-deallocated.stderr		diff \| blob \| history
src/tools/miri/tests/fail/extern_static.stderr		diff \| blob \| history
src/tools/miri/tests/fail/extern_static_in_const.stderr		diff \| blob \| history
src/tools/miri/tests/fail/extern_static_wrong_size.stderr		diff \| blob \| history
src/tools/miri/tests/fail/fast_math_both.stderr		diff \| blob \| history
src/tools/miri/tests/fail/fast_math_first.stderr		diff \| blob \| history
src/tools/miri/tests/fail/fast_math_second.stderr		diff \| blob \| history
src/tools/miri/tests/fail/function_calls/check_arg_abi.stderr		diff \| blob \| history
src/tools/miri/tests/fail/function_calls/check_arg_count_abort.stderr		diff \| blob \| history
src/tools/miri/tests/fail/function_calls/check_arg_count_too_few_args.stderr		diff \| blob \| history
src/tools/miri/tests/fail/function_calls/check_arg_count_too_many_args.stderr		diff \| blob \| history
src/tools/miri/tests/fail/function_calls/check_callback_abi.stderr		diff \| blob \| history
src/tools/miri/tests/fail/function_calls/exported_symbol_abi_mismatch.cache.stderr		diff \| blob \| history
src/tools/miri/tests/fail/function_calls/exported_symbol_abi_mismatch.fn_ptr.stderr		diff \| blob \| history
src/tools/miri/tests/fail/function_calls/exported_symbol_abi_mismatch.no_cache.stderr		diff \| blob \| history
src/tools/miri/tests/fail/function_calls/exported_symbol_bad_unwind1.stderr		diff \| blob \| history
src/tools/miri/tests/fail/function_calls/exported_symbol_bad_unwind2.both.stderr		diff \| blob \| history
src/tools/miri/tests/fail/function_calls/exported_symbol_bad_unwind2.definition.stderr		diff \| blob \| history
src/tools/miri/tests/fail/function_calls/exported_symbol_bad_unwind2.extern_block.stderr		diff \| blob \| history
src/tools/miri/tests/fail/function_calls/exported_symbol_clashing.stderr		diff \| blob \| history
src/tools/miri/tests/fail/function_calls/exported_symbol_shim_clashing.stderr		diff \| blob \| history
src/tools/miri/tests/fail/function_calls/exported_symbol_wrong_arguments.stderr		diff \| blob \| history
src/tools/miri/tests/fail/function_calls/exported_symbol_wrong_type.stderr		diff \| blob \| history
src/tools/miri/tests/fail/function_pointers/cast_box_int_to_fn_ptr.stderr		diff \| blob \| history
src/tools/miri/tests/fail/function_pointers/cast_fn_ptr1.stderr		diff \| blob \| history
src/tools/miri/tests/fail/function_pointers/cast_fn_ptr2.stderr		diff \| blob \| history
src/tools/miri/tests/fail/function_pointers/cast_fn_ptr3.stderr		diff \| blob \| history
src/tools/miri/tests/fail/function_pointers/cast_fn_ptr4.stderr		diff \| blob \| history
src/tools/miri/tests/fail/function_pointers/cast_fn_ptr5.stderr		diff \| blob \| history
src/tools/miri/tests/fail/function_pointers/cast_int_to_fn_ptr.stderr		diff \| blob \| history
src/tools/miri/tests/fail/function_pointers/deref_fn_ptr.stderr		diff \| blob \| history
src/tools/miri/tests/fail/function_pointers/execute_memory.stderr		diff \| blob \| history
src/tools/miri/tests/fail/function_pointers/fn_ptr_offset.stderr		diff \| blob \| history
src/tools/miri/tests/fail/generator-pinned-moved.stderr		diff \| blob \| history
src/tools/miri/tests/fail/intrinsics/assume.stderr		diff \| blob \| history
src/tools/miri/tests/fail/intrinsics/copy_null.stderr		diff \| blob \| history
src/tools/miri/tests/fail/intrinsics/copy_overflow.stderr		diff \| blob \| history
src/tools/miri/tests/fail/intrinsics/copy_overlapping.stderr		diff \| blob \| history
src/tools/miri/tests/fail/intrinsics/copy_unaligned.stderr		diff \| blob \| history
src/tools/miri/tests/fail/intrinsics/ctlz_nonzero.stderr		diff \| blob \| history
src/tools/miri/tests/fail/intrinsics/cttz_nonzero.stderr		diff \| blob \| history
src/tools/miri/tests/fail/intrinsics/div-by-zero.stderr		diff \| blob \| history
src/tools/miri/tests/fail/intrinsics/exact_div1.stderr		diff \| blob \| history
src/tools/miri/tests/fail/intrinsics/exact_div2.stderr		diff \| blob \| history
src/tools/miri/tests/fail/intrinsics/exact_div3.stderr		diff \| blob \| history
src/tools/miri/tests/fail/intrinsics/exact_div4.stderr		diff \| blob \| history
src/tools/miri/tests/fail/intrinsics/float_to_int_32_inf1.stderr		diff \| blob \| history
src/tools/miri/tests/fail/intrinsics/float_to_int_32_infneg1.stderr		diff \| blob \| history
src/tools/miri/tests/fail/intrinsics/float_to_int_32_nan.stderr		diff \| blob \| history
src/tools/miri/tests/fail/intrinsics/float_to_int_32_nanneg.stderr		diff \| blob \| history
src/tools/miri/tests/fail/intrinsics/float_to_int_32_neg.stderr		diff \| blob \| history
src/tools/miri/tests/fail/intrinsics/float_to_int_32_too_big1.stderr		diff \| blob \| history
src/tools/miri/tests/fail/intrinsics/float_to_int_32_too_big2.stderr		diff \| blob \| history
src/tools/miri/tests/fail/intrinsics/float_to_int_32_too_small1.stderr		diff \| blob \| history
src/tools/miri/tests/fail/intrinsics/float_to_int_64_inf1.stderr		diff \| blob \| history
src/tools/miri/tests/fail/intrinsics/float_to_int_64_infneg1.stderr		diff \| blob \| history
src/tools/miri/tests/fail/intrinsics/float_to_int_64_infneg2.stderr		diff \| blob \| history
src/tools/miri/tests/fail/intrinsics/float_to_int_64_nan.stderr		diff \| blob \| history
src/tools/miri/tests/fail/intrinsics/float_to_int_64_neg.stderr		diff \| blob \| history
src/tools/miri/tests/fail/intrinsics/float_to_int_64_too_big1.stderr		diff \| blob \| history
src/tools/miri/tests/fail/intrinsics/float_to_int_64_too_big2.stderr		diff \| blob \| history
src/tools/miri/tests/fail/intrinsics/float_to_int_64_too_big3.stderr		diff \| blob \| history
src/tools/miri/tests/fail/intrinsics/float_to_int_64_too_big4.stderr		diff \| blob \| history
src/tools/miri/tests/fail/intrinsics/float_to_int_64_too_big5.stderr		diff \| blob \| history
src/tools/miri/tests/fail/intrinsics/float_to_int_64_too_big6.stderr		diff \| blob \| history
src/tools/miri/tests/fail/intrinsics/float_to_int_64_too_big7.stderr		diff \| blob \| history
src/tools/miri/tests/fail/intrinsics/float_to_int_64_too_small1.stderr		diff \| blob \| history
src/tools/miri/tests/fail/intrinsics/float_to_int_64_too_small2.stderr		diff \| blob \| history
src/tools/miri/tests/fail/intrinsics/float_to_int_64_too_small3.stderr		diff \| blob \| history
src/tools/miri/tests/fail/intrinsics/out_of_bounds_ptr_1.stderr		diff \| blob \| history
src/tools/miri/tests/fail/intrinsics/out_of_bounds_ptr_2.stderr		diff \| blob \| history
src/tools/miri/tests/fail/intrinsics/out_of_bounds_ptr_3.stderr		diff \| blob \| history
src/tools/miri/tests/fail/intrinsics/overflowing-unchecked-rsh.stderr		diff \| blob \| history
src/tools/miri/tests/fail/intrinsics/ptr_offset_0_plus_0.stderr		diff \| blob \| history
src/tools/miri/tests/fail/intrinsics/ptr_offset_from_oob.stderr		diff \| blob \| history
src/tools/miri/tests/fail/intrinsics/ptr_offset_from_unsigned_neg.stderr		diff \| blob \| history
src/tools/miri/tests/fail/intrinsics/ptr_offset_int_plus_int.stderr		diff \| blob \| history
src/tools/miri/tests/fail/intrinsics/ptr_offset_int_plus_ptr.stderr		diff \| blob \| history
src/tools/miri/tests/fail/intrinsics/ptr_offset_overflow.stderr		diff \| blob \| history
src/tools/miri/tests/fail/intrinsics/ptr_offset_ptr_plus_0.stderr		diff \| blob \| history
src/tools/miri/tests/fail/intrinsics/raw_eq_on_ptr.stderr		diff \| blob \| history
src/tools/miri/tests/fail/intrinsics/rem-by-zero.stderr		diff \| blob \| history
src/tools/miri/tests/fail/intrinsics/simd-div-by-zero.stderr		diff \| blob \| history
src/tools/miri/tests/fail/intrinsics/simd-div-overflow.stderr		diff \| blob \| history
src/tools/miri/tests/fail/intrinsics/simd-float-to-int.stderr		diff \| blob \| history
src/tools/miri/tests/fail/intrinsics/simd-gather.stderr		diff \| blob \| history
src/tools/miri/tests/fail/intrinsics/simd-reduce-invalid-bool.stderr		diff \| blob \| history
src/tools/miri/tests/fail/intrinsics/simd-rem-by-zero.stderr		diff \| blob \| history
src/tools/miri/tests/fail/intrinsics/simd-scatter.stderr		diff \| blob \| history
src/tools/miri/tests/fail/intrinsics/simd-select-bitmask-invalid.stderr		diff \| blob \| history
src/tools/miri/tests/fail/intrinsics/simd-select-invalid-bool.stderr		diff \| blob \| history
src/tools/miri/tests/fail/intrinsics/simd-shl-too-far.stderr		diff \| blob \| history
src/tools/miri/tests/fail/intrinsics/simd-shr-too-far.stderr		diff \| blob \| history
src/tools/miri/tests/fail/intrinsics/unchecked_add1.stderr		diff \| blob \| history
src/tools/miri/tests/fail/intrinsics/unchecked_add2.stderr		diff \| blob \| history
src/tools/miri/tests/fail/intrinsics/unchecked_div1.stderr		diff \| blob \| history
src/tools/miri/tests/fail/intrinsics/unchecked_mul1.stderr		diff \| blob \| history
src/tools/miri/tests/fail/intrinsics/unchecked_mul2.stderr		diff \| blob \| history
src/tools/miri/tests/fail/intrinsics/unchecked_sub1.stderr		diff \| blob \| history
src/tools/miri/tests/fail/intrinsics/unchecked_sub2.stderr		diff \| blob \| history
src/tools/miri/tests/fail/intrinsics/uninit_uninhabited_type.stderr		diff \| blob \| history
src/tools/miri/tests/fail/intrinsics/write_bytes_null.stderr		diff \| blob \| history
src/tools/miri/tests/fail/intrinsics/write_bytes_overflow.stderr		diff \| blob \| history
src/tools/miri/tests/fail/intrinsics/zero_fn_ptr.stderr		diff \| blob \| history
src/tools/miri/tests/fail/invalid_bool.stderr		diff \| blob \| history
src/tools/miri/tests/fail/invalid_char.stderr		diff \| blob \| history
src/tools/miri/tests/fail/invalid_enum_tag.stderr		diff \| blob \| history
src/tools/miri/tests/fail/invalid_int.stderr		diff \| blob \| history
src/tools/miri/tests/fail/issue-miri-1112.stderr		diff \| blob \| history
src/tools/miri/tests/fail/issue-miri-2432.stderr		diff \| blob \| history
src/tools/miri/tests/fail/modifying_constants.stderr		diff \| blob \| history
src/tools/miri/tests/fail/never_say_never.stderr		diff \| blob \| history
src/tools/miri/tests/fail/never_transmute_humans.stderr		diff \| blob \| history
src/tools/miri/tests/fail/never_transmute_void.stderr		diff \| blob \| history
src/tools/miri/tests/fail/panic/bad_miri_start_panic.stderr		diff \| blob \| history
src/tools/miri/tests/fail/panic/bad_unwind.stderr		diff \| blob \| history
src/tools/miri/tests/fail/panic/double_panic.stderr		diff \| blob \| history
src/tools/miri/tests/fail/panic/no_std.stderr		diff \| blob \| history
src/tools/miri/tests/fail/panic/panic_abort1.stderr		diff \| blob \| history
src/tools/miri/tests/fail/panic/panic_abort2.stderr		diff \| blob \| history
src/tools/miri/tests/fail/panic/panic_abort3.stderr		diff \| blob \| history
src/tools/miri/tests/fail/panic/panic_abort4.stderr		diff \| blob \| history
src/tools/miri/tests/fail/panic/unwind_panic_abort.stderr		diff \| blob \| history
src/tools/miri/tests/fail/provenance/pointer_partial_overwrite.stderr		diff \| blob \| history
src/tools/miri/tests/fail/provenance/provenance_transmute.stderr		diff \| blob \| history
src/tools/miri/tests/fail/provenance/ptr_int_unexposed.stderr		diff \| blob \| history
src/tools/miri/tests/fail/provenance/ptr_invalid.stderr		diff \| blob \| history
src/tools/miri/tests/fail/provenance/ptr_invalid_offset.stderr		diff \| blob \| history
src/tools/miri/tests/fail/provenance/strict_provenance_cast.stderr		diff \| blob \| history
src/tools/miri/tests/fail/rc_as_ptr.stderr		diff \| blob \| history
src/tools/miri/tests/fail/reading_half_a_pointer.stderr		diff \| blob \| history
src/tools/miri/tests/fail/shims/backtrace/bad-backtrace-decl.stderr		diff \| blob \| history
src/tools/miri/tests/fail/shims/backtrace/bad-backtrace-flags.stderr		diff \| blob \| history
src/tools/miri/tests/fail/shims/backtrace/bad-backtrace-ptr.stderr		diff \| blob \| history
src/tools/miri/tests/fail/shims/backtrace/bad-backtrace-resolve-flags.stderr		diff \| blob \| history
src/tools/miri/tests/fail/shims/backtrace/bad-backtrace-resolve-names-flags.stderr		diff \| blob \| history
src/tools/miri/tests/fail/shims/backtrace/bad-backtrace-size-flags.stderr		diff \| blob \| history
src/tools/miri/tests/fail/shims/fs/close_stdout.stderr		diff \| blob \| history
src/tools/miri/tests/fail/shims/fs/isolated_file.stderr		diff \| blob \| history
src/tools/miri/tests/fail/shims/fs/isolated_stdin.stderr		diff \| blob \| history
src/tools/miri/tests/fail/shims/fs/mkstemp_immutable_arg.stderr		diff \| blob \| history
src/tools/miri/tests/fail/shims/fs/read_from_stdout.stderr		diff \| blob \| history
src/tools/miri/tests/fail/shims/fs/unix_open_missing_required_mode.stderr		diff \| blob \| history
src/tools/miri/tests/fail/shims/fs/write_to_stdin.stderr		diff \| blob \| history
src/tools/miri/tests/fail/shims/shim_arg_size.stderr		diff \| blob \| history
src/tools/miri/tests/fail/shims/sync/libc_pthread_cond_double_destroy.stderr		diff \| blob \| history
src/tools/miri/tests/fail/shims/sync/libc_pthread_condattr_double_destroy.stderr		diff \| blob \| history
src/tools/miri/tests/fail/shims/sync/libc_pthread_mutex_NULL_deadlock.stderr		diff \| blob \| history
src/tools/miri/tests/fail/shims/sync/libc_pthread_mutex_deadlock.stderr		diff \| blob \| history
src/tools/miri/tests/fail/shims/sync/libc_pthread_mutex_default_deadlock.stderr		diff \| blob \| history
src/tools/miri/tests/fail/shims/sync/libc_pthread_mutex_destroy_locked.stderr		diff \| blob \| history
src/tools/miri/tests/fail/shims/sync/libc_pthread_mutex_double_destroy.stderr		diff \| blob \| history
src/tools/miri/tests/fail/shims/sync/libc_pthread_mutex_normal_deadlock.stderr		diff \| blob \| history
src/tools/miri/tests/fail/shims/sync/libc_pthread_mutex_normal_unlock_unlocked.stderr		diff \| blob \| history
src/tools/miri/tests/fail/shims/sync/libc_pthread_mutex_wrong_owner.stderr		diff \| blob \| history
src/tools/miri/tests/fail/shims/sync/libc_pthread_mutexattr_double_destroy.stderr		diff \| blob \| history
src/tools/miri/tests/fail/shims/sync/libc_pthread_rwlock_destroy_read_locked.stderr		diff \| blob \| history
src/tools/miri/tests/fail/shims/sync/libc_pthread_rwlock_destroy_write_locked.stderr		diff \| blob \| history
src/tools/miri/tests/fail/shims/sync/libc_pthread_rwlock_double_destroy.stderr		diff \| blob \| history
src/tools/miri/tests/fail/shims/sync/libc_pthread_rwlock_read_write_deadlock_single_thread.stderr		diff \| blob \| history
src/tools/miri/tests/fail/shims/sync/libc_pthread_rwlock_read_wrong_owner.stderr		diff \| blob \| history
src/tools/miri/tests/fail/shims/sync/libc_pthread_rwlock_unlock_unlocked.stderr		diff \| blob \| history
src/tools/miri/tests/fail/shims/sync/libc_pthread_rwlock_write_read_deadlock.stderr		diff \| blob \| history
src/tools/miri/tests/fail/shims/sync/libc_pthread_rwlock_write_read_deadlock_single_thread.stderr		diff \| blob \| history
src/tools/miri/tests/fail/shims/sync/libc_pthread_rwlock_write_write_deadlock.stderr		diff \| blob \| history
src/tools/miri/tests/fail/shims/sync/libc_pthread_rwlock_write_write_deadlock_single_thread.stderr		diff \| blob \| history
src/tools/miri/tests/fail/shims/sync/libc_pthread_rwlock_write_wrong_owner.stderr		diff \| blob \| history
src/tools/miri/tests/fail/should-pass/cpp20_rwc_syncs.stderr		diff \| blob \| history
src/tools/miri/tests/fail/stacked_borrows/alias_through_mutation.stderr		diff \| blob \| history
src/tools/miri/tests/fail/stacked_borrows/aliasing_mut1.stderr		diff \| blob \| history
src/tools/miri/tests/fail/stacked_borrows/aliasing_mut2.stderr		diff \| blob \| history
src/tools/miri/tests/fail/stacked_borrows/aliasing_mut3.stderr		diff \| blob \| history
src/tools/miri/tests/fail/stacked_borrows/aliasing_mut4.stderr		diff \| blob \| history
src/tools/miri/tests/fail/stacked_borrows/box_exclusive_violation1.stderr		diff \| blob \| history
src/tools/miri/tests/fail/stacked_borrows/buggy_as_mut_slice.stderr		diff \| blob \| history
src/tools/miri/tests/fail/stacked_borrows/buggy_split_at_mut.stderr		diff \| blob \| history
src/tools/miri/tests/fail/stacked_borrows/deallocate_against_protector1.stderr		diff \| blob \| history
src/tools/miri/tests/fail/stacked_borrows/deallocate_against_protector2.stderr		diff \| blob \| history
src/tools/miri/tests/fail/stacked_borrows/disable_mut_does_not_merge_srw.stderr		diff \| blob \| history
src/tools/miri/tests/fail/stacked_borrows/exposed_only_ro.stderr		diff \| blob \| history
src/tools/miri/tests/fail/stacked_borrows/fnentry_invalidation.stderr		diff \| blob \| history
src/tools/miri/tests/fail/stacked_borrows/fnentry_invalidation2.stderr		diff \| blob \| history
src/tools/miri/tests/fail/stacked_borrows/illegal_read1.stderr		diff \| blob \| history
src/tools/miri/tests/fail/stacked_borrows/illegal_read2.stderr		diff \| blob \| history
src/tools/miri/tests/fail/stacked_borrows/illegal_read3.stderr		diff \| blob \| history
src/tools/miri/tests/fail/stacked_borrows/illegal_read4.stderr		diff \| blob \| history
src/tools/miri/tests/fail/stacked_borrows/illegal_read5.stderr		diff \| blob \| history
src/tools/miri/tests/fail/stacked_borrows/illegal_read6.stderr		diff \| blob \| history
src/tools/miri/tests/fail/stacked_borrows/illegal_read7.stderr		diff \| blob \| history
src/tools/miri/tests/fail/stacked_borrows/illegal_read8.stderr		diff \| blob \| history
src/tools/miri/tests/fail/stacked_borrows/illegal_read_despite_exposed1.stderr		diff \| blob \| history
src/tools/miri/tests/fail/stacked_borrows/illegal_read_despite_exposed2.stderr		diff \| blob \| history
src/tools/miri/tests/fail/stacked_borrows/illegal_write1.stderr		diff \| blob \| history
src/tools/miri/tests/fail/stacked_borrows/illegal_write2.stderr		diff \| blob \| history
src/tools/miri/tests/fail/stacked_borrows/illegal_write3.stderr		diff \| blob \| history
src/tools/miri/tests/fail/stacked_borrows/illegal_write4.stderr		diff \| blob \| history
src/tools/miri/tests/fail/stacked_borrows/illegal_write5.stderr		diff \| blob \| history
src/tools/miri/tests/fail/stacked_borrows/illegal_write6.stderr		diff \| blob \| history
src/tools/miri/tests/fail/stacked_borrows/illegal_write_despite_exposed1.stderr		diff \| blob \| history
src/tools/miri/tests/fail/stacked_borrows/interior_mut1.stderr		diff \| blob \| history
src/tools/miri/tests/fail/stacked_borrows/interior_mut2.stderr		diff \| blob \| history
src/tools/miri/tests/fail/stacked_borrows/invalidate_against_protector1.stderr		diff \| blob \| history
src/tools/miri/tests/fail/stacked_borrows/invalidate_against_protector2.stderr		diff \| blob \| history
src/tools/miri/tests/fail/stacked_borrows/invalidate_against_protector3.stderr		diff \| blob \| history
src/tools/miri/tests/fail/stacked_borrows/issue-miri-1050-1.stderr		diff \| blob \| history
src/tools/miri/tests/fail/stacked_borrows/issue-miri-1050-2.stderr		diff \| blob \| history
src/tools/miri/tests/fail/stacked_borrows/load_invalid_mut.stderr		diff \| blob \| history
src/tools/miri/tests/fail/stacked_borrows/load_invalid_shr.stderr		diff \| blob \| history
src/tools/miri/tests/fail/stacked_borrows/mut_exclusive_violation1.stderr		diff \| blob \| history
src/tools/miri/tests/fail/stacked_borrows/mut_exclusive_violation2.stderr		diff \| blob \| history
src/tools/miri/tests/fail/stacked_borrows/newtype_pair_retagging.stderr		diff \| blob \| history
src/tools/miri/tests/fail/stacked_borrows/newtype_retagging.stderr		diff \| blob \| history
src/tools/miri/tests/fail/stacked_borrows/outdated_local.stderr		diff \| blob \| history
src/tools/miri/tests/fail/stacked_borrows/pass_invalid_mut.stderr		diff \| blob \| history
src/tools/miri/tests/fail/stacked_borrows/pass_invalid_shr.stderr		diff \| blob \| history
src/tools/miri/tests/fail/stacked_borrows/pointer_smuggling.stderr		diff \| blob \| history
src/tools/miri/tests/fail/stacked_borrows/raw_tracking.stderr		diff \| blob \| history
src/tools/miri/tests/fail/stacked_borrows/return_invalid_mut.stderr		diff \| blob \| history
src/tools/miri/tests/fail/stacked_borrows/return_invalid_mut_option.stderr		diff \| blob \| history
src/tools/miri/tests/fail/stacked_borrows/return_invalid_mut_tuple.stderr		diff \| blob \| history
src/tools/miri/tests/fail/stacked_borrows/return_invalid_shr.stderr		diff \| blob \| history
src/tools/miri/tests/fail/stacked_borrows/return_invalid_shr_option.stderr		diff \| blob \| history
src/tools/miri/tests/fail/stacked_borrows/return_invalid_shr_tuple.stderr		diff \| blob \| history
src/tools/miri/tests/fail/stacked_borrows/shared_rw_borrows_are_weak1.stderr		diff \| blob \| history
src/tools/miri/tests/fail/stacked_borrows/shared_rw_borrows_are_weak2.stderr		diff \| blob \| history
src/tools/miri/tests/fail/stacked_borrows/shr_frozen_violation1.stderr		diff \| blob \| history
src/tools/miri/tests/fail/stacked_borrows/static_memory_modification.stderr		diff \| blob \| history
src/tools/miri/tests/fail/stacked_borrows/track_caller.stderr		diff \| blob \| history
src/tools/miri/tests/fail/stacked_borrows/transmute-is-no-escape.stderr		diff \| blob \| history
src/tools/miri/tests/fail/stacked_borrows/unescaped_local.stderr		diff \| blob \| history
src/tools/miri/tests/fail/stacked_borrows/unescaped_static.stderr		diff \| blob \| history
src/tools/miri/tests/fail/stacked_borrows/zst_slice.stderr		diff \| blob \| history
src/tools/miri/tests/fail/static_memory_modification1.stderr		diff \| blob \| history
src/tools/miri/tests/fail/static_memory_modification2.stderr		diff \| blob \| history
src/tools/miri/tests/fail/static_memory_modification3.stderr		diff \| blob \| history
src/tools/miri/tests/fail/transmute-pair-uninit.stderr		diff \| blob \| history
src/tools/miri/tests/fail/type-too-large.stderr		diff \| blob \| history
src/tools/miri/tests/fail/unaligned_pointers/alignment.stderr		diff \| blob \| history
src/tools/miri/tests/fail/unaligned_pointers/atomic_unaligned.stderr		diff \| blob \| history
src/tools/miri/tests/fail/unaligned_pointers/dyn_alignment.stderr		diff \| blob \| history
src/tools/miri/tests/fail/unaligned_pointers/intptrcast_alignment_check.stderr		diff \| blob \| history
src/tools/miri/tests/fail/unaligned_pointers/reference_to_packed.stderr		diff \| blob \| history
src/tools/miri/tests/fail/unaligned_pointers/unaligned_ptr1.stderr		diff \| blob \| history
src/tools/miri/tests/fail/unaligned_pointers/unaligned_ptr2.stderr		diff \| blob \| history
src/tools/miri/tests/fail/unaligned_pointers/unaligned_ptr3.stderr		diff \| blob \| history
src/tools/miri/tests/fail/unaligned_pointers/unaligned_ptr4.stderr		diff \| blob \| history
src/tools/miri/tests/fail/unaligned_pointers/unaligned_ptr_addr_of.stderr		diff \| blob \| history
src/tools/miri/tests/fail/unaligned_pointers/unaligned_ptr_zst.stderr		diff \| blob \| history
src/tools/miri/tests/fail/uninit_buffer.stderr		diff \| blob \| history
src/tools/miri/tests/fail/uninit_buffer_with_provenance.stderr		diff \| blob \| history
src/tools/miri/tests/fail/uninit_byte_read.stderr		diff \| blob \| history
src/tools/miri/tests/fail/unreachable.stderr		diff \| blob \| history
src/tools/miri/tests/fail/unsized-local.stderr		diff \| blob \| history
src/tools/miri/tests/fail/unsupported_foreign_function.stderr		diff \| blob \| history
src/tools/miri/tests/fail/unsupported_signal.stderr		diff \| blob \| history
src/tools/miri/tests/fail/validity/cast_fn_ptr1.stderr		diff \| blob \| history
src/tools/miri/tests/fail/validity/cast_fn_ptr2.stderr		diff \| blob \| history
src/tools/miri/tests/fail/validity/dangling_ref1.stderr		diff \| blob \| history
src/tools/miri/tests/fail/validity/dangling_ref2.stderr		diff \| blob \| history
src/tools/miri/tests/fail/validity/dangling_ref3.stderr		diff \| blob \| history
src/tools/miri/tests/fail/validity/invalid_bool.stderr		diff \| blob \| history
src/tools/miri/tests/fail/validity/invalid_bool_uninit.stderr		diff \| blob \| history
src/tools/miri/tests/fail/validity/invalid_char.stderr		diff \| blob \| history
src/tools/miri/tests/fail/validity/invalid_char_uninit.stderr		diff \| blob \| history
src/tools/miri/tests/fail/validity/invalid_enum_tag.stderr		diff \| blob \| history
src/tools/miri/tests/fail/validity/invalid_fnptr_null.stderr		diff \| blob \| history
src/tools/miri/tests/fail/validity/invalid_fnptr_uninit.stderr		diff \| blob \| history
src/tools/miri/tests/fail/validity/invalid_wide_raw.stderr		diff \| blob \| history
src/tools/miri/tests/fail/validity/nonzero.stderr		diff \| blob \| history
src/tools/miri/tests/fail/validity/ref_to_uninhabited1.stderr		diff \| blob \| history
src/tools/miri/tests/fail/validity/ref_to_uninhabited2.stderr		diff \| blob \| history
src/tools/miri/tests/fail/validity/too-big-slice.stderr		diff \| blob \| history
src/tools/miri/tests/fail/validity/too-big-unsized.stderr		diff \| blob \| history
src/tools/miri/tests/fail/validity/transmute_through_ptr.stderr		diff \| blob \| history
src/tools/miri/tests/fail/validity/uninit_float.stderr		diff \| blob \| history
src/tools/miri/tests/fail/validity/uninit_integer.stderr		diff \| blob \| history
src/tools/miri/tests/fail/validity/uninit_raw_ptr.stderr		diff \| blob \| history
src/tools/miri/tests/fail/weak_memory/racing_mixed_size.stderr		diff \| blob \| history
src/tools/miri/tests/fail/weak_memory/racing_mixed_size_read.stderr		diff \| blob \| history
src/tools/miri/tests/fail/zst1.stderr		diff \| blob \| history
src/tools/miri/tests/fail/zst2.stderr		diff \| blob \| history
src/tools/miri/tests/fail/zst3.stderr		diff \| blob \| history
src/tools/miri/tests/pass/box.stderr		diff \| blob \| history
src/tools/miri/tests/pass/extern_types.stderr		diff \| blob \| history
src/tools/miri/tests/pass/stacked-borrows/issue-miri-2389.stderr		diff \| blob \| history

Empowering everyone to build reliable and efficient software.

RSS Atom