]> git.lizzy.rs Git - rust.git/commit
Add a custom ui test runner and move all tests to it
authorOli Scherer <git-spam-no-reply9815368754983@oli-obk.de>
Thu, 17 Mar 2022 13:49:10 +0000 (13:49 +0000)
committerOli Scherer <git-spam-no-reply9815368754983@oli-obk.de>
Wed, 25 May 2022 13:31:26 +0000 (13:31 +0000)
commitf1756c3ddd06f8d82fa20fb9d738708f84382a33
tree0d6d8ef9991d9ec8af4009f344873d11f5785511
parent5063880779609c3f5d084ecdd7ab948f28f9279b
Add a custom ui test runner and move all tests to it
470 files changed:
CONTRIBUTING.md
Cargo.lock
Cargo.toml
README.md
cargo-miri/bin.rs
ci.sh
miri
src/machine.rs
tests/compile-fail/abort-terminator.stderr [new file with mode: 0644]
tests/compile-fail/alloc/deallocate-bad-alignment.stderr [new file with mode: 0644]
tests/compile-fail/alloc/deallocate-bad-size.stderr [new file with mode: 0644]
tests/compile-fail/alloc/deallocate-twice.stderr [new file with mode: 0644]
tests/compile-fail/alloc/global_system_mixup.rs
tests/compile-fail/alloc/global_system_mixup.stderr [new file with mode: 0644]
tests/compile-fail/alloc/no_global_allocator.stderr [new file with mode: 0644]
tests/compile-fail/alloc/reallocate-bad-size.stderr [new file with mode: 0644]
tests/compile-fail/alloc/reallocate-change-alloc.stderr [new file with mode: 0644]
tests/compile-fail/alloc/reallocate-dangling.stderr [new file with mode: 0644]
tests/compile-fail/alloc/stack_free.stderr [new file with mode: 0644]
tests/compile-fail/backtrace/bad-backtrace-decl.stderr [new file with mode: 0644]
tests/compile-fail/backtrace/bad-backtrace-flags.stderr [new file with mode: 0644]
tests/compile-fail/backtrace/bad-backtrace-ptr.stderr [new file with mode: 0644]
tests/compile-fail/backtrace/bad-backtrace-resolve-flags.stderr [new file with mode: 0644]
tests/compile-fail/backtrace/bad-backtrace-resolve-names-flags.stderr [new file with mode: 0644]
tests/compile-fail/backtrace/bad-backtrace-size-flags.stderr [new file with mode: 0644]
tests/compile-fail/backtrace/bad-backtrace-version.stderr [new file with mode: 0644]
tests/compile-fail/box-cell-alias.stderr [new file with mode: 0644]
tests/compile-fail/branchless-select-i128-pointer.stderr [new file with mode: 0644]
tests/compile-fail/breakpoint.stderr [new file with mode: 0644]
tests/compile-fail/concurrency/libc_pthread_create_main_terminate.stderr [new file with mode: 0644]
tests/compile-fail/concurrency/libc_pthread_join_detached.stderr [new file with mode: 0644]
tests/compile-fail/concurrency/libc_pthread_join_joined.stderr [new file with mode: 0644]
tests/compile-fail/concurrency/libc_pthread_join_main.stderr [new file with mode: 0644]
tests/compile-fail/concurrency/libc_pthread_join_multiple.stderr [new file with mode: 0644]
tests/compile-fail/concurrency/libc_pthread_join_self.stderr [new file with mode: 0644]
tests/compile-fail/concurrency/thread-spawn.rs
tests/compile-fail/concurrency/thread_local_static_dealloc.stderr [new file with mode: 0644]
tests/compile-fail/concurrency/too_few_args.stderr [new file with mode: 0644]
tests/compile-fail/concurrency/too_many_args.stderr [new file with mode: 0644]
tests/compile-fail/concurrency/unwind_top_of_stack.stderr [new file with mode: 0644]
tests/compile-fail/dangling_pointers/dangling_pointer_addr_of.stderr [new file with mode: 0644]
tests/compile-fail/dangling_pointers/dangling_pointer_deref.stderr [new file with mode: 0644]
tests/compile-fail/dangling_pointers/dangling_zst_deref.stderr [new file with mode: 0644]
tests/compile-fail/dangling_pointers/deref-invalid-ptr.rs
tests/compile-fail/dangling_pointers/deref-invalid-ptr.stderr [new file with mode: 0644]
tests/compile-fail/dangling_pointers/deref-partially-dangling.stderr [new file with mode: 0644]
tests/compile-fail/dangling_pointers/dyn_size.stderr [new file with mode: 0644]
tests/compile-fail/dangling_pointers/maybe_null_pointer_deref_zst.stderr [new file with mode: 0644]
tests/compile-fail/dangling_pointers/maybe_null_pointer_write_zst.stderr [new file with mode: 0644]
tests/compile-fail/dangling_pointers/null_pointer_deref.stderr [new file with mode: 0644]
tests/compile-fail/dangling_pointers/null_pointer_deref_zst.stderr [new file with mode: 0644]
tests/compile-fail/dangling_pointers/null_pointer_write.stderr [new file with mode: 0644]
tests/compile-fail/dangling_pointers/null_pointer_write_zst.stderr [new file with mode: 0644]
tests/compile-fail/dangling_pointers/out_of_bounds_read1.stderr [new file with mode: 0644]
tests/compile-fail/dangling_pointers/out_of_bounds_read2.stderr [new file with mode: 0644]
tests/compile-fail/dangling_pointers/stack_temporary.stderr [new file with mode: 0644]
tests/compile-fail/dangling_pointers/storage_dead_dangling.stderr [new file with mode: 0644]
tests/compile-fail/dangling_pointers/wild_pointer_deref.rs
tests/compile-fail/dangling_pointers/wild_pointer_deref.stderr [new file with mode: 0644]
tests/compile-fail/data_race/alloc_read_race.stderr [new file with mode: 0644]
tests/compile-fail/data_race/alloc_write_race.stderr [new file with mode: 0644]
tests/compile-fail/data_race/atomic_read_na_write_race1.stderr [new file with mode: 0644]
tests/compile-fail/data_race/atomic_read_na_write_race2.stderr [new file with mode: 0644]
tests/compile-fail/data_race/atomic_write_na_read_race1.stderr [new file with mode: 0644]
tests/compile-fail/data_race/atomic_write_na_read_race2.stderr [new file with mode: 0644]
tests/compile-fail/data_race/atomic_write_na_write_race1.stderr [new file with mode: 0644]
tests/compile-fail/data_race/atomic_write_na_write_race2.stderr [new file with mode: 0644]
tests/compile-fail/data_race/dangling_thread_async_race.stderr [new file with mode: 0644]
tests/compile-fail/data_race/dangling_thread_race.stderr [new file with mode: 0644]
tests/compile-fail/data_race/dealloc_read_race1.stderr [new file with mode: 0644]
tests/compile-fail/data_race/dealloc_read_race2.stderr [new file with mode: 0644]
tests/compile-fail/data_race/dealloc_read_race_stack.stderr [new file with mode: 0644]
tests/compile-fail/data_race/dealloc_write_race1.stderr [new file with mode: 0644]
tests/compile-fail/data_race/dealloc_write_race2.stderr [new file with mode: 0644]
tests/compile-fail/data_race/dealloc_write_race_stack.stderr [new file with mode: 0644]
tests/compile-fail/data_race/enable_after_join_to_main.stderr [new file with mode: 0644]
tests/compile-fail/data_race/read_write_race.stderr [new file with mode: 0644]
tests/compile-fail/data_race/read_write_race_stack.stderr [new file with mode: 0644]
tests/compile-fail/data_race/relax_acquire_race.stderr [new file with mode: 0644]
tests/compile-fail/data_race/release_seq_race.stderr [new file with mode: 0644]
tests/compile-fail/data_race/release_seq_race_same_thread.stderr [new file with mode: 0644]
tests/compile-fail/data_race/rmw_race.stderr [new file with mode: 0644]
tests/compile-fail/data_race/write_write_race.stderr [new file with mode: 0644]
tests/compile-fail/data_race/write_write_race_stack.stderr [new file with mode: 0644]
tests/compile-fail/environ-gets-deallocated.stderr [new file with mode: 0644]
tests/compile-fail/erroneous_const.stderr [new file with mode: 0644]
tests/compile-fail/erroneous_const2.stderr [new file with mode: 0644]
tests/compile-fail/extern_static.stderr [new file with mode: 0644]
tests/compile-fail/fast_math_both.stderr [new file with mode: 0644]
tests/compile-fail/fast_math_first.stderr [new file with mode: 0644]
tests/compile-fail/fast_math_second.stderr [new file with mode: 0644]
tests/compile-fail/fs/close_stdout.stderr [new file with mode: 0644]
tests/compile-fail/fs/isolated_file.stderr [new file with mode: 0644]
tests/compile-fail/fs/isolated_stdin.stderr [new file with mode: 0644]
tests/compile-fail/fs/read_from_stdout.stderr [new file with mode: 0644]
tests/compile-fail/fs/unix_open_missing_required_mode.stderr [new file with mode: 0644]
tests/compile-fail/fs/unix_open_too_many_args.stderr [new file with mode: 0644]
tests/compile-fail/fs/write_to_stdin.stderr [new file with mode: 0644]
tests/compile-fail/function_calls/check_arg_abi.stderr [new file with mode: 0644]
tests/compile-fail/function_calls/check_arg_count_abort.stderr [new file with mode: 0644]
tests/compile-fail/function_calls/check_arg_count_too_few_args.stderr [new file with mode: 0644]
tests/compile-fail/function_calls/check_arg_count_too_many_args.stderr [new file with mode: 0644]
tests/compile-fail/function_calls/check_callback_abi.stderr [new file with mode: 0644]
tests/compile-fail/function_calls/exported_symbol_abi_mismatch.cache.stderr [new file with mode: 0644]
tests/compile-fail/function_calls/exported_symbol_abi_mismatch.fn_ptr.stderr [new file with mode: 0644]
tests/compile-fail/function_calls/exported_symbol_abi_mismatch.no_cache.stderr [new file with mode: 0644]
tests/compile-fail/function_calls/exported_symbol_bad_unwind1.stderr [new file with mode: 0644]
tests/compile-fail/function_calls/exported_symbol_bad_unwind2.both.stderr [new file with mode: 0644]
tests/compile-fail/function_calls/exported_symbol_bad_unwind2.definition.stderr [new file with mode: 0644]
tests/compile-fail/function_calls/exported_symbol_bad_unwind2.extern_block.stderr [new file with mode: 0644]
tests/compile-fail/function_calls/exported_symbol_clashing.stderr [new file with mode: 0644]
tests/compile-fail/function_calls/exported_symbol_shim_clashing.stderr [new file with mode: 0644]
tests/compile-fail/function_calls/exported_symbol_wrong_arguments.stderr [new file with mode: 0644]
tests/compile-fail/function_calls/exported_symbol_wrong_type.stderr [new file with mode: 0644]
tests/compile-fail/function_pointers/cast_box_int_to_fn_ptr.stderr [new file with mode: 0644]
tests/compile-fail/function_pointers/cast_fn_ptr1.stderr [new file with mode: 0644]
tests/compile-fail/function_pointers/cast_fn_ptr2.stderr [new file with mode: 0644]
tests/compile-fail/function_pointers/cast_fn_ptr3.stderr [new file with mode: 0644]
tests/compile-fail/function_pointers/cast_fn_ptr4.stderr [new file with mode: 0644]
tests/compile-fail/function_pointers/cast_fn_ptr5.stderr [new file with mode: 0644]
tests/compile-fail/function_pointers/cast_int_to_fn_ptr.rs
tests/compile-fail/function_pointers/cast_int_to_fn_ptr.stderr [new file with mode: 0644]
tests/compile-fail/function_pointers/deref_fn_ptr.stderr [new file with mode: 0644]
tests/compile-fail/function_pointers/execute_memory.stderr [new file with mode: 0644]
tests/compile-fail/function_pointers/fn_ptr_offset.stderr [new file with mode: 0644]
tests/compile-fail/generator-pinned-moved.stderr [new file with mode: 0644]
tests/compile-fail/intrinsics/assume.stderr [new file with mode: 0644]
tests/compile-fail/intrinsics/copy_null.stderr [new file with mode: 0644]
tests/compile-fail/intrinsics/copy_overflow.stderr [new file with mode: 0644]
tests/compile-fail/intrinsics/copy_overlapping.stderr [new file with mode: 0644]
tests/compile-fail/intrinsics/copy_unaligned.rs
tests/compile-fail/intrinsics/copy_unaligned.stderr [new file with mode: 0644]
tests/compile-fail/intrinsics/ctlz_nonzero.stderr [new file with mode: 0644]
tests/compile-fail/intrinsics/cttz_nonzero.stderr [new file with mode: 0644]
tests/compile-fail/intrinsics/div-by-zero.stderr [new file with mode: 0644]
tests/compile-fail/intrinsics/exact_div1.stderr [new file with mode: 0644]
tests/compile-fail/intrinsics/exact_div2.stderr [new file with mode: 0644]
tests/compile-fail/intrinsics/exact_div3.stderr [new file with mode: 0644]
tests/compile-fail/intrinsics/exact_div4.stderr [new file with mode: 0644]
tests/compile-fail/intrinsics/float_to_int_32_inf1.stderr [new file with mode: 0644]
tests/compile-fail/intrinsics/float_to_int_32_infneg1.stderr [new file with mode: 0644]
tests/compile-fail/intrinsics/float_to_int_32_nan.stderr [new file with mode: 0644]
tests/compile-fail/intrinsics/float_to_int_32_nanneg.stderr [new file with mode: 0644]
tests/compile-fail/intrinsics/float_to_int_32_neg.stderr [new file with mode: 0644]
tests/compile-fail/intrinsics/float_to_int_32_too_big1.stderr [new file with mode: 0644]
tests/compile-fail/intrinsics/float_to_int_32_too_big2.stderr [new file with mode: 0644]
tests/compile-fail/intrinsics/float_to_int_32_too_small1.stderr [new file with mode: 0644]
tests/compile-fail/intrinsics/float_to_int_64_inf1.stderr [new file with mode: 0644]
tests/compile-fail/intrinsics/float_to_int_64_infneg1.stderr [new file with mode: 0644]
tests/compile-fail/intrinsics/float_to_int_64_infneg2.stderr [new file with mode: 0644]
tests/compile-fail/intrinsics/float_to_int_64_nan.stderr [new file with mode: 0644]
tests/compile-fail/intrinsics/float_to_int_64_neg.stderr [new file with mode: 0644]
tests/compile-fail/intrinsics/float_to_int_64_too_big1.stderr [new file with mode: 0644]
tests/compile-fail/intrinsics/float_to_int_64_too_big2.stderr [new file with mode: 0644]
tests/compile-fail/intrinsics/float_to_int_64_too_big3.stderr [new file with mode: 0644]
tests/compile-fail/intrinsics/float_to_int_64_too_big4.stderr [new file with mode: 0644]
tests/compile-fail/intrinsics/float_to_int_64_too_big5.stderr [new file with mode: 0644]
tests/compile-fail/intrinsics/float_to_int_64_too_big6.stderr [new file with mode: 0644]
tests/compile-fail/intrinsics/float_to_int_64_too_big7.stderr [new file with mode: 0644]
tests/compile-fail/intrinsics/float_to_int_64_too_small1.stderr [new file with mode: 0644]
tests/compile-fail/intrinsics/float_to_int_64_too_small2.stderr [new file with mode: 0644]
tests/compile-fail/intrinsics/float_to_int_64_too_small3.stderr [new file with mode: 0644]
tests/compile-fail/intrinsics/out_of_bounds_ptr_1.stderr [new file with mode: 0644]
tests/compile-fail/intrinsics/out_of_bounds_ptr_2.stderr [new file with mode: 0644]
tests/compile-fail/intrinsics/out_of_bounds_ptr_3.stderr [new file with mode: 0644]
tests/compile-fail/intrinsics/overflowing-unchecked-rsh.rs
tests/compile-fail/intrinsics/overflowing-unchecked-rsh.stderr [new file with mode: 0644]
tests/compile-fail/intrinsics/ptr_offset_0_plus_0.stderr [new file with mode: 0644]
tests/compile-fail/intrinsics/ptr_offset_from_oob.stderr [new file with mode: 0644]
tests/compile-fail/intrinsics/ptr_offset_int_plus_int.rs
tests/compile-fail/intrinsics/ptr_offset_int_plus_int.stderr [new file with mode: 0644]
tests/compile-fail/intrinsics/ptr_offset_int_plus_ptr.rs
tests/compile-fail/intrinsics/ptr_offset_int_plus_ptr.stderr [new file with mode: 0644]
tests/compile-fail/intrinsics/ptr_offset_overflow.rs
tests/compile-fail/intrinsics/ptr_offset_overflow.stderr [new file with mode: 0644]
tests/compile-fail/intrinsics/ptr_offset_ptr_plus_0.stderr [new file with mode: 0644]
tests/compile-fail/intrinsics/rem-by-zero.stderr [new file with mode: 0644]
tests/compile-fail/intrinsics/simd-div-by-zero.stderr [new file with mode: 0644]
tests/compile-fail/intrinsics/simd-div-overflow.stderr [new file with mode: 0644]
tests/compile-fail/intrinsics/simd-float-to-int.stderr [new file with mode: 0644]
tests/compile-fail/intrinsics/simd-gather.stderr [new file with mode: 0644]
tests/compile-fail/intrinsics/simd-reduce-invalid-bool.stderr [new file with mode: 0644]
tests/compile-fail/intrinsics/simd-rem-by-zero.stderr [new file with mode: 0644]
tests/compile-fail/intrinsics/simd-scatter.stderr [new file with mode: 0644]
tests/compile-fail/intrinsics/simd-select-bitmask-invalid.stderr [new file with mode: 0644]
tests/compile-fail/intrinsics/simd-select-invalid-bool.stderr [new file with mode: 0644]
tests/compile-fail/intrinsics/simd-shl-too-far.stderr [new file with mode: 0644]
tests/compile-fail/intrinsics/simd-shr-too-far.stderr [new file with mode: 0644]
tests/compile-fail/intrinsics/unchecked_add1.stderr [new file with mode: 0644]
tests/compile-fail/intrinsics/unchecked_add2.stderr [new file with mode: 0644]
tests/compile-fail/intrinsics/unchecked_div1.stderr [new file with mode: 0644]
tests/compile-fail/intrinsics/unchecked_mul1.stderr [new file with mode: 0644]
tests/compile-fail/intrinsics/unchecked_mul2.stderr [new file with mode: 0644]
tests/compile-fail/intrinsics/unchecked_sub1.stderr [new file with mode: 0644]
tests/compile-fail/intrinsics/unchecked_sub2.stderr [new file with mode: 0644]
tests/compile-fail/intrinsics/uninit_uninhabited_type.stderr [new file with mode: 0644]
tests/compile-fail/intrinsics/write_bytes_null.stderr [new file with mode: 0644]
tests/compile-fail/intrinsics/write_bytes_overflow.stderr [new file with mode: 0644]
tests/compile-fail/intrinsics/zero_fn_ptr.stderr [new file with mode: 0644]
tests/compile-fail/invalid_bool.rs
tests/compile-fail/invalid_bool.stderr [new file with mode: 0644]
tests/compile-fail/invalid_char.rs
tests/compile-fail/invalid_char.stderr [new file with mode: 0644]
tests/compile-fail/invalid_enum_tag.rs
tests/compile-fail/invalid_enum_tag.stderr [new file with mode: 0644]
tests/compile-fail/invalid_int.stderr [new file with mode: 0644]
tests/compile-fail/issue-miri-1112.stderr [new file with mode: 0644]
tests/compile-fail/memleak.rs
tests/compile-fail/memleak.stderr [new file with mode: 0644]
tests/compile-fail/memleak_rc.32bit.stderr [new file with mode: 0644]
tests/compile-fail/memleak_rc.64bit.stderr [new file with mode: 0644]
tests/compile-fail/memleak_rc.rs
tests/compile-fail/modifying_constants.stderr [new file with mode: 0644]
tests/compile-fail/never_say_never.stderr [new file with mode: 0644]
tests/compile-fail/never_transmute_humans.stderr [new file with mode: 0644]
tests/compile-fail/never_transmute_void.stderr [new file with mode: 0644]
tests/compile-fail/no_main.stderr [new file with mode: 0644]
tests/compile-fail/null_pointer_deref.stderr [new file with mode: 0644]
tests/compile-fail/null_pointer_deref_zst.stderr [new file with mode: 0644]
tests/compile-fail/null_pointer_write.stderr [new file with mode: 0644]
tests/compile-fail/null_pointer_write_zst.stderr [new file with mode: 0644]
tests/compile-fail/panic/bad_miri_start_panic.stderr [new file with mode: 0644]
tests/compile-fail/panic/bad_unwind.stderr [new file with mode: 0644]
tests/compile-fail/panic/double_panic.stderr [new file with mode: 0644]
tests/compile-fail/panic/panic_abort1.stderr [new file with mode: 0644]
tests/compile-fail/panic/panic_abort2.stderr [new file with mode: 0644]
tests/compile-fail/panic/panic_abort3.stderr [new file with mode: 0644]
tests/compile-fail/panic/panic_abort4.stderr [new file with mode: 0644]
tests/compile-fail/panic/unwind_panic_abort.stderr [new file with mode: 0644]
tests/compile-fail/pointer_partial_overwrite.stderr [new file with mode: 0644]
tests/compile-fail/pointer_partial_read.stderr [new file with mode: 0644]
tests/compile-fail/provenance/ptr_int_unexposed.stderr [new file with mode: 0644]
tests/compile-fail/provenance/ptr_invalid.stderr [new file with mode: 0644]
tests/compile-fail/provenance/ptr_legacy_provenance.rs
tests/compile-fail/provenance/ptr_legacy_provenance.stderr [new file with mode: 0644]
tests/compile-fail/provenance/strict-provenance-offset.stderr [new file with mode: 0644]
tests/compile-fail/provenance/strict_provenance_transmute.stderr [new file with mode: 0644]
tests/compile-fail/ptr_integer_array_transmute.stderr [new file with mode: 0644]
tests/compile-fail/ptr_integer_transmute.stderr [new file with mode: 0644]
tests/compile-fail/rc_as_ptr.stderr [new file with mode: 0644]
tests/compile-fail/reading_half_a_pointer.stderr [new file with mode: 0644]
tests/compile-fail/rustc-error.stderr [new file with mode: 0644]
tests/compile-fail/shim_arg_size.32bit.stderr [new file with mode: 0644]
tests/compile-fail/shim_arg_size.64bit.stderr [new file with mode: 0644]
tests/compile-fail/shim_arg_size.rs
tests/compile-fail/slice-too-big.stderr [new file with mode: 0644]
tests/compile-fail/stacked_borrows/alias_through_mutation.stderr [new file with mode: 0644]
tests/compile-fail/stacked_borrows/aliasing_mut1.stderr [new file with mode: 0644]
tests/compile-fail/stacked_borrows/aliasing_mut2.stderr [new file with mode: 0644]
tests/compile-fail/stacked_borrows/aliasing_mut3.stderr [new file with mode: 0644]
tests/compile-fail/stacked_borrows/aliasing_mut4.stderr [new file with mode: 0644]
tests/compile-fail/stacked_borrows/box_exclusive_violation1.stderr [new file with mode: 0644]
tests/compile-fail/stacked_borrows/buggy_as_mut_slice.stderr [new file with mode: 0644]
tests/compile-fail/stacked_borrows/buggy_split_at_mut.stderr [new file with mode: 0644]
tests/compile-fail/stacked_borrows/deallocate_against_barrier1.stderr [new file with mode: 0644]
tests/compile-fail/stacked_borrows/deallocate_against_barrier2.stderr [new file with mode: 0644]
tests/compile-fail/stacked_borrows/illegal_read1.stderr [new file with mode: 0644]
tests/compile-fail/stacked_borrows/illegal_read2.stderr [new file with mode: 0644]
tests/compile-fail/stacked_borrows/illegal_read3.stderr [new file with mode: 0644]
tests/compile-fail/stacked_borrows/illegal_read4.stderr [new file with mode: 0644]
tests/compile-fail/stacked_borrows/illegal_read5.rs
tests/compile-fail/stacked_borrows/illegal_read5.stderr [new file with mode: 0644]
tests/compile-fail/stacked_borrows/illegal_read6.stderr [new file with mode: 0644]
tests/compile-fail/stacked_borrows/illegal_read7.stderr [new file with mode: 0644]
tests/compile-fail/stacked_borrows/illegal_read8.stderr [new file with mode: 0644]
tests/compile-fail/stacked_borrows/illegal_write1.stderr [new file with mode: 0644]
tests/compile-fail/stacked_borrows/illegal_write2.stderr [new file with mode: 0644]
tests/compile-fail/stacked_borrows/illegal_write3.stderr [new file with mode: 0644]
tests/compile-fail/stacked_borrows/illegal_write4.stderr [new file with mode: 0644]
tests/compile-fail/stacked_borrows/illegal_write5.stderr [new file with mode: 0644]
tests/compile-fail/stacked_borrows/illegal_write6.stderr [new file with mode: 0644]
tests/compile-fail/stacked_borrows/interior_mut1.stderr [new file with mode: 0644]
tests/compile-fail/stacked_borrows/interior_mut2.stderr [new file with mode: 0644]
tests/compile-fail/stacked_borrows/invalidate_against_barrier1.stderr [new file with mode: 0644]
tests/compile-fail/stacked_borrows/invalidate_against_barrier2.stderr [new file with mode: 0644]
tests/compile-fail/stacked_borrows/issue-miri-1050-1.stderr [new file with mode: 0644]
tests/compile-fail/stacked_borrows/issue-miri-1050-2.rs
tests/compile-fail/stacked_borrows/issue-miri-1050-2.stderr [new file with mode: 0644]
tests/compile-fail/stacked_borrows/load_invalid_mut.stderr [new file with mode: 0644]
tests/compile-fail/stacked_borrows/load_invalid_shr.stderr [new file with mode: 0644]
tests/compile-fail/stacked_borrows/mut_exclusive_violation1.stderr [new file with mode: 0644]
tests/compile-fail/stacked_borrows/mut_exclusive_violation2.stderr [new file with mode: 0644]
tests/compile-fail/stacked_borrows/outdated_local.stderr [new file with mode: 0644]
tests/compile-fail/stacked_borrows/pass_invalid_mut.stderr [new file with mode: 0644]
tests/compile-fail/stacked_borrows/pass_invalid_shr.stderr [new file with mode: 0644]
tests/compile-fail/stacked_borrows/pointer_smuggling.stderr [new file with mode: 0644]
tests/compile-fail/stacked_borrows/raw_tracking.stderr [new file with mode: 0644]
tests/compile-fail/stacked_borrows/return_invalid_mut.stderr [new file with mode: 0644]
tests/compile-fail/stacked_borrows/return_invalid_mut_option.stderr [new file with mode: 0644]
tests/compile-fail/stacked_borrows/return_invalid_mut_tuple.stderr [new file with mode: 0644]
tests/compile-fail/stacked_borrows/return_invalid_shr.stderr [new file with mode: 0644]
tests/compile-fail/stacked_borrows/return_invalid_shr_option.stderr [new file with mode: 0644]
tests/compile-fail/stacked_borrows/return_invalid_shr_tuple.stderr [new file with mode: 0644]
tests/compile-fail/stacked_borrows/shared_rw_borrows_are_weak1.stderr [new file with mode: 0644]
tests/compile-fail/stacked_borrows/shared_rw_borrows_are_weak2.rs
tests/compile-fail/stacked_borrows/shared_rw_borrows_are_weak2.stderr [new file with mode: 0644]
tests/compile-fail/stacked_borrows/shr_frozen_violation1.stderr [new file with mode: 0644]
tests/compile-fail/stacked_borrows/static_memory_modification.rs
tests/compile-fail/stacked_borrows/static_memory_modification.stderr [new file with mode: 0644]
tests/compile-fail/stacked_borrows/transmute-is-no-escape.stderr [new file with mode: 0644]
tests/compile-fail/stacked_borrows/unescaped_local.stderr [new file with mode: 0644]
tests/compile-fail/stacked_borrows/unescaped_static.stderr [new file with mode: 0644]
tests/compile-fail/stacked_borrows/zst_slice.stderr [new file with mode: 0644]
tests/compile-fail/static_memory_modification1.stderr [new file with mode: 0644]
tests/compile-fail/static_memory_modification2.stderr [new file with mode: 0644]
tests/compile-fail/static_memory_modification3.stderr [new file with mode: 0644]
tests/compile-fail/strict-provenance-offset.stderr [new file with mode: 0644]
tests/compile-fail/strict_provenance_transmute.stderr [new file with mode: 0644]
tests/compile-fail/sync/libc_pthread_cond_double_destroy.stderr [new file with mode: 0644]
tests/compile-fail/sync/libc_pthread_condattr_double_destroy.stderr [new file with mode: 0644]
tests/compile-fail/sync/libc_pthread_mutex_NULL_deadlock.stderr [new file with mode: 0644]
tests/compile-fail/sync/libc_pthread_mutex_deadlock.stderr [new file with mode: 0644]
tests/compile-fail/sync/libc_pthread_mutex_default_deadlock.stderr [new file with mode: 0644]
tests/compile-fail/sync/libc_pthread_mutex_destroy_locked.stderr [new file with mode: 0644]
tests/compile-fail/sync/libc_pthread_mutex_double_destroy.stderr [new file with mode: 0644]
tests/compile-fail/sync/libc_pthread_mutex_normal_deadlock.stderr [new file with mode: 0644]
tests/compile-fail/sync/libc_pthread_mutex_normal_unlock_unlocked.stderr [new file with mode: 0644]
tests/compile-fail/sync/libc_pthread_mutex_wrong_owner.stderr [new file with mode: 0644]
tests/compile-fail/sync/libc_pthread_mutexattr_double_destroy.stderr [new file with mode: 0644]
tests/compile-fail/sync/libc_pthread_rwlock_destroy_read_locked.stderr [new file with mode: 0644]
tests/compile-fail/sync/libc_pthread_rwlock_destroy_write_locked.stderr [new file with mode: 0644]
tests/compile-fail/sync/libc_pthread_rwlock_double_destroy.stderr [new file with mode: 0644]
tests/compile-fail/sync/libc_pthread_rwlock_read_write_deadlock_single_thread.stderr [new file with mode: 0644]
tests/compile-fail/sync/libc_pthread_rwlock_read_wrong_owner.stderr [new file with mode: 0644]
tests/compile-fail/sync/libc_pthread_rwlock_unlock_unlocked.stderr [new file with mode: 0644]
tests/compile-fail/sync/libc_pthread_rwlock_write_read_deadlock.stderr [new file with mode: 0644]
tests/compile-fail/sync/libc_pthread_rwlock_write_read_deadlock_single_thread.stderr [new file with mode: 0644]
tests/compile-fail/sync/libc_pthread_rwlock_write_write_deadlock.stderr [new file with mode: 0644]
tests/compile-fail/sync/libc_pthread_rwlock_write_write_deadlock_single_thread.stderr [new file with mode: 0644]
tests/compile-fail/sync/libc_pthread_rwlock_write_wrong_owner.stderr [new file with mode: 0644]
tests/compile-fail/too-big-slice.stderr [new file with mode: 0644]
tests/compile-fail/too-big-unsized.stderr [new file with mode: 0644]
tests/compile-fail/transmute-pair-uninit.stderr [new file with mode: 0644]
tests/compile-fail/transmute_fat1.stderr [new file with mode: 0644]
tests/compile-fail/type-too-large.stderr [new file with mode: 0644]
tests/compile-fail/unaligned_pointers/alignment.rs
tests/compile-fail/unaligned_pointers/alignment.stderr [new file with mode: 0644]
tests/compile-fail/unaligned_pointers/atomic_unaligned.stderr [new file with mode: 0644]
tests/compile-fail/unaligned_pointers/dyn_alignment.rs
tests/compile-fail/unaligned_pointers/dyn_alignment.stderr [new file with mode: 0644]
tests/compile-fail/unaligned_pointers/intptrcast_alignment_check.rs
tests/compile-fail/unaligned_pointers/intptrcast_alignment_check.stderr [new file with mode: 0644]
tests/compile-fail/unaligned_pointers/reference_to_packed.rs
tests/compile-fail/unaligned_pointers/reference_to_packed.stderr [new file with mode: 0644]
tests/compile-fail/unaligned_pointers/unaligned_ptr1.rs
tests/compile-fail/unaligned_pointers/unaligned_ptr1.stderr [new file with mode: 0644]
tests/compile-fail/unaligned_pointers/unaligned_ptr2.rs
tests/compile-fail/unaligned_pointers/unaligned_ptr2.stderr [new file with mode: 0644]
tests/compile-fail/unaligned_pointers/unaligned_ptr3.stderr [new file with mode: 0644]
tests/compile-fail/unaligned_pointers/unaligned_ptr4.stderr [new file with mode: 0644]
tests/compile-fail/unaligned_pointers/unaligned_ptr_addr_of.rs
tests/compile-fail/unaligned_pointers/unaligned_ptr_addr_of.stderr [new file with mode: 0644]
tests/compile-fail/unaligned_pointers/unaligned_ptr_zst.rs
tests/compile-fail/unaligned_pointers/unaligned_ptr_zst.stderr [new file with mode: 0644]
tests/compile-fail/uninit_buffer.stderr [new file with mode: 0644]
tests/compile-fail/uninit_byte_read.stderr [new file with mode: 0644]
tests/compile-fail/uninit_float.stderr [new file with mode: 0644]
tests/compile-fail/uninit_integer.stderr [new file with mode: 0644]
tests/compile-fail/uninit_integer_signed.stderr [new file with mode: 0644]
tests/compile-fail/uninit_raw_ptr.stderr [new file with mode: 0644]
tests/compile-fail/unreachable.stderr [new file with mode: 0644]
tests/compile-fail/unsupported_foreign_function.stderr [new file with mode: 0644]
tests/compile-fail/unsupported_signal.stderr [new file with mode: 0644]
tests/compile-fail/validity/cast_fn_ptr1.stderr [new file with mode: 0644]
tests/compile-fail/validity/cast_fn_ptr2.stderr [new file with mode: 0644]
tests/compile-fail/validity/dangling_ref1.rs
tests/compile-fail/validity/dangling_ref1.stderr [new file with mode: 0644]
tests/compile-fail/validity/dangling_ref2.stderr [new file with mode: 0644]
tests/compile-fail/validity/dangling_ref3.stderr [new file with mode: 0644]
tests/compile-fail/validity/invalid_bool.rs
tests/compile-fail/validity/invalid_bool.stderr [new file with mode: 0644]
tests/compile-fail/validity/invalid_bool_uninit.stderr [new file with mode: 0644]
tests/compile-fail/validity/invalid_char.rs
tests/compile-fail/validity/invalid_char.stderr [new file with mode: 0644]
tests/compile-fail/validity/invalid_char_uninit.rs
tests/compile-fail/validity/invalid_char_uninit.stderr [new file with mode: 0644]
tests/compile-fail/validity/invalid_enum_tag.stderr [new file with mode: 0644]
tests/compile-fail/validity/invalid_enum_tag_256variants_uninit.stderr [new file with mode: 0644]
tests/compile-fail/validity/invalid_fnptr_null.stderr [new file with mode: 0644]
tests/compile-fail/validity/invalid_fnptr_uninit.stderr [new file with mode: 0644]
tests/compile-fail/validity/invalid_wide_raw.stderr [new file with mode: 0644]
tests/compile-fail/validity/nonzero.stderr [new file with mode: 0644]
tests/compile-fail/validity/ptr_integer_array_transmute.stderr [new file with mode: 0644]
tests/compile-fail/validity/ptr_integer_transmute.stderr [new file with mode: 0644]
tests/compile-fail/validity/ref_to_uninhabited1.stderr [new file with mode: 0644]
tests/compile-fail/validity/ref_to_uninhabited2.stderr [new file with mode: 0644]
tests/compile-fail/validity/too-big-slice.stderr [new file with mode: 0644]
tests/compile-fail/validity/too-big-unsized.stderr [new file with mode: 0644]
tests/compile-fail/validity/transmute_through_ptr.stderr [new file with mode: 0644]
tests/compile-fail/validity/uninit_float.stderr [new file with mode: 0644]
tests/compile-fail/validity/uninit_integer.stderr [new file with mode: 0644]
tests/compile-fail/validity/uninit_integer_signed.stderr [new file with mode: 0644]
tests/compile-fail/zst1.stderr [new file with mode: 0644]
tests/compile-fail/zst2.stderr [new file with mode: 0644]
tests/compile-fail/zst3.stderr [new file with mode: 0644]
tests/compiletest.rs
tests/run-fail/function_calls/exported_symbol_good_unwind.rs [new file with mode: 0644]
tests/run-fail/function_calls/exported_symbol_good_unwind.stderr [new file with mode: 0644]
tests/run-fail/panic/div-by-zero-2.rs [new file with mode: 0644]
tests/run-fail/panic/div-by-zero-2.stderr [new file with mode: 0644]
tests/run-fail/panic/overflowing-lsh-neg.rs [new file with mode: 0644]
tests/run-fail/panic/overflowing-lsh-neg.stderr [new file with mode: 0644]
tests/run-fail/panic/overflowing-rsh-1.rs [new file with mode: 0644]
tests/run-fail/panic/overflowing-rsh-1.stderr [new file with mode: 0644]
tests/run-fail/panic/overflowing-rsh-2.rs [new file with mode: 0644]
tests/run-fail/panic/overflowing-rsh-2.stderr [new file with mode: 0644]
tests/run-fail/panic/panic1.rs [new file with mode: 0644]
tests/run-fail/panic/panic1.stderr [new file with mode: 0644]
tests/run-fail/panic/panic2.rs [new file with mode: 0644]
tests/run-fail/panic/panic2.stderr [new file with mode: 0644]
tests/run-fail/panic/panic3.rs [new file with mode: 0644]
tests/run-fail/panic/panic3.stderr [new file with mode: 0644]
tests/run-fail/panic/panic4.rs [new file with mode: 0644]
tests/run-fail/panic/panic4.stderr [new file with mode: 0644]
tests/run-fail/panic/unsupported_foreign_function.rs [new file with mode: 0644]
tests/run-fail/panic/unsupported_foreign_function.stderr [new file with mode: 0644]
tests/run-fail/panic/unsupported_syscall.rs [new file with mode: 0644]
tests/run-fail/panic/unsupported_syscall.stderr [new file with mode: 0644]
tests/run-fail/transmute_fat2.rs [new file with mode: 0644]
tests/run-fail/transmute_fat2.stderr [new file with mode: 0644]
tests/run-pass/backtrace-api-v0.rs
tests/run-pass/backtrace-api-v0.stderr
tests/run-pass/backtrace-api-v0.stdout
tests/run-pass/backtrace-api-v1.rs
tests/run-pass/backtrace-api-v1.stderr
tests/run-pass/backtrace-api-v1.stdout
tests/run-pass/backtrace-std.rs
tests/run-pass/backtrace-std.stderr
tests/run-pass/concurrency/disable_data_race_detector.rs
tests/run-pass/concurrency/libc_pthread_cond.rs
tests/run-pass/concurrency/linux-futex.rs
tests/run-pass/concurrency/simple.stderr
tests/run-pass/current_dir_with_isolation.rs
tests/run-pass/fs_with_isolation.rs
tests/run-pass/function_calls/exported_symbol_good_unwind.rs [deleted file]
tests/run-pass/function_calls/exported_symbol_good_unwind.stderr [deleted file]
tests/run-pass/linux-getrandom-without-isolation.rs
tests/run-pass/linux-getrandom.rs
tests/run-pass/panic/catch_panic.rs
tests/run-pass/panic/catch_panic.stderr
tests/run-pass/panic/concurrent-panic.stderr
tests/run-pass/panic/div-by-zero-2.rs [deleted file]
tests/run-pass/panic/div-by-zero-2.stderr [deleted file]
tests/run-pass/panic/overflowing-lsh-neg.rs [deleted file]
tests/run-pass/panic/overflowing-lsh-neg.stderr [deleted file]
tests/run-pass/panic/overflowing-rsh-1.rs [deleted file]
tests/run-pass/panic/overflowing-rsh-1.stderr [deleted file]
tests/run-pass/panic/overflowing-rsh-2.rs [deleted file]
tests/run-pass/panic/overflowing-rsh-2.stderr [deleted file]
tests/run-pass/panic/panic1.rs [deleted file]
tests/run-pass/panic/panic1.stderr [deleted file]
tests/run-pass/panic/panic2.rs [deleted file]
tests/run-pass/panic/panic2.stderr [deleted file]
tests/run-pass/panic/panic3.rs [deleted file]
tests/run-pass/panic/panic3.stderr [deleted file]
tests/run-pass/panic/panic4.rs [deleted file]
tests/run-pass/panic/panic4.stderr [deleted file]
tests/run-pass/panic/unsupported_foreign_function.rs [deleted file]
tests/run-pass/panic/unsupported_foreign_function.stderr [deleted file]
tests/run-pass/panic/unsupported_syscall.rs [deleted file]
tests/run-pass/panic/unsupported_syscall.stderr [deleted file]
tests/run-pass/stacked-borrows/generators-self-referential.rs
tests/run-pass/track-alloc-1.stderr
tests/run-pass/transmute_fat2.rs [deleted file]
tests/run-pass/transmute_fat2.stderr [deleted file]
tests/run-pass/wtf8.rs
ui_test/Cargo.toml [new file with mode: 0644]
ui_test/README.md [new file with mode: 0644]
ui_test/src/comments.rs [new file with mode: 0644]
ui_test/src/lib.rs [new file with mode: 0644]