rust icon indicating copy to clipboard operation
rust copied to clipboard

add `with_hash_task` to generate `DepNode` deterministically

Open SparrowLii opened this issue 1 year ago • 9 comments

Fixes #50507 Updates #48685

In evaluate_trait_predicate, DepGraph::with_anon_task function is used to get EvaluationResult and generate DepNodeIndex. This is fine in the non-parallel compiler because DepGraph::with_anon_task will only be called once, writing the result to EvaluationCache.

But in the parallel compiler, it is possible that the same two evaluate_trait_predicate tasks start executing at the same time. There is no doubt that the two tasks will get the same EvaluationResult, but they may produce different DepNodeIndex.

This PR specifies the way to generate hash values in DepNode by adding DepGraph::with_hash_task to ensure that the same two evaluate_trait_predicate tasks will get the same DepNodeIndex

SparrowLii avatar Aug 25 '22 07:08 SparrowLii

r? @cjgillot

(rust-highfive has picked a reviewer for you, use r? to override)

rust-highfive avatar Aug 25 '22 07:08 rust-highfive

This PR specifies the way to generate hash values in DepNode by adding DepGraph::with_anon_task to ensure that the same two evaluate_trait_predicate tasks will get the same DepNodeIndex

s/with_anon_task/with_hash_task, right?

bjorn3 avatar Aug 26 '22 10:08 bjorn3

This PR specifies the way to generate hash values in DepNode by adding DepGraph::with_anon_task to ensure that the same two evaluate_trait_predicate tasks will get the same DepNodeIndex

s/with_anon_task/with_hash_task, right?

That's right, thanks!

SparrowLii avatar Aug 26 '22 12:08 SparrowLii

I don't mean the DepNode in TaskDeps, but the DepNode associated to the indices. For now, this DepNode is not recorded anywhere. We should perhaps, but only in the parallel_compiler case. I have strong doubts about having the client code provide the hash. This seems like a correctness footgun for the dep-graph. OTOH, this whole anon task design is in itself a giant footgun...

Marking with rollup=never in case we need to bisect this. @bors r+ rollup=never

cjgillot avatar Oct 15 '22 13:10 cjgillot

:pushpin: Commit c5871422b9616a8790aba33aa94dac7cb6039a1c has been approved by cjgillot

It is now in the queue for this repository.

bors avatar Oct 15 '22 13:10 bors

:hourglass: Testing commit c5871422b9616a8790aba33aa94dac7cb6039a1c with merge 1e088860bbcd213f09533805bf528e60f6c06f01...

bors avatar Oct 15 '22 16:10 bors

:boom: Test timed out

bors avatar Oct 15 '22 20:10 bors

A job failed! Check out the build log: (web) (plain)

Click to see the possible cause of the failure (guessed by this bot)

rust-log-analyzer avatar Oct 15 '22 21:10 rust-log-analyzer

It looks like CI is having some trouble.

Yea, doing some special handle for the parallel compiler might be a better solution. I think we can come up with a follow-up if needed.

SparrowLii avatar Oct 17 '22 00:10 SparrowLii

@cjgillot Could we do a retry and r+?

SparrowLii avatar Oct 24 '22 09:10 SparrowLii

:umbrella: The latest upstream changes (presumably #104023) made this pull request unmergeable. Please resolve the merge conflicts.

bors avatar Nov 08 '22 07:11 bors

:lock: Merge conflict

This pull request and the master branch diverged in a way that cannot be automatically merged. Please rebase on top of the latest master branch, and let the reviewer approve again.

How do I rebase?

Assuming self is your fork and upstream is this repository, you can resolve the conflict following these steps:

  1. git checkout with_hash_task (switch to your branch)
  2. git fetch upstream master (retrieve the latest master)
  3. git rebase upstream/master -p (rebase on top of it)
  4. Follow the on-screen instruction to resolve conflicts (check git status if you got lost).
  5. git push self with_hash_task --force-with-lease (update this PR)

You may also read Git Rebasing to Resolve Conflicts by Drew Blessing for a short tutorial.

Please avoid the "Resolve conflicts" button on GitHub. It uses git merge instead of git rebase which makes the PR commit history more difficult to read.

Sometimes step 4 will complete without asking for resolution. This is usually due to difference between how Cargo.lock conflict is handled during merge and rebase. This is normal, and you should still perform step 5 to update this PR.

Error message
Adding src/tools/rls/src/main.rs
Adding src/tools/rls/README.md
Adding src/tools/rls/Cargo.toml
Adding src/tools/miri/triagebot.toml
Adding src/tools/miri/tests/pass/zst_variant_drop.rs
Adding src/tools/miri/tests/pass/zst_box.rs
Adding src/tools/miri/tests/pass/zst.rs
Adding src/tools/miri/tests/pass/wtf8.rs
Adding src/tools/miri/tests/pass/write-bytes.rs
Adding src/tools/miri/tests/pass/without-validation.rs
Adding src/tools/miri/tests/pass/weak_memory/weak.rs
Adding src/tools/miri/tests/pass/weak_memory/extra_cpp_unsafe.rs
Adding src/tools/miri/tests/pass/weak_memory/extra_cpp.rs
Adding src/tools/miri/tests/pass/volatile.rs
Adding src/tools/miri/tests/pass/vecdeque.stdout
Adding src/tools/miri/tests/pass/vecdeque.rs
Adding src/tools/miri/tests/pass/vec.rs
Adding src/tools/miri/tests/pass/vec-matching-fold.rs
Adding src/tools/miri/tests/pass/validation_lifetime_resolution.rs
Adding src/tools/miri/tests/pass/unsized.rs
Adding src/tools/miri/tests/pass/unops.rs
Adding src/tools/miri/tests/pass/union.rs
Adding src/tools/miri/tests/pass/union-overwrite.rs
Adding src/tools/miri/tests/pass/u128.rs
Adding src/tools/miri/tests/pass/tuple_like_struct_constructor.rs
Adding src/tools/miri/tests/pass/tuple_like_enum_variant_constructor_struct_pointer_opt.rs
Adding src/tools/miri/tests/pass/tuple_like_enum_variant_constructor_pointer_opt.rs
Adding src/tools/miri/tests/pass/tuple_like_enum_variant_constructor.rs
Adding src/tools/miri/tests/pass/try-operator-custom.rs
Adding src/tools/miri/tests/pass/trivial.rs
Adding src/tools/miri/tests/pass/transmute_ptr.rs
Adding src/tools/miri/tests/pass/track-caller-attribute.rs
Adding src/tools/miri/tests/pass/track-alloc-1.stderr
Adding src/tools/miri/tests/pass/track-alloc-1.rs
Adding src/tools/miri/tests/pass/too-large-primval-write-problem.rs
Adding src/tools/miri/tests/pass/threadleak_ignored.stderr
Adding src/tools/miri/tests/pass/threadleak_ignored.rs
Adding src/tools/miri/tests/pass/tag-align-dyn-u64.rs
Adding src/tools/miri/tests/pass/sums.rs
Adding src/tools/miri/tests/pass/subslice_array.rs
Adding src/tools/miri/tests/pass/strings.rs
Adding src/tools/miri/tests/pass/static_mut.rs
Adding src/tools/miri/tests/pass/static_memory_modification.rs
Adding src/tools/miri/tests/pass/start.stdout
Adding src/tools/miri/tests/pass/start.rs
Adding src/tools/miri/tests/pass/stacked-borrows/zst-field-retagging-terminates.rs
Adding src/tools/miri/tests/pass/stacked-borrows/unknown-bottom-gc.rs
Adding src/tools/miri/tests/pass/stacked-borrows/stacked-borrows.stderr
Adding src/tools/miri/tests/pass/stacked-borrows/stacked-borrows.rs
Adding src/tools/miri/tests/pass/stacked-borrows/stack-printing.stdout
Adding src/tools/miri/tests/pass/stacked-borrows/stack-printing.rs
Adding src/tools/miri/tests/pass/stacked-borrows/non_scalar_field_retagging.rs
Adding src/tools/miri/tests/pass/stacked-borrows/no_field_retagging.rs
Adding src/tools/miri/tests/pass/stacked-borrows/issue-miri-2389.stderr
Adding src/tools/miri/tests/pass/stacked-borrows/issue-miri-2389.rs
Adding src/tools/miri/tests/pass/stacked-borrows/interior_mutability.rs
Adding src/tools/miri/tests/pass/stacked-borrows/int-to-ptr.rs
Adding src/tools/miri/tests/pass/stacked-borrows/generators-self-referential.rs
Adding src/tools/miri/tests/pass/stacked-borrows/2phase.rs
Adding src/tools/miri/tests/pass/specialization.rs
Adding src/tools/miri/tests/pass/small_enum_size_bug.rs
Adding src/tools/miri/tests/pass/slices.rs
Adding src/tools/miri/tests/pass/simd-intrinsic-generic-elements.rs
Adding src/tools/miri/tests/pass/shims/time.rs
Adding src/tools/miri/tests/pass/shims/time-with-isolation.rs
Adding src/tools/miri/tests/pass/shims/sleep_long.rs
Adding src/tools/miri/tests/pass/shims/ptr_mask.rs
Adding src/tools/miri/tests/pass/shims/io.rs
Adding src/tools/miri/tests/pass/shims/fs.rs
Adding src/tools/miri/tests/pass/shims/fs-with-isolation.stderr
Adding src/tools/miri/tests/pass/shims/fs-with-isolation.rs
Adding src/tools/miri/tests/pass/shims/exit.rs
Adding src/tools/miri/tests/pass/shims/env/var.stdout
Adding src/tools/miri/tests/pass/shims/env/var.rs
Adding src/tools/miri/tests/pass/shims/env/var-without-isolation.rs
Adding src/tools/miri/tests/pass/shims/env/var-forward.rs
Adding src/tools/miri/tests/pass/shims/env/home.rs
Adding src/tools/miri/tests/pass/shims/env/current_exe.rs
Adding src/tools/miri/tests/pass/shims/env/current_dir_with_isolation.stderr
Adding src/tools/miri/tests/pass/shims/env/current_dir_with_isolation.rs
Adding src/tools/miri/tests/pass/shims/env/current_dir.rs
Adding src/tools/miri/tests/pass/shims/env/args.stdout
Adding src/tools/miri/tests/pass/shims/env/args.rs
Adding src/tools/miri/tests/pass/sendable-class.rs
Adding src/tools/miri/tests/pass/send-is-not-static-par-for.rs
Adding src/tools/miri/tests/pass/rust-lang-org.rs
Adding src/tools/miri/tests/pass/rfc1623.rs
Adding src/tools/miri/tests/pass/rename_std.rs
Adding src/tools/miri/tests/pass/regions-lifetime-nonfree-late-bound.rs
Adding src/tools/miri/tests/pass/reentrant-println.stdout
Adding src/tools/miri/tests/pass/reentrant-println.rs
Adding src/tools/miri/tests/pass/recursive_static.rs
Adding src/tools/miri/tests/pass/rc.rs
Adding src/tools/miri/tests/pass/ptr_raw.rs
Adding src/tools/miri/tests/pass/ptr_offset.rs
Adding src/tools/miri/tests/pass/ptr_int_transmute.rs
Adding src/tools/miri/tests/pass/ptr_int_from_exposed.rs
Adding src/tools/miri/tests/pass/ptr_int_casts.rs
Adding src/tools/miri/tests/pass/provenance.rs
Adding src/tools/miri/tests/pass/products.rs
Adding src/tools/miri/tests/pass/portable-simd.rs
Adding src/tools/miri/tests/pass/pointers.rs
Adding src/tools/miri/tests/pass/partially-uninit.rs
Adding src/tools/miri/tests/pass/panic/std-panic-locations.rs
Adding src/tools/miri/tests/pass/panic/concurrent-panic.stderr
Adding src/tools/miri/tests/pass/panic/concurrent-panic.rs
Adding src/tools/miri/tests/pass/panic/catch_panic.stderr
Adding src/tools/miri/tests/pass/panic/catch_panic.rs
Adding src/tools/miri/tests/pass/packed_struct.rs
Adding src/tools/miri/tests/pass/overloaded-calls-simple.rs
Adding src/tools/miri/tests/pass/overflow_checks_off.rs
Adding src/tools/miri/tests/pass/option_eq.rs
Adding src/tools/miri/tests/pass/option_box_transmute_ptr.rs
Adding src/tools/miri/tests/pass/observed_local_mut.rs
Adding src/tools/miri/tests/pass/no_std.stdout
Adding src/tools/miri/tests/pass/no_std.rs
Adding src/tools/miri/tests/pass/negative_discriminant.rs
Adding src/tools/miri/tests/pass/multi_arg_closure.rs
Adding src/tools/miri/tests/pass/mpsc.rs
Adding src/tools/miri/tests/pass/move-uninit-primval.rs
Adding src/tools/miri/tests/pass/move-arg-3-unique.rs
Adding src/tools/miri/tests/pass/move-arg-2-unique.rs
Adding src/tools/miri/tests/pass/miri-alloc.rs
Adding src/tools/miri/tests/pass/memleak_ignored.rs
Adding src/tools/miri/tests/pass/memchr.rs
Adding src/tools/miri/tests/pass/match_slice.rs
Adding src/tools/miri/tests/pass/many_shr_bor.rs
Adding src/tools/miri/tests/pass/main_result.rs
Adding src/tools/miri/tests/pass/main_fn.rs
Adding src/tools/miri/tests/pass/loops.rs
Adding src/tools/miri/tests/pass/loop-break-value.rs
Adding src/tools/miri/tests/pass/linked-list.rs
Adding src/tools/miri/tests/pass/leak-in-static.rs
Adding src/tools/miri/tests/pass/last-use-in-cap-clause.rs
Adding src/tools/miri/tests/pass/iter.rs
Adding src/tools/miri/tests/pass/issues/issue-miri-2123.rs
Adding src/tools/miri/tests/pass/issues/issue-miri-2068.rs
Adding src/tools/miri/tests/pass/issues/issue-miri-1925.rs
Adding src/tools/miri/tests/pass/issues/issue-miri-1909.rs
Adding src/tools/miri/tests/pass/issues/issue-miri-184.rs
Adding src/tools/miri/tests/pass/issues/issue-miri-133.rs
Adding src/tools/miri/tests/pass/issues/issue-miri-1075.rs
Adding src/tools/miri/tests/pass/issues/issue-94371.rs
Adding src/tools/miri/tests/pass/issues/issue-91636.rs
Adding src/tools/miri/tests/pass/issues/issue-73223.rs
Adding src/tools/miri/tests/pass/issues/issue-5917.rs
Adding src/tools/miri/tests/pass/issues/issue-53728.rs
Adding src/tools/miri/tests/pass/issues/issue-3794.stdout
Adding src/tools/miri/tests/pass/issues/issue-3794.rs
Adding src/tools/miri/tests/pass/issues/issue-36278-prefix-nesting.rs
Adding src/tools/miri/tests/pass/issues/issue-35815.rs
Adding src/tools/miri/tests/pass/issues/issue-34571.rs
Adding src/tools/miri/tests/pass/issues/issue-33387.rs
Adding src/tools/miri/tests/pass/issues/issue-31267-additional.rs
Adding src/tools/miri/tests/pass/issues/issue-30530.rs
Adding src/tools/miri/tests/pass/issues/issue-29746.rs
Adding src/tools/miri/tests/pass/issues/issue-27901.rs
Adding src/tools/miri/tests/pass/issues/issue-26709.rs
Adding src/tools/miri/tests/pass/issues/issue-23261.rs
Adding src/tools/miri/tests/pass/issues/issue-20575.rs
Adding src/tools/miri/tests/pass/issues/issue-17877.rs
Adding src/tools/miri/tests/pass/issues/issue-15523-big.rs
Adding src/tools/miri/tests/pass/issues/issue-15080.rs
Adding src/tools/miri/tests/pass/issues/issue-15063.rs
Adding src/tools/miri/tests/pass/ints.rs
Adding src/tools/miri/tests/pass/intrinsics.rs
Adding src/tools/miri/tests/pass/intrinsics-x86.rs
Adding src/tools/miri/tests/pass/intrinsics-math.rs
Adding src/tools/miri/tests/pass/intrinsics-integer.rs
Adding src/tools/miri/tests/pass/intptrcast.rs
Adding src/tools/miri/tests/pass/integer-ops.rs
Adding src/tools/miri/tests/pass/hide_stdout.rs
Adding src/tools/miri/tests/pass/hello.stdout
Adding src/tools/miri/tests/pass/hello.rs
Adding src/tools/miri/tests/pass/heap_allocator.rs
Adding src/tools/miri/tests/pass/heap.rs
Adding src/tools/miri/tests/pass/hashmap.rs
Adding src/tools/miri/tests/pass/global_allocator.stdout
Adding src/tools/miri/tests/pass/global_allocator.rs
Adding src/tools/miri/tests/pass/getpid.rs
Adding src/tools/miri/tests/pass/generator.rs
Adding src/tools/miri/tests/pass/function_pointers.rs
Adding src/tools/miri/tests/pass/function_calls/exported_symbol.rs
Adding src/tools/miri/tests/pass/function_calls/disable_abi_check.rs
Adding src/tools/miri/tests/pass/from_utf8.rs
Adding src/tools/miri/tests/pass/format.stdout
Adding src/tools/miri/tests/pass/format.rs
Adding src/tools/miri/tests/pass/float_fast_math.rs
Adding src/tools/miri/tests/pass/float.rs
Adding src/tools/miri/tests/pass/fat_ptr.rs
Adding src/tools/miri/tests/pass/extern_types.stderr
Adding src/tools/miri/tests/pass/extern_types.rs
Adding src/tools/miri/tests/pass/extern_crate_std_in_main.rs
Adding src/tools/miri/tests/pass/enums.rs
Adding src/tools/miri/tests/pass/enum_discriminant_ptr_value.rs
Adding src/tools/miri/tests/pass/enum-nullable-const-null-with-fields.rs
Adding src/tools/miri/tests/pass/dyn-upcast.rs
Adding src/tools/miri/tests/pass/dyn-traits.rs
Adding src/tools/miri/tests/pass/dyn-arbitrary-self.rs
Adding src/tools/miri/tests/pass/dst-struct.rs
Adding src/tools/miri/tests/pass/dst-struct-sole.rs
Adding src/tools/miri/tests/pass/dst-raw.rs
Adding src/tools/miri/tests/pass/dst-irrefutable-bind.rs
Adding src/tools/miri/tests/pass/dst-field-align.rs
Adding src/tools/miri/tests/pass/drop_through_trait_object_rc.rs
Adding src/tools/miri/tests/pass/drop_through_trait_object.rs
Adding src/tools/miri/tests/pass/drop_through_owned_slice.rs
Adding src/tools/miri/tests/pass/drop_on_zst_array_elements.rs
Adding src/tools/miri/tests/pass/drop_on_fat_ptr_array_elements.rs
Adding src/tools/miri/tests/pass/drop_on_array_elements.rs
Adding src/tools/miri/tests/pass/drop_empty_slice.rs
Adding src/tools/miri/tests/pass/disable-alignment-check.rs
Adding src/tools/miri/tests/pass/deriving-associated-types.rs
Adding src/tools/miri/tests/pass/constants.rs
Adding src/tools/miri/tests/pass/const-vec-of-fns.rs
Adding src/tools/miri/tests/pass/concurrency/windows_join_multiple.rs
Adding src/tools/miri/tests/pass/concurrency/windows_init_once.stdout
Adding src/tools/miri/tests/pass/concurrency/windows_init_once.rs
Adding src/tools/miri/tests/pass/concurrency/windows_detach_terminated.rs
Adding src/tools/miri/tests/pass/concurrency/windows_condvar_shared.stdout
Adding src/tools/miri/tests/pass/concurrency/windows_condvar_shared.rs
Adding src/tools/miri/tests/pass/concurrency/tls_lib_drop_single_thread.stderr
Adding src/tools/miri/tests/pass/concurrency/tls_lib_drop_single_thread.rs
Adding src/tools/miri/tests/pass/concurrency/tls_lib_drop.stdout
Adding src/tools/miri/tests/pass/concurrency/tls_lib_drop.rs
Adding src/tools/miri/tests/pass/concurrency/thread_park_isolated.rs
Adding src/tools/miri/tests/pass/concurrency/thread_locals.rs
Adding src/tools/miri/tests/pass/concurrency/sync_singlethread.rs
Adding src/tools/miri/tests/pass/concurrency/sync_nopreempt.rs
Adding src/tools/miri/tests/pass/concurrency/sync.stdout
Adding src/tools/miri/tests/pass/concurrency/sync.rs
Adding src/tools/miri/tests/pass/concurrency/spin_loops_nopreempt.rs
Adding src/tools/miri/tests/pass/concurrency/spin_loops.stderr
Adding src/tools/miri/tests/pass/concurrency/spin_loop.rs
Adding src/tools/miri/tests/pass/concurrency/simple.stderr
Adding src/tools/miri/tests/pass/concurrency/simple.rs
Adding src/tools/miri/tests/pass/concurrency/mutex_leak.rs
Adding src/tools/miri/tests/pass/concurrency/issue1643.rs
Adding src/tools/miri/tests/pass/concurrency/disable_data_race_detector.rs
Adding src/tools/miri/tests/pass/concurrency/data_race.rs
Adding src/tools/miri/tests/pass/concurrency/concurrent_caller_location.rs
Adding src/tools/miri/tests/pass/concurrency/channels.rs
Adding src/tools/miri/tests/pass/coercions.rs
Adding src/tools/miri/tests/pass/coerce_non_capture_closure_to_fn_ptr.rs
Adding src/tools/miri/tests/pass/closures.rs
Adding src/tools/miri/tests/pass/closure-field-ty.rs
Adding src/tools/miri/tests/pass/closure-drop.rs
Adding src/tools/miri/tests/pass/char.rs
Adding src/tools/miri/tests/pass/cfg_miri.rs
Adding src/tools/miri/tests/pass/catch.stdout
Adding src/tools/miri/tests/pass/catch.rs
Adding src/tools/miri/tests/pass/cast_fn_ptr_unsafe.rs
Adding src/tools/miri/tests/pass/cast_fn_ptr.rs
Adding src/tools/miri/tests/pass/cast-rfc0401-vtable-kinds.rs
Adding src/tools/miri/tests/pass/calls.rs
Adding src/tools/miri/tests/pass/c_enums.rs
Adding src/tools/miri/tests/pass/btreemap.rs
Adding src/tools/miri/tests/pass/box.stdout
Adding src/tools/miri/tests/pass/box.stderr
Adding src/tools/miri/tests/pass/box.rs
Adding src/tools/miri/tests/pass/box-custom-alloc.rs
Adding src/tools/miri/tests/pass/bools.rs
Adding src/tools/miri/tests/pass/binops.rs
Adding src/tools/miri/tests/pass/binary-heap.rs
Adding src/tools/miri/tests/pass/bad_substs.rs
Adding src/tools/miri/tests/pass/backtrace/backtrace-std.stderr
Adding src/tools/miri/tests/pass/backtrace/backtrace-std.rs
Adding src/tools/miri/tests/pass/backtrace/backtrace-global-alloc.stderr
Adding src/tools/miri/tests/pass/backtrace/backtrace-global-alloc.rs
Adding src/tools/miri/tests/pass/backtrace/backtrace-api-v1.stdout
Adding src/tools/miri/tests/pass/backtrace/backtrace-api-v1.stderr
Adding src/tools/miri/tests/pass/backtrace/backtrace-api-v1.rs
Adding src/tools/miri/tests/pass/backtrace/backtrace-api-v0.stdout
Adding src/tools/miri/tests/pass/backtrace/backtrace-api-v0.stderr
Adding src/tools/miri/tests/pass/backtrace/backtrace-api-v0.rs
Adding src/tools/miri/tests/pass/available-parallelism.rs
Adding src/tools/miri/tests/pass/available-parallelism-miri-num-cpus.rs
Adding src/tools/miri/tests/pass/atomic.rs
Adding src/tools/miri/tests/pass/atomic-compare-exchange-weak-never-fail.rs
Adding src/tools/miri/tests/pass/async-fn.rs
Adding src/tools/miri/tests/pass/assume_bug.rs
Adding src/tools/miri/tests/pass/associated-const.rs
Adding src/tools/miri/tests/pass/arrays.stdout
Adding src/tools/miri/tests/pass/arrays.rs
Adding src/tools/miri/tests/pass/align_offset_symbolic.stdout
Adding src/tools/miri/tests/pass/align_offset_symbolic.rs
Adding src/tools/miri/tests/pass/align.rs
Adding src/tools/miri/tests/pass/adjacent-allocs.rs
Adding src/tools/miri/tests/pass/0weak_memory_consistency.rs
Adding src/tools/miri/tests/pass-dep/shims/pthreads.rs
Adding src/tools/miri/tests/pass-dep/shims/posix_memalign.rs
Adding src/tools/miri/tests/pass-dep/shims/linux-getrandom.rs
Adding src/tools/miri/tests/pass-dep/shims/linux-getrandom-without-isolation.rs
Adding src/tools/miri/tests/pass-dep/shims/libc-rsfs.stdout
Adding src/tools/miri/tests/pass-dep/shims/libc-misc.rs
Adding src/tools/miri/tests/pass-dep/shims/libc-fs.stdout
Adding src/tools/miri/tests/pass-dep/shims/libc-fs.stderr
Adding src/tools/miri/tests/pass-dep/shims/libc-fs.rs
Adding src/tools/miri/tests/pass-dep/shims/libc-fs-with-isolation.stderr
Adding src/tools/miri/tests/pass-dep/shims/libc-fs-with-isolation.rs
Adding src/tools/miri/tests/pass-dep/shims/env-cleanup-data-race.rs
Adding src/tools/miri/tests/pass-dep/regions-mock-trans.rs
Adding src/tools/miri/tests/pass-dep/random.rs
Adding src/tools/miri/tests/pass-dep/page_size.rs
Adding src/tools/miri/tests/pass-dep/num_cpus.rs
Adding src/tools/miri/tests/pass-dep/malloc.rs
Adding src/tools/miri/tests/pass-dep/foreign-fn-linkname.rs
Adding src/tools/miri/tests/pass-dep/concurrency/tls_pthread_drop_order.rs
Adding src/tools/miri/tests/pass-dep/concurrency/linux-futex.rs
Adding src/tools/miri/tests/pass-dep/concurrency/libc_pthread_cond_isolated.rs
Adding src/tools/miri/tests/pass-dep/concurrency/libc_pthread_cond.rs
Adding src/tools/miri/tests/pass-dep/calloc.rs
Adding src/tools/miri/tests/panic/unsupported_syscall.stderr
Adding src/tools/miri/tests/panic/unsupported_syscall.rs
Adding src/tools/miri/tests/panic/unsupported_foreign_function.stderr
Adding src/tools/miri/tests/panic/unsupported_foreign_function.rs
Adding src/tools/miri/tests/panic/transmute_fat2.stderr
Adding src/tools/miri/tests/panic/transmute_fat2.rs
Adding src/tools/miri/tests/panic/panic4.stderr
Adding src/tools/miri/tests/panic/panic4.rs
Adding src/tools/miri/tests/panic/panic3.stderr
Adding src/tools/miri/tests/panic/panic3.rs
Adding src/tools/miri/tests/panic/panic2.stderr
Adding src/tools/miri/tests/panic/panic2.rs
Adding src/tools/miri/tests/panic/panic1.stderr
Adding src/tools/miri/tests/panic/panic1.rs
Adding src/tools/miri/tests/panic/overflowing-rsh-2.stderr
Adding src/tools/miri/tests/panic/overflowing-rsh-2.rs
Adding src/tools/miri/tests/panic/overflowing-rsh-1.stderr
Adding src/tools/miri/tests/panic/overflowing-rsh-1.rs
Adding src/tools/miri/tests/panic/overflowing-lsh-neg.stderr
Adding src/tools/miri/tests/panic/overflowing-lsh-neg.rs
Adding src/tools/miri/tests/panic/function_calls/exported_symbol_good_unwind.stderr
Adding src/tools/miri/tests/panic/function_calls/exported_symbol_good_unwind.rs
Adding src/tools/miri/tests/panic/div-by-zero-2.stderr
Adding src/tools/miri/tests/panic/div-by-zero-2.rs
Adding src/tools/miri/tests/fail/zst3.stderr
Adding src/tools/miri/tests/fail/zst3.rs
Adding src/tools/miri/tests/fail/zst2.stderr
Adding src/tools/miri/tests/fail/zst2.rs
Adding src/tools/miri/tests/fail/zst1.stderr
Adding src/tools/miri/tests/fail/zst1.rs
Adding src/tools/miri/tests/fail/weak_memory/racing_mixed_size_read.stderr
Adding src/tools/miri/tests/fail/weak_memory/racing_mixed_size_read.rs
Adding src/tools/miri/tests/fail/weak_memory/racing_mixed_size.stderr
Adding src/tools/miri/tests/fail/weak_memory/racing_mixed_size.rs
Adding src/tools/miri/tests/fail/validity/uninit_raw_ptr.stderr
Adding src/tools/miri/tests/fail/validity/uninit_raw_ptr.rs
Adding src/tools/miri/tests/fail/validity/uninit_integer.stderr
Adding src/tools/miri/tests/fail/validity/uninit_integer.rs
Adding src/tools/miri/tests/fail/validity/uninit_float.stderr
Adding src/tools/miri/tests/fail/validity/uninit_float.rs
Adding src/tools/miri/tests/fail/validity/transmute_through_ptr.stderr
Adding src/tools/miri/tests/fail/validity/transmute_through_ptr.rs
Adding src/tools/miri/tests/fail/validity/too-big-unsized.stderr
Adding src/tools/miri/tests/fail/validity/too-big-unsized.rs
Adding src/tools/miri/tests/fail/validity/too-big-slice.stderr
Adding src/tools/miri/tests/fail/validity/too-big-slice.rs
Adding src/tools/miri/tests/fail/validity/ref_to_uninhabited2.stderr
Adding src/tools/miri/tests/fail/validity/ref_to_uninhabited2.rs
Adding src/tools/miri/tests/fail/validity/ref_to_uninhabited1.stderr
Adding src/tools/miri/tests/fail/validity/ref_to_uninhabited1.rs
Adding src/tools/miri/tests/fail/validity/nonzero.stderr
Adding src/tools/miri/tests/fail/validity/nonzero.rs
Adding src/tools/miri/tests/fail/validity/invalid_wide_raw.stderr
Adding src/tools/miri/tests/fail/validity/invalid_wide_raw.rs
Adding src/tools/miri/tests/fail/validity/invalid_fnptr_uninit.stderr
Adding src/tools/miri/tests/fail/validity/invalid_fnptr_uninit.rs
Adding src/tools/miri/tests/fail/validity/invalid_fnptr_null.stderr
Adding src/tools/miri/tests/fail/validity/invalid_fnptr_null.rs
Adding src/tools/miri/tests/fail/validity/invalid_enum_tag.stderr
Adding src/tools/miri/tests/fail/validity/invalid_enum_tag.rs
Adding src/tools/miri/tests/fail/validity/invalid_char_uninit.stderr
Adding src/tools/miri/tests/fail/validity/invalid_char_uninit.rs
Adding src/tools/miri/tests/fail/validity/invalid_char.stderr
Adding src/tools/miri/tests/fail/validity/invalid_char.rs
Adding src/tools/miri/tests/fail/validity/invalid_bool_uninit.stderr
Adding src/tools/miri/tests/fail/validity/invalid_bool_uninit.rs
Adding src/tools/miri/tests/fail/validity/invalid_bool.stderr
Adding src/tools/miri/tests/fail/validity/invalid_bool.rs
Adding src/tools/miri/tests/fail/validity/dangling_ref3.stderr
Adding src/tools/miri/tests/fail/validity/dangling_ref3.rs
Adding src/tools/miri/tests/fail/validity/dangling_ref2.stderr
Adding src/tools/miri/tests/fail/validity/dangling_ref2.rs
Adding src/tools/miri/tests/fail/validity/dangling_ref1.stderr
Adding src/tools/miri/tests/fail/validity/dangling_ref1.rs
Adding src/tools/miri/tests/fail/validity/cast_fn_ptr2.stderr
Adding src/tools/miri/tests/fail/validity/cast_fn_ptr2.rs
Adding src/tools/miri/tests/fail/validity/cast_fn_ptr1.stderr
Adding src/tools/miri/tests/fail/validity/cast_fn_ptr1.rs
Adding src/tools/miri/tests/fail/unsupported_signal.stderr
Adding src/tools/miri/tests/fail/unsupported_signal.rs
Adding src/tools/miri/tests/fail/unsupported_foreign_function.stderr
Adding src/tools/miri/tests/fail/unsupported_foreign_function.rs
Adding src/tools/miri/tests/fail/unsized-local.stderr
Adding src/tools/miri/tests/fail/unsized-local.rs
Adding src/tools/miri/tests/fail/unreachable.stderr
Adding src/tools/miri/tests/fail/unreachable.rs
Adding src/tools/miri/tests/fail/uninit_byte_read.stderr
Adding src/tools/miri/tests/fail/uninit_byte_read.rs
Adding src/tools/miri/tests/fail/uninit_buffer_with_provenance.stderr
Adding src/tools/miri/tests/fail/uninit_buffer_with_provenance.rs
Adding src/tools/miri/tests/fail/uninit_buffer.stderr
Adding src/tools/miri/tests/fail/uninit_buffer.rs
Adding src/tools/miri/tests/fail/unaligned_pointers/unaligned_ptr_zst.stderr
Adding src/tools/miri/tests/fail/unaligned_pointers/unaligned_ptr_zst.rs
Adding src/tools/miri/tests/fail/unaligned_pointers/unaligned_ptr_addr_of.stderr
Adding src/tools/miri/tests/fail/unaligned_pointers/unaligned_ptr_addr_of.rs
Adding src/tools/miri/tests/fail/unaligned_pointers/unaligned_ptr4.stderr
Adding src/tools/miri/tests/fail/unaligned_pointers/unaligned_ptr4.rs
Adding src/tools/miri/tests/fail/unaligned_pointers/unaligned_ptr3.stderr
Adding src/tools/miri/tests/fail/unaligned_pointers/unaligned_ptr3.rs
Adding src/tools/miri/tests/fail/unaligned_pointers/unaligned_ptr2.stderr
Adding src/tools/miri/tests/fail/unaligned_pointers/unaligned_ptr2.rs
Adding src/tools/miri/tests/fail/unaligned_pointers/unaligned_ptr1.stderr
Adding src/tools/miri/tests/fail/unaligned_pointers/unaligned_ptr1.rs
Adding src/tools/miri/tests/fail/unaligned_pointers/reference_to_packed.stderr
Adding src/tools/miri/tests/fail/unaligned_pointers/reference_to_packed.rs
Adding src/tools/miri/tests/fail/unaligned_pointers/intptrcast_alignment_check.stderr
Adding src/tools/miri/tests/fail/unaligned_pointers/intptrcast_alignment_check.rs
Adding src/tools/miri/tests/fail/unaligned_pointers/dyn_alignment.stderr
Adding src/tools/miri/tests/fail/unaligned_pointers/dyn_alignment.rs
Adding src/tools/miri/tests/fail/unaligned_pointers/atomic_unaligned.stderr
Adding src/tools/miri/tests/fail/unaligned_pointers/atomic_unaligned.rs
Adding src/tools/miri/tests/fail/unaligned_pointers/alignment.stderr
Adding src/tools/miri/tests/fail/unaligned_pointers/alignment.rs
Adding src/tools/miri/tests/fail/type-too-large.stderr
Adding src/tools/miri/tests/fail/type-too-large.rs
Adding src/tools/miri/tests/fail/transmute-pair-uninit.stderr
Adding src/tools/miri/tests/fail/transmute-pair-uninit.rs
Adding src/tools/miri/tests/fail/static_memory_modification3.stderr
Adding src/tools/miri/tests/fail/static_memory_modification3.rs
Adding src/tools/miri/tests/fail/static_memory_modification2.stderr
Adding src/tools/miri/tests/fail/static_memory_modification2.rs
Adding src/tools/miri/tests/fail/static_memory_modification1.stderr
Adding src/tools/miri/tests/fail/static_memory_modification1.rs
Adding src/tools/miri/tests/fail/stacked_borrows/zst_slice.stderr
Adding src/tools/miri/tests/fail/stacked_borrows/zst_slice.rs
Adding src/tools/miri/tests/fail/stacked_borrows/unescaped_static.stderr
Adding src/tools/miri/tests/fail/stacked_borrows/unescaped_static.rs
Adding src/tools/miri/tests/fail/stacked_borrows/unescaped_local.stderr
Adding src/tools/miri/tests/fail/stacked_borrows/unescaped_local.rs
Adding src/tools/miri/tests/fail/stacked_borrows/transmute-is-no-escape.stderr
Adding src/tools/miri/tests/fail/stacked_borrows/transmute-is-no-escape.rs
Adding src/tools/miri/tests/fail/stacked_borrows/track_caller.stderr
Adding src/tools/miri/tests/fail/stacked_borrows/track_caller.rs
Adding src/tools/miri/tests/fail/stacked_borrows/static_memory_modification.stderr
Adding src/tools/miri/tests/fail/stacked_borrows/static_memory_modification.rs
Adding src/tools/miri/tests/fail/stacked_borrows/shr_frozen_violation1.stderr
Adding src/tools/miri/tests/fail/stacked_borrows/shr_frozen_violation1.rs
Adding src/tools/miri/tests/fail/stacked_borrows/shared_rw_borrows_are_weak2.stderr
Adding src/tools/miri/tests/fail/stacked_borrows/shared_rw_borrows_are_weak2.rs
Adding src/tools/miri/tests/fail/stacked_borrows/shared_rw_borrows_are_weak1.stderr
Adding src/tools/miri/tests/fail/stacked_borrows/shared_rw_borrows_are_weak1.rs
Adding src/tools/miri/tests/fail/stacked_borrows/return_invalid_shr_tuple.stderr
Adding src/tools/miri/tests/fail/stacked_borrows/return_invalid_shr_tuple.rs
Adding src/tools/miri/tests/fail/stacked_borrows/return_invalid_shr_option.stderr
Adding src/tools/miri/tests/fail/stacked_borrows/return_invalid_shr_option.rs
Adding src/tools/miri/tests/fail/stacked_borrows/return_invalid_shr.stderr
Adding src/tools/miri/tests/fail/stacked_borrows/return_invalid_shr.rs
Adding src/tools/miri/tests/fail/stacked_borrows/return_invalid_mut_tuple.stderr
Adding src/tools/miri/tests/fail/stacked_borrows/return_invalid_mut_tuple.rs
Adding src/tools/miri/tests/fail/stacked_borrows/return_invalid_mut_option.stderr
Adding src/tools/miri/tests/fail/stacked_borrows/return_invalid_mut_option.rs
Adding src/tools/miri/tests/fail/stacked_borrows/return_invalid_mut.stderr
Adding src/tools/miri/tests/fail/stacked_borrows/return_invalid_mut.rs
Adding src/tools/miri/tests/fail/stacked_borrows/raw_tracking.stderr
Adding src/tools/miri/tests/fail/stacked_borrows/raw_tracking.rs
Adding src/tools/miri/tests/fail/stacked_borrows/pointer_smuggling.stderr
Adding src/tools/miri/tests/fail/stacked_borrows/pointer_smuggling.rs
Adding src/tools/miri/tests/fail/stacked_borrows/pass_invalid_shr.stderr
Adding src/tools/miri/tests/fail/stacked_borrows/pass_invalid_shr.rs
Adding src/tools/miri/tests/fail/stacked_borrows/pass_invalid_mut.stderr
Adding src/tools/miri/tests/fail/stacked_borrows/pass_invalid_mut.rs
Adding src/tools/miri/tests/fail/stacked_borrows/outdated_local.stderr
Adding src/tools/miri/tests/fail/stacked_borrows/outdated_local.rs
Adding src/tools/miri/tests/fail/stacked_borrows/newtype_retagging.stderr
Adding src/tools/miri/tests/fail/stacked_borrows/newtype_retagging.rs
Adding src/tools/miri/tests/fail/stacked_borrows/newtype_pair_retagging.stderr
Adding src/tools/miri/tests/fail/stacked_borrows/newtype_pair_retagging.rs
Adding src/tools/miri/tests/fail/stacked_borrows/mut_exclusive_violation2.stderr
Adding src/tools/miri/tests/fail/stacked_borrows/mut_exclusive_violation2.rs
Adding src/tools/miri/tests/fail/stacked_borrows/mut_exclusive_violation1.stderr
Adding src/tools/miri/tests/fail/stacked_borrows/mut_exclusive_violation1.rs
Adding src/tools/miri/tests/fail/stacked_borrows/load_invalid_shr.stderr
Adding src/tools/miri/tests/fail/stacked_borrows/load_invalid_shr.rs
Adding src/tools/miri/tests/fail/stacked_borrows/load_invalid_mut.stderr
Adding src/tools/miri/tests/fail/stacked_borrows/load_invalid_mut.rs
Adding src/tools/miri/tests/fail/stacked_borrows/issue-miri-1050-2.stderr
Adding src/tools/miri/tests/fail/stacked_borrows/issue-miri-1050-2.rs
Adding src/tools/miri/tests/fail/stacked_borrows/issue-miri-1050-1.stderr
Adding src/tools/miri/tests/fail/stacked_borrows/issue-miri-1050-1.rs
Adding src/tools/miri/tests/fail/stacked_borrows/invalidate_against_protector3.stderr
Adding src/tools/miri/tests/fail/stacked_borrows/invalidate_against_protector3.rs
Adding src/tools/miri/tests/fail/stacked_borrows/invalidate_against_protector2.stderr
Adding src/tools/miri/tests/fail/stacked_borrows/invalidate_against_protector2.rs
Adding src/tools/miri/tests/fail/stacked_borrows/invalidate_against_protector1.stderr
Adding src/tools/miri/tests/fail/stacked_borrows/invalidate_against_protector1.rs
Adding src/tools/miri/tests/fail/stacked_borrows/interior_mut2.stderr
Adding src/tools/miri/tests/fail/stacked_borrows/interior_mut2.rs
Adding src/tools/miri/tests/fail/stacked_borrows/interior_mut1.stderr
Adding src/tools/miri/tests/fail/stacked_borrows/interior_mut1.rs
Adding src/tools/miri/tests/fail/stacked_borrows/illegal_write_despite_exposed1.stderr
Adding src/tools/miri/tests/fail/stacked_borrows/illegal_write_despite_exposed1.rs
Adding src/tools/miri/tests/fail/stacked_borrows/illegal_write6.stderr
Adding src/tools/miri/tests/fail/stacked_borrows/illegal_write6.rs
Adding src/tools/miri/tests/fail/stacked_borrows/illegal_write5.stderr
Adding src/tools/miri/tests/fail/stacked_borrows/illegal_write5.rs
Adding src/tools/miri/tests/fail/stacked_borrows/illegal_write4.stderr
Adding src/tools/miri/tests/fail/stacked_borrows/illegal_write4.rs
Adding src/tools/miri/tests/fail/stacked_borrows/illegal_write3.stderr
Adding src/tools/miri/tests/fail/stacked_borrows/illegal_write3.rs
Adding src/tools/miri/tests/fail/stacked_borrows/illegal_write2.stderr
Adding src/tools/miri/tests/fail/stacked_borrows/illegal_write2.rs
Adding src/tools/miri/tests/fail/stacked_borrows/illegal_write1.stderr
Adding src/tools/miri/tests/fail/stacked_borrows/illegal_write1.rs
Adding src/tools/miri/tests/fail/stacked_borrows/illegal_read_despite_exposed2.stderr
Adding src/tools/miri/tests/fail/stacked_borrows/illegal_read_despite_exposed2.rs
Adding src/tools/miri/tests/fail/stacked_borrows/illegal_read_despite_exposed1.stderr
Adding src/tools/miri/tests/fail/stacked_borrows/illegal_read_despite_exposed1.rs
Adding src/tools/miri/tests/fail/stacked_borrows/illegal_read8.stderr
Adding src/tools/miri/tests/fail/stacked_borrows/illegal_read8.rs
Adding src/tools/miri/tests/fail/stacked_borrows/illegal_read7.stderr
Adding src/tools/miri/tests/fail/stacked_borrows/illegal_read7.rs
Adding src/tools/miri/tests/fail/stacked_borrows/illegal_read6.stderr
Adding src/tools/miri/tests/fail/stacked_borrows/illegal_read6.rs
Adding src/tools/miri/tests/fail/stacked_borrows/illegal_read5.stderr
Adding src/tools/miri/tests/fail/stacked_borrows/illegal_read5.rs
Adding src/tools/miri/tests/fail/stacked_borrows/illegal_read4.stderr
Adding src/tools/miri/tests/fail/stacked_borrows/illegal_read4.rs
Adding src/tools/miri/tests/fail/stacked_borrows/illegal_read3.stderr
Adding src/tools/miri/tests/fail/stacked_borrows/illegal_read3.rs
Adding src/tools/miri/tests/fail/stacked_borrows/illegal_read2.stderr
Adding src/tools/miri/tests/fail/stacked_borrows/illegal_read2.rs
Adding src/tools/miri/tests/fail/stacked_borrows/illegal_read1.stderr
Adding src/tools/miri/tests/fail/stacked_borrows/illegal_read1.rs
Adding src/tools/miri/tests/fail/stacked_borrows/fnentry_invalidation2.stderr
Adding src/tools/miri/tests/fail/stacked_borrows/fnentry_invalidation2.rs
Adding src/tools/miri/tests/fail/stacked_borrows/fnentry_invalidation.stderr
Adding src/tools/miri/tests/fail/stacked_borrows/fnentry_invalidation.rs
Adding src/tools/miri/tests/fail/stacked_borrows/exposed_only_ro.stderr
Adding src/tools/miri/tests/fail/stacked_borrows/exposed_only_ro.rs
Adding src/tools/miri/tests/fail/stacked_borrows/disable_mut_does_not_merge_srw.stderr
Adding src/tools/miri/tests/fail/stacked_borrows/disable_mut_does_not_merge_srw.rs
Adding src/tools/miri/tests/fail/stacked_borrows/deallocate_against_protector2.stderr
Adding src/tools/miri/tests/fail/stacked_borrows/deallocate_against_protector2.rs
Adding src/tools/miri/tests/fail/stacked_borrows/deallocate_against_protector1.stderr
Adding src/tools/miri/tests/fail/stacked_borrows/deallocate_against_protector1.rs
Adding src/tools/miri/tests/fail/stacked_borrows/buggy_split_at_mut.stderr
Adding src/tools/miri/tests/fail/stacked_borrows/buggy_split_at_mut.rs
Adding src/tools/miri/tests/fail/stacked_borrows/buggy_as_mut_slice.stderr
Adding src/tools/miri/tests/fail/stacked_borrows/buggy_as_mut_slice.rs
Adding src/tools/miri/tests/fail/stacked_borrows/box_exclusive_violation1.stderr
Adding src/tools/miri/tests/fail/stacked_borrows/box_exclusive_violation1.rs
Adding src/tools/miri/tests/fail/stacked_borrows/aliasing_mut4.stderr
Adding src/tools/miri/tests/fail/stacked_borrows/aliasing_mut4.rs
Adding src/tools/miri/tests/fail/stacked_borrows/aliasing_mut3.stderr
Adding src/tools/miri/tests/fail/stacked_borrows/aliasing_mut3.rs
Adding src/tools/miri/tests/fail/stacked_borrows/aliasing_mut2.stderr
Adding src/tools/miri/tests/fail/stacked_borrows/aliasing_mut2.rs
Adding src/tools/miri/tests/fail/stacked_borrows/aliasing_mut1.stderr
Adding src/tools/miri/tests/fail/stacked_borrows/aliasing_mut1.rs
Adding src/tools/miri/tests/fail/stacked_borrows/alias_through_mutation.stderr
Adding src/tools/miri/tests/fail/stacked_borrows/alias_through_mutation.rs
Adding src/tools/miri/tests/fail/should-pass/cpp20_rwc_syncs.stderr
Adding src/tools/miri/tests/fail/should-pass/cpp20_rwc_syncs.rs
Adding src/tools/miri/tests/fail/shims/sync/libc_pthread_rwlock_write_wrong_owner.stderr
Adding src/tools/miri/tests/fail/shims/sync/libc_pthread_rwlock_write_wrong_owner.rs
Adding src/tools/miri/tests/fail/shims/sync/libc_pthread_rwlock_write_write_deadlock_single_thread.stderr
Adding src/tools/miri/tests/fail/shims/sync/libc_pthread_rwlock_write_write_deadlock_single_thread.rs
Adding src/tools/miri/tests/fail/shims/sync/libc_pthread_rwlock_write_write_deadlock.stderr
Adding src/tools/miri/tests/fail/shims/sync/libc_pthread_rwlock_write_write_deadlock.rs
Adding src/tools/miri/tests/fail/shims/sync/libc_pthread_rwlock_write_read_deadlock_single_thread.stderr
Adding src/tools/miri/tests/fail/shims/sync/libc_pthread_rwlock_write_read_deadlock_single_thread.rs
Adding src/tools/miri/tests/fail/shims/sync/libc_pthread_rwlock_write_read_deadlock.stderr
Adding src/tools/miri/tests/fail/shims/sync/libc_pthread_rwlock_write_read_deadlock.rs
Adding src/tools/miri/tests/fail/shims/sync/libc_pthread_rwlock_unlock_unlocked.stderr
Adding src/tools/miri/tests/fail/shims/sync/libc_pthread_rwlock_unlock_unlocked.rs
Adding src/tools/miri/tests/fail/shims/sync/libc_pthread_rwlock_read_wrong_owner.stderr
Adding src/tools/miri/tests/fail/shims/sync/libc_pthread_rwlock_read_wrong_owner.rs
Adding src/tools/miri/tests/fail/shims/sync/libc_pthread_rwlock_read_write_deadlock_single_thread.stderr
Adding src/tools/miri/tests/fail/shims/sync/libc_pthread_rwlock_read_write_deadlock_single_thread.rs
Adding src/tools/miri/tests/fail/shims/sync/libc_pthread_rwlock_double_destroy.stderr
Adding src/tools/miri/tests/fail/shims/sync/libc_pthread_rwlock_double_destroy.rs
Adding src/tools/miri/tests/fail/shims/sync/libc_pthread_rwlock_destroy_write_locked.stderr
Adding src/tools/miri/tests/fail/shims/sync/libc_pthread_rwlock_destroy_write_locked.rs
Adding src/tools/miri/tests/fail/shims/sync/libc_pthread_rwlock_destroy_read_locked.stderr
Adding src/tools/miri/tests/fail/shims/sync/libc_pthread_rwlock_destroy_read_locked.rs
Adding src/tools/miri/tests/fail/shims/sync/libc_pthread_mutexattr_double_destroy.stderr
Adding src/tools/miri/tests/fail/shims/sync/libc_pthread_mutexattr_double_destroy.rs
Adding src/tools/miri/tests/fail/shims/sync/libc_pthread_mutex_wrong_owner.stderr
Adding src/tools/miri/tests/fail/shims/sync/libc_pthread_mutex_wrong_owner.rs
Adding src/tools/miri/tests/fail/shims/sync/libc_pthread_mutex_normal_unlock_unlocked.stderr
Adding src/tools/miri/tests/fail/shims/sync/libc_pthread_mutex_normal_unlock_unlocked.rs
Adding src/tools/miri/tests/fail/shims/sync/libc_pthread_mutex_normal_deadlock.stderr
Adding src/tools/miri/tests/fail/shims/sync/libc_pthread_mutex_normal_deadlock.rs
Adding src/tools/miri/tests/fail/shims/sync/libc_pthread_mutex_double_destroy.stderr
Adding src/tools/miri/tests/fail/shims/sync/libc_pthread_mutex_double_destroy.rs
Adding src/tools/miri/tests/fail/shims/sync/libc_pthread_mutex_destroy_locked.stderr
Adding src/tools/miri/tests/fail/shims/sync/libc_pthread_mutex_destroy_locked.rs
Adding src/tools/miri/tests/fail/shims/sync/libc_pthread_mutex_default_deadlock.stderr
Adding src/tools/miri/tests/fail/shims/sync/libc_pthread_mutex_default_deadlock.rs
Adding src/tools/miri/tests/fail/shims/sync/libc_pthread_mutex_deadlock.stderr
Adding src/tools/miri/tests/fail/shims/sync/libc_pthread_mutex_deadlock.rs
Adding src/tools/miri/tests/fail/shims/sync/libc_pthread_mutex_NULL_deadlock.stderr
Adding src/tools/miri/tests/fail/shims/sync/libc_pthread_mutex_NULL_deadlock.rs
Adding src/tools/miri/tests/fail/shims/sync/libc_pthread_condattr_double_destroy.stderr
Adding src/tools/miri/tests/fail/shims/sync/libc_pthread_condattr_double_destroy.rs
Adding src/tools/miri/tests/fail/shims/sync/libc_pthread_cond_double_destroy.stderr
Adding src/tools/miri/tests/fail/shims/sync/libc_pthread_cond_double_destroy.rs
Adding src/tools/miri/tests/fail/shims/shim_arg_size.stderr
Adding src/tools/miri/tests/fail/shims/shim_arg_size.rs
Adding src/tools/miri/tests/fail/shims/fs/write_to_stdin.stderr
Adding src/tools/miri/tests/fail/shims/fs/write_to_stdin.rs
Adding src/tools/miri/tests/fail/shims/fs/unix_open_missing_required_mode.stderr
Adding src/tools/miri/tests/fail/shims/fs/unix_open_missing_required_mode.rs
Adding src/tools/miri/tests/fail/shims/fs/read_from_stdout.stderr
Adding src/tools/miri/tests/fail/shims/fs/read_from_stdout.rs
Adding src/tools/miri/tests/fail/shims/fs/mkstemp_immutable_arg.stderr
Adding src/tools/miri/tests/fail/shims/fs/mkstemp_immutable_arg.rs
Adding src/tools/miri/tests/fail/shims/fs/isolated_stdin.stderr
Adding src/tools/miri/tests/fail/shims/fs/isolated_stdin.rs
Adding src/tools/miri/tests/fail/shims/fs/isolated_file.stderr
Adding src/tools/miri/tests/fail/shims/fs/isolated_file.rs
Adding src/tools/miri/tests/fail/shims/fs/close_stdout.stderr
Adding src/tools/miri/tests/fail/shims/fs/close_stdout.rs
Adding src/tools/miri/tests/fail/shims/backtrace/bad-backtrace-size-flags.stderr
Adding src/tools/miri/tests/fail/shims/backtrace/bad-backtrace-size-flags.rs
Adding src/tools/miri/tests/fail/shims/backtrace/bad-backtrace-resolve-names-flags.stderr
Adding src/tools/miri/tests/fail/shims/backtrace/bad-backtrace-resolve-names-flags.rs
Adding src/tools/miri/tests/fail/shims/backtrace/bad-backtrace-resolve-flags.stderr
Adding src/tools/miri/tests/fail/shims/backtrace/bad-backtrace-resolve-flags.rs
Adding src/tools/miri/tests/fail/shims/backtrace/bad-backtrace-ptr.stderr
Adding src/tools/miri/tests/fail/shims/backtrace/bad-backtrace-ptr.rs
Adding src/tools/miri/tests/fail/shims/backtrace/bad-backtrace-flags.stderr
Adding src/tools/miri/tests/fail/shims/backtrace/bad-backtrace-flags.rs
Adding src/tools/miri/tests/fail/shims/backtrace/bad-backtrace-decl.stderr
Adding src/tools/miri/tests/fail/shims/backtrace/bad-backtrace-decl.rs
Adding src/tools/miri/tests/fail/rustc-error.stderr
Adding src/tools/miri/tests/fail/rustc-error.rs
Adding src/tools/miri/tests/fail/reading_half_a_pointer.stderr
Adding src/tools/miri/tests/fail/reading_half_a_pointer.rs
Adding src/tools/miri/tests/fail/rc_as_ptr.stderr
Adding src/tools/miri/tests/fail/rc_as_ptr.rs
Adding src/tools/miri/tests/fail/provenance/strict_provenance_cast.stderr
Adding src/tools/miri/tests/fail/provenance/strict_provenance_cast.rs
Adding src/tools/miri/tests/fail/provenance/ptr_invalid_offset.stderr
Adding src/tools/miri/tests/fail/provenance/ptr_invalid_offset.rs
Adding src/tools/miri/tests/fail/provenance/ptr_invalid.stderr
Adding src/tools/miri/tests/fail/provenance/ptr_invalid.rs
Adding src/tools/miri/tests/fail/provenance/ptr_int_unexposed.stderr
Adding src/tools/miri/tests/fail/provenance/ptr_int_unexposed.rs
Adding src/tools/miri/tests/fail/provenance/provenance_transmute.stderr
Adding src/tools/miri/tests/fail/provenance/provenance_transmute.rs
Adding src/tools/miri/tests/fail/provenance/pointer_partial_overwrite.stderr
Adding src/tools/miri/tests/fail/provenance/pointer_partial_overwrite.rs
Adding src/tools/miri/tests/fail/panic/unwind_panic_abort.stderr
Adding src/tools/miri/tests/fail/panic/unwind_panic_abort.rs
Adding src/tools/miri/tests/fail/panic/panic_abort4.stderr
Adding src/tools/miri/tests/fail/panic/panic_abort4.rs
Adding src/tools/miri/tests/fail/panic/panic_abort3.stderr
Adding src/tools/miri/tests/fail/panic/panic_abort3.rs
Adding src/tools/miri/tests/fail/panic/panic_abort2.stderr
Adding src/tools/miri/tests/fail/panic/panic_abort2.rs
Adding src/tools/miri/tests/fail/panic/panic_abort1.stderr
Adding src/tools/miri/tests/fail/panic/panic_abort1.rs
Adding src/tools/miri/tests/fail/panic/no_std.stderr
Adding src/tools/miri/tests/fail/panic/no_std.rs
Adding src/tools/miri/tests/fail/panic/double_panic.stderr
Adding src/tools/miri/tests/fail/panic/double_panic.rs
Adding src/tools/miri/tests/fail/panic/bad_unwind.stderr
Adding src/tools/miri/tests/fail/panic/bad_unwind.rs
Adding src/tools/miri/tests/fail/panic/bad_miri_start_panic.stderr
Adding src/tools/miri/tests/fail/panic/bad_miri_start_panic.rs
Adding src/tools/miri/tests/fail/no_main.stderr
Adding src/tools/miri/tests/fail/no_main.rs
Adding src/tools/miri/tests/fail/never_transmute_void.stderr
Adding src/tools/miri/tests/fail/never_transmute_void.rs
Adding src/tools/miri/tests/fail/never_transmute_humans.stderr
Adding src/tools/miri/tests/fail/never_transmute_humans.rs
Adding src/tools/miri/tests/fail/never_say_never.stderr
Adding src/tools/miri/tests/fail/never_say_never.rs
Adding src/tools/miri/tests/fail/modifying_constants.stderr
Adding src/tools/miri/tests/fail/modifying_constants.rs
Adding src/tools/miri/tests/fail/memleak_rc.rs
Adding src/tools/miri/tests/fail/memleak_rc.64bit.stderr
Adding src/tools/miri/tests/fail/memleak_rc.32bit.stderr
Adding src/tools/miri/tests/fail/memleak.stderr
Adding src/tools/miri/tests/fail/memleak.rs
Adding src/tools/miri/tests/fail/issue-miri-2432.stderr
Adding src/tools/miri/tests/fail/issue-miri-2432.rs
Adding src/tools/miri/tests/fail/issue-miri-1112.stderr
Adding src/tools/miri/tests/fail/issue-miri-1112.rs
Adding src/tools/miri/tests/fail/invalid_int.stderr
Adding src/tools/miri/tests/fail/invalid_int.rs
Adding src/tools/miri/tests/fail/invalid_enum_tag.stderr
Adding src/tools/miri/tests/fail/invalid_enum_tag.rs
Adding src/tools/miri/tests/fail/invalid_char.stderr
Adding src/tools/miri/tests/fail/invalid_char.rs
Adding src/tools/miri/tests/fail/invalid_bool.stderr
Adding src/tools/miri/tests/fail/invalid_bool.rs
Adding src/tools/miri/tests/fail/intrinsics/zero_fn_ptr.stderr
Adding src/tools/miri/tests/fail/intrinsics/zero_fn_ptr.rs
Adding src/tools/miri/tests/fail/intrinsics/write_bytes_overflow.stderr
Adding src/tools/miri/tests/fail/intrinsics/write_bytes_overflow.rs
Adding src/tools/miri/tests/fail/intrinsics/write_bytes_null.stderr
Adding src/tools/miri/tests/fail/intrinsics/write_bytes_null.rs
Adding src/tools/miri/tests/fail/intrinsics/uninit_uninhabited_type.stderr
Adding src/tools/miri/tests/fail/intrinsics/uninit_uninhabited_type.rs
Adding src/tools/miri/tests/fail/intrinsics/unchecked_sub2.stderr
Adding src/tools/miri/tests/fail/intrinsics/unchecked_sub2.rs
Adding src/tools/miri/tests/fail/intrinsics/unchecked_sub1.stderr
Adding src/tools/miri/tests/fail/intrinsics/unchecked_sub1.rs
Adding src/tools/miri/tests/fail/intrinsics/unchecked_mul2.stderr
Adding src/tools/miri/tests/fail/intrinsics/unchecked_mul2.rs
Adding src/tools/miri/tests/fail/intrinsics/unchecked_mul1.stderr
Adding src/tools/miri/tests/fail/intrinsics/unchecked_mul1.rs
Adding src/tools/miri/tests/fail/intrinsics/unchecked_div1.stderr
Adding src/tools/miri/tests/fail/intrinsics/unchecked_div1.rs
Adding src/tools/miri/tests/fail/intrinsics/unchecked_add2.stderr
Adding src/tools/miri/tests/fail/intrinsics/unchecked_add2.rs
Adding src/tools/miri/tests/fail/intrinsics/unchecked_add1.stderr
Adding src/tools/miri/tests/fail/intrinsics/unchecked_add1.rs
Adding src/tools/miri/tests/fail/intrinsics/simd-shr-too-far.stderr
Adding src/tools/miri/tests/fail/intrinsics/simd-shr-too-far.rs
Adding src/tools/miri/tests/fail/intrinsics/simd-shl-too-far.stderr
Adding src/tools/miri/tests/fail/intrinsics/simd-shl-too-far.rs
Adding src/tools/miri/tests/fail/intrinsics/simd-select-invalid-bool.stderr
Adding src/tools/miri/tests/fail/intrinsics/simd-select-invalid-bool.rs
Adding src/tools/miri/tests/fail/intrinsics/simd-select-bitmask-invalid.stderr
Adding src/tools/miri/tests/fail/intrinsics/simd-select-bitmask-invalid.rs
Adding src/tools/miri/tests/fail/intrinsics/simd-scatter.stderr
Adding src/tools/miri/tests/fail/intrinsics/simd-scatter.rs
Adding src/tools/miri/tests/fail/intrinsics/simd-rem-by-zero.stderr
Adding src/tools/miri/tests/fail/intrinsics/simd-rem-by-zero.rs
Adding src/tools/miri/tests/fail/intrinsics/simd-reduce-invalid-bool.stderr
Adding src/tools/miri/tests/fail/intrinsics/simd-reduce-invalid-bool.rs
Adding src/tools/miri/tests/fail/intrinsics/simd-gather.stderr
Adding src/tools/miri/tests/fail/intrinsics/simd-gather.rs
Adding src/tools/miri/tests/fail/intrinsics/simd-float-to-int.stderr
Adding src/tools/miri/tests/fail/intrinsics/simd-float-to-int.rs
Adding src/tools/miri/tests/fail/intrinsics/simd-div-overflow.stderr
Adding src/tools/miri/tests/fail/intrinsics/simd-div-overflow.rs
Adding src/tools/miri/tests/fail/intrinsics/simd-div-by-zero.stderr
Adding src/tools/miri/tests/fail/intrinsics/simd-div-by-zero.rs
Adding src/tools/miri/tests/fail/intrinsics/rem-by-zero.stderr
Adding src/tools/miri/tests/fail/intrinsics/rem-by-zero.rs
Adding src/tools/miri/tests/fail/intrinsics/raw_eq_on_ptr.stderr
Adding src/tools/miri/tests/fail/intrinsics/raw_eq_on_ptr.rs
Adding src/tools/miri/tests/fail/intrinsics/ptr_offset_ptr_plus_0.stderr
Adding src/tools/miri/tests/fail/intrinsics/ptr_offset_ptr_plus_0.rs
Adding src/tools/miri/tests/fail/intrinsics/ptr_offset_overflow.stderr
Adding src/tools/miri/tests/fail/intrinsics/ptr_offset_overflow.rs
Adding src/tools/miri/tests/fail/intrinsics/ptr_offset_int_plus_ptr.stderr
Adding src/tools/miri/tests/fail/intrinsics/ptr_offset_int_plus_ptr.rs
Adding src/tools/miri/tests/fail/intrinsics/ptr_offset_int_plus_int.stderr
Adding src/tools/miri/tests/fail/intrinsics/ptr_offset_int_plus_int.rs
Adding src/tools/miri/tests/fail/intrinsics/ptr_offset_from_unsigned_neg.stderr
Adding src/tools/miri/tests/fail/intrinsics/ptr_offset_from_unsigned_neg.rs
Adding src/tools/miri/tests/fail/intrinsics/ptr_offset_from_oob.stderr
Adding src/tools/miri/tests/fail/intrinsics/ptr_offset_from_oob.rs
Adding src/tools/miri/tests/fail/intrinsics/ptr_offset_0_plus_0.stderr
Adding src/tools/miri/tests/fail/intrinsics/ptr_offset_0_plus_0.rs
Adding src/tools/miri/tests/fail/intrinsics/overflowing-unchecked-rsh.stderr
Adding src/tools/miri/tests/fail/intrinsics/overflowing-unchecked-rsh.rs
Adding src/tools/miri/tests/fail/intrinsics/out_of_bounds_ptr_3.stderr
Adding src/tools/miri/tests/fail/intrinsics/out_of_bounds_ptr_3.rs
Adding src/tools/miri/tests/fail/intrinsics/out_of_bounds_ptr_2.stderr
Adding src/tools/miri/tests/fail/intrinsics/out_of_bounds_ptr_2.rs
Adding src/tools/miri/tests/fail/intrinsics/out_of_bounds_ptr_1.stderr
Adding src/tools/miri/tests/fail/intrinsics/out_of_bounds_ptr_1.rs
Adding src/tools/miri/tests/fail/intrinsics/float_to_int_64_too_small3.stderr
Adding src/tools/miri/tests/fail/intrinsics/float_to_int_64_too_small3.rs
Adding src/tools/miri/tests/fail/intrinsics/float_to_int_64_too_small2.stderr
Adding src/tools/miri/tests/fail/intrinsics/float_to_int_64_too_small2.rs
Adding src/tools/miri/tests/fail/intrinsics/float_to_int_64_too_small1.stderr
Adding src/tools/miri/tests/fail/intrinsics/float_to_int_64_too_small1.rs
Adding src/tools/miri/tests/fail/intrinsics/float_to_int_64_too_big7.stderr
Adding src/tools/miri/tests/fail/intrinsics/float_to_int_64_too_big7.rs
Adding src/tools/miri/tests/fail/intrinsics/float_to_int_64_too_big6.stderr
Adding src/tools/miri/tests/fail/intrinsics/float_to_int_64_too_big6.rs
Adding src/tools/miri/tests/fail/intrinsics/float_to_int_64_too_big5.stderr
Adding src/tools/miri/tests/fail/intrinsics/float_to_int_64_too_big5.rs
Adding src/tools/miri/tests/fail/intrinsics/float_to_int_64_too_big4.stderr
Adding src/tools/miri/tests/fail/intrinsics/float_to_int_64_too_big4.rs
Adding src/tools/miri/tests/fail/intrinsics/float_to_int_64_too_big3.stderr
Adding src/tools/miri/tests/fail/intrinsics/float_to_int_64_too_big3.rs
Adding src/tools/miri/tests/fail/intrinsics/float_to_int_64_too_big2.stderr
Adding src/tools/miri/tests/fail/intrinsics/float_to_int_64_too_big2.rs
Adding src/tools/miri/tests/fail/intrinsics/float_to_int_64_too_big1.stderr
Adding src/tools/miri/tests/fail/intrinsics/float_to_int_64_too_big1.rs
Adding src/tools/miri/tests/fail/intrinsics/float_to_int_64_neg.stderr
Adding src/tools/miri/tests/fail/intrinsics/float_to_int_64_neg.rs
Adding src/tools/miri/tests/fail/intrinsics/float_to_int_64_nan.stderr
Adding src/tools/miri/tests/fail/intrinsics/float_to_int_64_nan.rs
Adding src/tools/miri/tests/fail/intrinsics/float_to_int_64_infneg2.stderr
Adding src/tools/miri/tests/fail/intrinsics/float_to_int_64_infneg2.rs
Adding src/tools/miri/tests/fail/intrinsics/float_to_int_64_infneg1.stderr
Adding src/tools/miri/tests/fail/intrinsics/float_to_int_64_infneg1.rs
Adding src/tools/miri/tests/fail/intrinsics/float_to_int_64_inf1.stderr
Adding src/tools/miri/tests/fail/intrinsics/float_to_int_64_inf1.rs
Adding src/tools/miri/tests/fail/intrinsics/float_to_int_32_too_small1.stderr
Adding src/tools/miri/tests/fail/intrinsics/float_to_int_32_too_small1.rs
Adding src/tools/miri/tests/fail/intrinsics/float_to_int_32_too_big2.stderr
Adding src/tools/miri/tests/fail/intrinsics/float_to_int_32_too_big2.rs
Adding src/tools/miri/tests/fail/intrinsics/float_to_int_32_too_big1.stderr
Adding src/tools/miri/tests/fail/intrinsics/float_to_int_32_too_big1.rs
Adding src/tools/miri/tests/fail/intrinsics/float_to_int_32_neg.stderr
Adding src/tools/miri/tests/fail/intrinsics/float_to_int_32_neg.rs
Adding src/tools/miri/tests/fail/intrinsics/float_to_int_32_nanneg.stderr
Adding src/tools/miri/tests/fail/intrinsics/float_to_int_32_nanneg.rs
Adding src/tools/miri/tests/fail/intrinsics/float_to_int_32_nan.stderr
Adding src/tools/miri/tests/fail/intrinsics/float_to_int_32_nan.rs
Adding src/tools/miri/tests/fail/intrinsics/float_to_int_32_infneg1.stderr
Adding src/tools/miri/tests/fail/intrinsics/float_to_int_32_infneg1.rs
Adding src/tools/miri/tests/fail/intrinsics/float_to_int_32_inf1.stderr
Adding src/tools/miri/tests/fail/intrinsics/float_to_int_32_inf1.rs
Adding src/tools/miri/tests/fail/intrinsics/exact_div4.stderr
Adding src/tools/miri/tests/fail/intrinsics/exact_div4.rs
Adding src/tools/miri/tests/fail/intrinsics/exact_div3.stderr
Adding src/tools/miri/tests/fail/intrinsics/exact_div3.rs
Adding src/tools/miri/tests/fail/intrinsics/exact_div2.stderr
Adding src/tools/miri/tests/fail/intrinsics/exact_div2.rs
Adding src/tools/miri/tests/fail/intrinsics/exact_div1.stderr
Adding src/tools/miri/tests/fail/intrinsics/exact_div1.rs
Adding src/tools/miri/tests/fail/intrinsics/div-by-zero.stderr
Adding src/tools/miri/tests/fail/intrinsics/div-by-zero.rs
Adding src/tools/miri/tests/fail/intrinsics/cttz_nonzero.stderr
Adding src/tools/miri/tests/fail/intrinsics/cttz_nonzero.rs
Adding src/tools/miri/tests/fail/intrinsics/ctlz_nonzero.stderr
Adding src/tools/miri/tests/fail/intrinsics/ctlz_nonzero.rs
Adding src/tools/miri/tests/fail/intrinsics/copy_unaligned.stderr
Adding src/tools/miri/tests/fail/intrinsics/copy_unaligned.rs
Adding src/tools/miri/tests/fail/intrinsics/copy_overlapping.stderr
Adding src/tools/miri/tests/fail/intrinsics/copy_overlapping.rs
Adding src/tools/miri/tests/fail/intrinsics/copy_overflow.stderr
Adding src/tools/miri/tests/fail/intrinsics/copy_overflow.rs
Adding src/tools/miri/tests/fail/intrinsics/copy_null.stderr
Adding src/tools/miri/tests/fail/intrinsics/copy_null.rs
Adding src/tools/miri/tests/fail/intrinsics/assume.stderr
Adding src/tools/miri/tests/fail/intrinsics/assume.rs
Adding src/tools/miri/tests/fail/generator-pinned-moved.stderr
Adding src/tools/miri/tests/fail/generator-pinned-moved.rs
Adding src/tools/miri/tests/fail/function_pointers/fn_ptr_offset.stderr
Adding src/tools/miri/tests/fail/function_pointers/fn_ptr_offset.rs
Adding src/tools/miri/tests/fail/function_pointers/execute_memory.stderr
Adding src/tools/miri/tests/fail/function_pointers/execute_memory.rs
Adding src/tools/miri/tests/fail/function_pointers/deref_fn_ptr.stderr
Adding src/tools/miri/tests/fail/function_pointers/deref_fn_ptr.rs
Adding src/tools/miri/tests/fail/function_pointers/cast_int_to_fn_ptr.stderr
Adding src/tools/miri/tests/fail/function_pointers/cast_int_to_fn_ptr.rs
Adding src/tools/miri/tests/fail/function_pointers/cast_fn_ptr5.stderr
Adding src/tools/miri/tests/fail/function_pointers/cast_fn_ptr5.rs
Adding src/tools/miri/tests/fail/function_pointers/cast_fn_ptr4.stderr
Adding src/tools/miri/tests/fail/function_pointers/cast_fn_ptr4.rs
Adding src/tools/miri/tests/fail/function_pointers/cast_fn_ptr3.stderr
Adding src/tools/miri/tests/fail/function_pointers/cast_fn_ptr3.rs
Adding src/tools/miri/tests/fail/function_pointers/cast_fn_ptr2.stderr
Adding src/tools/miri/tests/fail/function_pointers/cast_fn_ptr2.rs
Adding src/tools/miri/tests/fail/function_pointers/cast_fn_ptr1.stderr
Adding src/tools/miri/tests/fail/function_pointers/cast_fn_ptr1.rs
Adding src/tools/miri/tests/fail/function_pointers/cast_box_int_to_fn_ptr.stderr
Adding src/tools/miri/tests/fail/function_pointers/cast_box_int_to_fn_ptr.rs
Adding src/tools/miri/tests/fail/function_calls/exported_symbol_wrong_type.stderr
Adding src/tools/miri/tests/fail/function_calls/exported_symbol_wrong_type.rs
Adding src/tools/miri/tests/fail/function_calls/exported_symbol_wrong_arguments.stderr
Adding src/tools/miri/tests/fail/function_calls/exported_symbol_wrong_arguments.rs
Adding src/tools/miri/tests/fail/function_calls/exported_symbol_shim_clashing.stderr
Adding src/tools/miri/tests/fail/function_calls/exported_symbol_shim_clashing.rs
Adding src/tools/miri/tests/fail/function_calls/exported_symbol_clashing.stderr
Adding src/tools/miri/tests/fail/function_calls/exported_symbol_clashing.rs
Adding src/tools/miri/tests/fail/function_calls/exported_symbol_bad_unwind2.rs
Adding src/tools/miri/tests/fail/function_calls/exported_symbol_bad_unwind2.extern_block.stderr
Adding src/tools/miri/tests/fail/function_calls/exported_symbol_bad_unwind2.definition.stderr
Adding src/tools/miri/tests/fail/function_calls/exported_symbol_bad_unwind2.both.stderr
Adding src/tools/miri/tests/fail/function_calls/exported_symbol_bad_unwind1.stderr
Adding src/tools/miri/tests/fail/function_calls/exported_symbol_bad_unwind1.rs
Adding src/tools/miri/tests/fail/function_calls/exported_symbol_abi_mismatch.rs
Adding src/tools/miri/tests/fail/function_calls/exported_symbol_abi_mismatch.no_cache.stderr
Adding src/tools/miri/tests/fail/function_calls/exported_symbol_abi_mismatch.fn_ptr.stderr
Adding src/tools/miri/tests/fail/function_calls/exported_symbol_abi_mismatch.cache.stderr
Adding src/tools/miri/tests/fail/function_calls/check_callback_abi.stderr
Adding src/tools/miri/tests/fail/function_calls/check_callback_abi.rs
Adding src/tools/miri/tests/fail/function_calls/check_arg_count_too_many_args.stderr
Adding src/tools/miri/tests/fail/function_calls/check_arg_count_too_many_args.rs
Adding src/tools/miri/tests/fail/function_calls/check_arg_count_too_few_args.stderr
Adding src/tools/miri/tests/fail/function_calls/check_arg_count_too_few_args.rs
Adding src/tools/miri/tests/fail/function_calls/check_arg_count_abort.stderr
Adding src/tools/miri/tests/fail/function_calls/check_arg_count_abort.rs
Adding src/tools/miri/tests/fail/function_calls/check_arg_abi.stderr
Adding src/tools/miri/tests/fail/function_calls/check_arg_abi.rs
Adding src/tools/miri/tests/fail/fast_math_second.stderr
Adding src/tools/miri/tests/fail/fast_math_second.rs
Adding src/tools/miri/tests/fail/fast_math_first.stderr
Adding src/tools/miri/tests/fail/fast_math_first.rs
Adding src/tools/miri/tests/fail/fast_math_both.stderr
Adding src/tools/miri/tests/fail/fast_math_both.rs
Adding src/tools/miri/tests/fail/extern_static_wrong_size.stderr
Adding src/tools/miri/tests/fail/extern_static_wrong_size.rs
Adding src/tools/miri/tests/fail/extern_static_in_const.stderr
Adding src/tools/miri/tests/fail/extern_static_in_const.rs
Adding src/tools/miri/tests/fail/extern_static.stderr
Adding src/tools/miri/tests/fail/extern_static.rs
Adding src/tools/miri/tests/fail/erroneous_const2.stderr
Adding src/tools/miri/tests/fail/erroneous_const2.rs
Adding src/tools/miri/tests/fail/erroneous_const.stderr
Adding src/tools/miri/tests/fail/erroneous_const.rs
Adding src/tools/miri/tests/fail/environ-gets-deallocated.stderr
Adding src/tools/miri/tests/fail/environ-gets-deallocated.rs
Adding src/tools/miri/tests/fail/dyn-upcast-trait-mismatch.stderr
Adding src/tools/miri/tests/fail/dyn-upcast-trait-mismatch.rs
Adding src/tools/miri/tests/fail/dyn-call-trait-mismatch.stderr
Adding src/tools/miri/tests/fail/dyn-call-trait-mismatch.rs
Adding src/tools/miri/tests/fail/data_race/write_write_race_stack.stderr
Adding src/tools/miri/tests/fail/data_race/write_write_race_stack.rs
Adding src/tools/miri/tests/fail/data_race/write_write_race.stderr
Adding src/tools/miri/tests/fail/data_race/write_write_race.rs
Adding src/tools/miri/tests/fail/data_race/stack_pop_race.stderr
Adding src/tools/miri/tests/fail/data_race/stack_pop_race.rs
Adding src/tools/miri/tests/fail/data_race/rmw_race.stderr
Adding src/tools/miri/tests/fail/data_race/rmw_race.rs
Adding src/tools/miri/tests/fail/data_race/release_seq_race_same_thread.stderr
Adding src/tools/miri/tests/fail/data_race/release_seq_race_same_thread.rs
Adding src/tools/miri/tests/fail/data_race/release_seq_race.stderr
Adding src/tools/miri/tests/fail/data_race/release_seq_race.rs
Adding src/tools/miri/tests/fail/data_race/relax_acquire_race.stderr
Adding src/tools/miri/tests/fail/data_race/relax_acquire_race.rs
Adding src/tools/miri/tests/fail/data_race/read_write_race_stack.stderr
Adding src/tools/miri/tests/fail/data_race/read_write_race_stack.rs
Adding src/tools/miri/tests/fail/data_race/read_write_race.stderr
Adding src/tools/miri/tests/fail/data_race/read_write_race.rs
Adding src/tools/miri/tests/fail/data_race/fence_after_load.stderr
Adding src/tools/miri/tests/fail/data_race/fence_after_load.rs
Adding src/tools/miri/tests/fail/data_race/enable_after_join_to_main.stderr
Adding src/tools/miri/tests/fail/data_race/enable_after_join_to_main.rs
Adding src/tools/miri/tests/fail/data_race/dealloc_write_race_stack.stderr
Adding src/tools/miri/tests/fail/data_race/dealloc_write_race_stack.rs
Adding src/tools/miri/tests/fail/data_race/dealloc_write_race2.stderr
Adding src/tools/miri/tests/fail/data_race/dealloc_write_race2.rs
Adding src/tools/miri/tests/fail/data_race/dealloc_write_race1.stderr
Adding src/tools/miri/tests/fail/data_race/dealloc_write_race1.rs
Adding src/tools/miri/tests/fail/data_race/dealloc_read_race_stack.stderr
Adding src/tools/miri/tests/fail/data_race/dealloc_read_race_stack.rs
Adding src/tools/miri/tests/fail/data_race/dealloc_read_race2.stderr
Adding src/tools/miri/tests/fail/data_race/dealloc_read_race2.rs
Adding src/tools/miri/tests/fail/data_race/dealloc_read_race1.stderr
Adding src/tools/miri/tests/fail/data_race/dealloc_read_race1.rs
Adding src/tools/miri/tests/fail/data_race/dangling_thread_race.stderr
Adding src/tools/miri/tests/fail/data_race/dangling_thread_race.rs
Adding src/tools/miri/tests/fail/data_race/dangling_thread_async_race.stderr
Adding src/tools/miri/tests/fail/data_race/dangling_thread_async_race.rs
Adding src/tools/miri/tests/fail/data_race/atomic_write_na_write_race2.stderr
Adding src/tools/miri/tests/fail/data_race/atomic_write_na_write_race2.rs
Adding src/tools/miri/tests/fail/data_race/atomic_write_na_write_race1.stderr
Adding src/tools/miri/tests/fail/data_race/atomic_write_na_write_race1.rs
Adding src/tools/miri/tests/fail/data_race/atomic_write_na_read_race2.stderr
Adding src/tools/miri/tests/fail/data_race/atomic_write_na_read_race2.rs
Adding src/tools/miri/tests/fail/data_race/atomic_write_na_read_race1.stderr
Adding src/tools/miri/tests/fail/data_race/atomic_write_na_read_race1.rs
Adding src/tools/miri/tests/fail/data_race/atomic_read_na_write_race2.stderr
Adding src/tools/miri/tests/fail/data_race/atomic_read_na_write_race2.rs
Adding src/tools/miri/tests/fail/data_race/atomic_read_na_write_race1.stderr
Adding src/tools/miri/tests/fail/data_race/atomic_read_na_write_race1.rs
Adding src/tools/miri/tests/fail/data_race/alloc_write_race.stderr
Adding src/tools/miri/tests/fail/data_race/alloc_write_race.rs
Adding src/tools/miri/tests/fail/data_race/alloc_read_race.stderr
Adding src/tools/miri/tests/fail/data_race/alloc_read_race.rs
Adding src/tools/miri/tests/fail/dangling_pointers/wild_pointer_deref.stderr
Adding src/tools/miri/tests/fail/dangling_pointers/wild_pointer_deref.rs
Adding src/tools/miri/tests/fail/dangling_pointers/storage_dead_dangling.stderr
Adding src/tools/miri/tests/fail/dangling_pointers/storage_dead_dangling.rs
Adding src/tools/miri/tests/fail/dangling_pointers/stack_temporary.stderr
Adding src/tools/miri/tests/fail/dangling_pointers/stack_temporary.rs
Adding src/tools/miri/tests/fail/dangling_pointers/out_of_bounds_read2.stderr
Adding src/tools/miri/tests/fail/dangling_pointers/out_of_bounds_read2.rs
Adding src/tools/miri/tests/fail/dangling_pointers/out_of_bounds_read1.stderr
Adding src/tools/miri/tests/fail/dangling_pointers/out_of_bounds_read1.rs
Adding src/tools/miri/tests/fail/dangling_pointers/null_pointer_write_zst.stderr
Adding src/tools/miri/tests/fail/dangling_pointers/null_pointer_write_zst.rs
Adding src/tools/miri/tests/fail/dangling_pointers/null_pointer_write.stderr
Adding src/tools/miri/tests/fail/dangling_pointers/null_pointer_write.rs
Adding src/tools/miri/tests/fail/dangling_pointers/null_pointer_deref_zst.stderr
Adding src/tools/miri/tests/fail/dangling_pointers/null_pointer_deref_zst.rs
Adding src/tools/miri/tests/fail/dangling_pointers/null_pointer_deref.stderr
Adding src/tools/miri/tests/fail/dangling_pointers/null_pointer_deref.rs
Adding src/tools/miri/tests/fail/dangling_pointers/maybe_null_pointer_write_zst.stderr
Adding src/tools/miri/tests/fail/dangling_pointers/maybe_null_pointer_write_zst.rs
Adding src/tools/miri/tests/fail/dangling_pointers/maybe_null_pointer_deref_zst.stderr
Adding src/tools/miri/tests/fail/dangling_pointers/maybe_null_pointer_deref_zst.rs
Adding src/tools/miri/tests/fail/dangling_pointers/dyn_size.stderr
Adding src/tools/miri/tests/fail/dangling_pointers/dyn_size.rs
Adding src/tools/miri/tests/fail/dangling_pointers/deref-partially-dangling.stderr
Adding src/tools/miri/tests/fail/dangling_pointers/deref-partially-dangling.rs
Adding src/tools/miri/tests/fail/dangling_pointers/deref-invalid-ptr.stderr
Adding src/tools/miri/tests/fail/dangling_pointers/deref-invalid-ptr.rs
Adding src/tools/miri/tests/fail/dangling_pointers/dangling_zst_deref.stderr
Adding src/tools/miri/tests/fail/dangling_pointers/dangling_zst_deref.rs
Adding src/tools/miri/tests/fail/dangling_pointers/dangling_pointer_deref.stderr
Adding src/tools/miri/tests/fail/dangling_pointers/dangling_pointer_deref.rs
Adding src/tools/miri/tests/fail/dangling_pointers/dangling_pointer_addr_of.stderr
Adding src/tools/miri/tests/fail/dangling_pointers/dangling_pointer_addr_of.rs
Adding src/tools/miri/tests/fail/crates/tokio_mvp.stderr
Adding src/tools/miri/tests/fail/crates/tokio_mvp.rs
Adding src/tools/miri/tests/fail/const-ub-checks.stderr
Adding src/tools/miri/tests/fail/const-ub-checks.rs
Adding src/tools/miri/tests/fail/concurrency/windows_join_self.stderr
Adding src/tools/miri/tests/fail/concurrency/windows_join_self.rs
Adding src/tools/miri/tests/fail/concurrency/windows_join_main.stderr
Adding src/tools/miri/tests/fail/concurrency/windows_join_main.rs
Adding src/tools/miri/tests/fail/concurrency/windows_join_detached.stderr
Adding src/tools/miri/tests/fail/concurrency/windows_join_detached.rs
Adding src/tools/miri/tests/fail/concurrency/unwind_top_of_stack.stderr
Adding src/tools/miri/tests/fail/concurrency/unwind_top_of_stack.rs
Adding src/tools/miri/tests/fail/concurrency/thread_local_static_dealloc.stderr
Adding src/tools/miri/tests/fail/concurrency/thread_local_static_dealloc.rs
Adding src/tools/miri/tests/fail/concurrency/read_only_atomic_load.stderr
Adding src/tools/miri/tests/fail/concurrency/read_only_atomic_load.rs
Adding src/tools/miri/tests/fail/concurrency/read_only_atomic_cmpxchg.stderr
Adding src/tools/miri/tests/fail/concurrency/read_only_atomic_cmpxchg.rs
Adding src/tools/miri/tests/fail/concurrency/libc_pthread_join_self.stderr
Adding src/tools/miri/tests/fail/concurrency/libc_pthread_join_self.rs
Adding src/tools/miri/tests/fail/concurrency/libc_pthread_join_multiple.stderr
Adding src/tools/miri/tests/fail/concurrency/libc_pthread_join_multiple.rs
Adding src/tools/miri/tests/fail/concurrency/libc_pthread_join_main.stderr
Adding src/tools/miri/tests/fail/concurrency/libc_pthread_join_main.rs
Adding src/tools/miri/tests/fail/concurrency/libc_pthread_join_joined.stderr
Adding src/tools/miri/tests/fail/concurrency/libc_pthread_join_joined.rs
Adding src/tools/miri/tests/fail/concurrency/libc_pthread_join_detached.stderr
Adding src/tools/miri/tests/fail/concurrency/libc_pthread_join_detached.rs
Adding src/tools/miri/tests/fail/concurrency/libc_pthread_create_too_many_args.stderr
Adding src/tools/miri/tests/fail/concurrency/libc_pthread_create_too_many_args.rs
Adding src/tools/miri/tests/fail/concurrency/libc_pthread_create_too_few_args.stderr
Adding src/tools/miri/tests/fail/concurrency/libc_pthread_create_too_few_args.rs
Adding src/tools/miri/tests/fail/concurrency/libc_pthread_create_main_terminate.stderr
Adding src/tools/miri/tests/fail/concurrency/libc_pthread_create_main_terminate.rs
Adding src/tools/miri/tests/fail/breakpoint.stderr
Adding src/tools/miri/tests/fail/breakpoint.rs
Adding src/tools/miri/tests/fail/branchless-select-i128-pointer.stderr
Adding src/tools/miri/tests/fail/branchless-select-i128-pointer.rs
Adding src/tools/miri/tests/fail/box-cell-alias.stderr
Adding src/tools/miri/tests/fail/box-cell-alias.rs
Adding src/tools/miri/tests/fail/alloc/stack_free.stderr
Adding src/tools/miri/tests/fail/alloc/stack_free.rs
Adding src/tools/miri/tests/fail/alloc/reallocate-dangling.stderr
Adding src/tools/miri/tests/fail/alloc/reallocate-dangling.rs
Adding src/tools/miri/tests/fail/alloc/reallocate-change-alloc.stderr
Adding src/tools/miri/tests/fail/alloc/reallocate-change-alloc.rs
Adding src/tools/miri/tests/fail/alloc/reallocate-bad-size.stderr
Adding src/tools/miri/tests/fail/alloc/reallocate-bad-size.rs
Adding src/tools/miri/tests/fail/alloc/no_global_allocator.stderr
Adding src/tools/miri/tests/fail/alloc/no_global_allocator.rs
Adding src/tools/miri/tests/fail/alloc/global_system_mixup.stderr
Adding src/tools/miri/tests/fail/alloc/global_system_mixup.rs
Adding src/tools/miri/tests/fail/alloc/deallocate-twice.stderr
Adding src/tools/miri/tests/fail/alloc/deallocate-twice.rs
Adding src/tools/miri/tests/fail/alloc/deallocate-bad-size.stderr
Adding src/tools/miri/tests/fail/alloc/deallocate-bad-size.rs
Adding src/tools/miri/tests/fail/alloc/deallocate-bad-alignment.stderr
Adding src/tools/miri/tests/fail/alloc/deallocate-bad-alignment.rs
Adding src/tools/miri/tests/fail/abort-terminator.stderr
Adding src/tools/miri/tests/fail/abort-terminator.rs
Adding src/tools/miri/tests/extern-so/test.c
Adding src/tools/miri/tests/extern-so/pass/call_extern_c_fn.stdout
Adding src/tools/miri/tests/extern-so/pass/call_extern_c_fn.rs
Adding src/tools/miri/tests/extern-so/libcode.version
Adding src/tools/miri/tests/extern-so/fail/function_not_in_so.stderr
Adding src/tools/miri/tests/extern-so/fail/function_not_in_so.rs
Adding src/tools/miri/tests/compiletest.rs
Adding src/tools/miri/test_dependencies/src/main.rs
Adding src/tools/miri/test_dependencies/Cargo.toml
Adding src/tools/miri/test_dependencies/Cargo.lock
Adding src/tools/miri/test-cargo-miri/tests/test.rs
Adding src/tools/miri/test-cargo-miri/tests/main.rs
Adding src/tools/miri/test-cargo-miri/test.test-target.stdout.ref
Adding src/tools/miri/test-cargo-miri/test.subcrate.stdout.ref
Adding src/tools/miri/test-cargo-miri/test.stdout-empty.ref
Adding src/tools/miri/test-cargo-miri/test.stderr-proc-macro.ref
Adding src/tools/miri/test-cargo-miri/test.stderr-proc-macro-doctest.ref
Adding src/tools/miri/test-cargo-miri/test.stderr-empty.ref
Adding src/tools/miri/test-cargo-miri/test.filter.stdout.ref
Adding src/tools/miri/test-cargo-miri/test.filter.cross-target.stdout.ref
Adding src/tools/miri/test-cargo-miri/test.default.stdout.ref
Adding src/tools/miri/test-cargo-miri/test.cross-target.stdout.ref
Adding src/tools/miri/test-cargo-miri/test.bin-target.stdout.ref
Adding src/tools/miri/test-cargo-miri/subcrate/test.rs
Adding src/tools/miri/test-cargo-miri/subcrate/src/lib.rs
Adding src/tools/miri/test-cargo-miri/subcrate/main.rs
Adding src/tools/miri/test-cargo-miri/subcrate/Cargo.toml
Adding src/tools/miri/test-cargo-miri/src/main.rs
Adding src/tools/miri/test-cargo-miri/src/lib.rs
Adding src/tools/miri/test-cargo-miri/run.subcrate.stdout.ref
Adding src/tools/miri/test-cargo-miri/run.subcrate.stderr.ref
Adding src/tools/miri/test-cargo-miri/run.default.stdout.ref
Adding src/tools/miri/test-cargo-miri/run.default.stderr.ref
Adding src/tools/miri/test-cargo-miri/run.custom-target-dir.stderr.ref
Adding src/tools/miri/test-cargo-miri/run.args.stdout.ref
Adding src/tools/miri/test-cargo-miri/run.args.stderr.ref
Adding src/tools/miri/test-cargo-miri/run-test.py
Adding src/tools/miri/test-cargo-miri/issue-rust-86261/src/lib.rs
Adding src/tools/miri/test-cargo-miri/issue-rust-86261/Cargo.toml
Adding src/tools/miri/test-cargo-miri/issue-1760/src/lib.rs
Adding src/tools/miri/test-cargo-miri/issue-1760/build.rs
Adding src/tools/miri/test-cargo-miri/issue-1760/Cargo.toml
Adding src/tools/miri/test-cargo-miri/issue-1705/src/lib.rs
Adding src/tools/miri/test-cargo-miri/issue-1705/Cargo.toml
Adding src/tools/miri/test-cargo-miri/issue-1691/src/lib.rs
Adding src/tools/miri/test-cargo-miri/issue-1691/Cargo.toml
Adding src/tools/miri/test-cargo-miri/issue-1567/src/lib.rs
Adding src/tools/miri/test-cargo-miri/issue-1567/Cargo.toml
Adding src/tools/miri/test-cargo-miri/exported-symbol/src/lib.rs
Adding src/tools/miri/test-cargo-miri/exported-symbol/Cargo.toml
Adding src/tools/miri/test-cargo-miri/exported-symbol-dep/src/lib.rs
Adding src/tools/miri/test-cargo-miri/exported-symbol-dep/Cargo.toml
Adding src/tools/miri/test-cargo-miri/cdylib/src/lib.rs
Adding src/tools/miri/test-cargo-miri/cdylib/Cargo.toml
Adding src/tools/miri/test-cargo-miri/build.rs
Adding src/tools/miri/test-cargo-miri/Cargo.toml
Adding src/tools/miri/test-cargo-miri/Cargo.lock
Adding src/tools/miri/test-cargo-miri/.gitignore
Adding src/tools/miri/src/tag_gc.rs
Adding src/tools/miri/src/stacked_borrows/stack.rs
Adding src/tools/miri/src/stacked_borrows/mod.rs
Adding src/tools/miri/src/stacked_borrows/item.rs
Adding src/tools/miri/src/stacked_borrows/diagnostics.rs
Adding src/tools/miri/src/shims/windows/thread.rs
Adding src/tools/miri/src/shims/windows/sync.rs
Adding src/tools/miri/src/shims/windows/mod.rs
Adding src/tools/miri/src/shims/windows/handle.rs
Adding src/tools/miri/src/shims/windows/foreign_items.rs
Adding src/tools/miri/src/shims/windows/dlsym.rs
Adding src/tools/miri/src/shims/unix/thread.rs
Adding src/tools/miri/src/shims/unix/sync.rs
Adding src/tools/miri/src/shims/unix/mod.rs
Adding src/tools/miri/src/shims/unix/macos/mod.rs
Adding src/tools/miri/src/shims/unix/macos/foreign_items.rs
Adding src/tools/miri/src/shims/unix/macos/dlsym.rs
Adding src/tools/miri/src/shims/unix/linux/sync.rs
Adding src/tools/miri/src/shims/unix/linux/mod.rs
Adding src/tools/miri/src/shims/unix/linux/foreign_items.rs
Adding src/tools/miri/src/shims/unix/linux/dlsym.rs
Adding src/tools/miri/src/shims/unix/fs.rs
Adding src/tools/miri/src/shims/unix/freebsd/mod.rs
Adding src/tools/miri/src/shims/unix/freebsd/foreign_items.rs
Adding src/tools/miri/src/shims/unix/freebsd/dlsym.rs
Adding src/tools/miri/src/shims/unix/foreign_items.rs
Adding src/tools/miri/src/shims/unix/dlsym.rs
Adding src/tools/miri/src/shims/unix/android/mod.rs
Adding src/tools/miri/src/shims/unix/android/foreign_items.rs
Adding src/tools/miri/src/shims/unix/android/dlsym.rs
Adding src/tools/miri/src/shims/tls.rs
Adding src/tools/miri/src/shims/time.rs
Adding src/tools/miri/src/shims/panic.rs
Adding src/tools/miri/src/shims/os_str.rs
Adding src/tools/miri/src/shims/mod.rs
Adding src/tools/miri/src/shims/intrinsics/simd.rs
Adding src/tools/miri/src/shims/intrinsics/mod.rs
Adding src/tools/miri/src/shims/intrinsics/atomic.rs
Adding src/tools/miri/src/shims/foreign_items.rs
Adding src/tools/miri/src/shims/ffi_support.rs
Adding src/tools/miri/src/shims/env.rs
Adding src/tools/miri/src/shims/dlsym.rs
Adding src/tools/miri/src/shims/backtrace.rs
Adding src/tools/miri/src/range_map.rs
Adding src/tools/miri/src/operator.rs
Adding src/tools/miri/src/mono_hash_map.rs
Adding src/tools/miri/src/machine.rs
Adding src/tools/miri/src/lib.rs
Adding src/tools/miri/src/intptrcast.rs
Adding src/tools/miri/src/helpers/convert.rs
Adding src/tools/miri/src/helpers.rs
Adding src/tools/miri/src/eval.rs
Adding src/tools/miri/src/diagnostics.rs
Adding src/tools/miri/src/concurrency/weak_memory.rs
Adding src/tools/miri/src/concurrency/vector_clock.rs
Adding src/tools/miri/src/concurrency/thread.rs
Adding src/tools/miri/src/concurrency/sync.rs
Adding src/tools/miri/src/concurrency/range_object_map.rs
Adding src/tools/miri/src/concurrency/mod.rs
Adding src/tools/miri/src/concurrency/init_once.rs
Adding src/tools/miri/src/concurrency/data_race.rs
Adding src/tools/miri/src/clock.rs
Adding src/tools/miri/src/bin/miri.rs
Adding src/tools/miri/rustfmt.toml
Adding src/tools/miri/rust-version
Adding src/tools/miri/miri
Adding src/tools/miri/ci.sh
Adding src/tools/miri/cargo-miri/src/util.rs
Adding src/tools/miri/cargo-miri/src/setup.rs
Adding src/tools/miri/cargo-miri/src/phases.rs
Adding src/tools/miri/cargo-miri/src/main.rs
Adding src/tools/miri/cargo-miri/src/arg.rs
Adding src/tools/miri/cargo-miri/miri
Adding src/tools/miri/cargo-miri/build.rs
Adding src/tools/miri/cargo-miri/Cargo.toml
Adding src/tools/miri/cargo-miri/Cargo.lock
Adding src/tools/miri/build.rs
Adding src/tools/miri/bench-cargo-miri/unicode/src/main.rs
Adding src/tools/miri/bench-cargo-miri/unicode/Cargo.toml
Adding src/tools/miri/bench-cargo-miri/unicode/Cargo.lock
Adding src/tools/miri/bench-cargo-miri/slice-get-unchecked/src/main.rs
Adding src/tools/miri/bench-cargo-miri/slice-get-unchecked/Cargo.toml
Adding src/tools/miri/bench-cargo-miri/slice-get-unchecked/Cargo.lock
Adding src/tools/miri/bench-cargo-miri/serde2/src/main.rs
Adding src/tools/miri/bench-cargo-miri/serde2/Cargo.toml
Adding src/tools/miri/bench-cargo-miri/serde2/Cargo.lock
Adding src/tools/miri/bench-cargo-miri/serde1/src/main.rs
Adding src/tools/miri/bench-cargo-miri/serde1/Cargo.toml
Adding src/tools/miri/bench-cargo-miri/serde1/Cargo.lock
Adding src/tools/miri/bench-cargo-miri/mse/src/main.rs
Adding src/tools/miri/bench-cargo-miri/mse/Cargo.toml
Adding src/tools/miri/bench-cargo-miri/mse/Cargo.lock
Adding src/tools/miri/bench-cargo-miri/backtraces/src/main.rs
Adding src/tools/miri/bench-cargo-miri/backtraces/Cargo.toml
Adding src/tools/miri/bench-cargo-miri/backtraces/Cargo.lock
Adding src/tools/miri/README.md
Adding src/tools/miri/LICENSE-MIT
Adding src/tools/miri/LICENSE-APACHE
Adding src/tools/miri/Cargo.toml
Adding src/tools/miri/Cargo.lock
Adding src/tools/miri/CONTRIBUTING.md
Adding src/tools/miri/.gitpod.yml
Adding src/tools/miri/.gitignore
Adding src/tools/miri/.github/workflows/ci.yml
Adding src/tools/miri/.gitattributes
Adding src/tools/miri/.editorconfig
Auto-merging compiler/rustc_trait_selection/src/traits/select/mod.rs
Auto-merging compiler/rustc_query_system/src/dep_graph/graph.rs
CONFLICT (content): Merge conflict in compiler/rustc_query_system/src/dep_graph/graph.rs
Auto-merging compiler/rustc_query_system/src/cache.rs
warning: inexact rename detection was skipped due to too many files.
warning: you may want to set your merge.renamelimit variable to at least 3044 and retry the command.
Automatic merge failed; fix conflicts and then commit the result.

bors avatar Nov 26 '22 21:11 bors

Hi @SparrowLii, I think this just needs to be rebased before it can be r+'d again.

wesleywiser avatar Dec 01 '22 15:12 wesleywiser

Switching to waiting on author to rebase as per this comment. @SparrowLii feel free to request a review with @rustbot ready, thanks!

@rustbot author

apiraino avatar Jan 05 '23 09:01 apiraino

@rustbot ready

SparrowLii avatar Jan 05 '23 11:01 SparrowLii

But in the parallel compiler, it is possible that the same two evaluate_trait_predicate tasks start executing at the same time. There is no doubt that the two tasks will get the same EvaluationResult, but they may produce different DepNodeIndex.

How do the dependencies between the tasks differ? Do they have the same set, but just in a different order?

Zoxc avatar Feb 02 '23 05:02 Zoxc

I introduced the insert_same check as a sanity check to ensure EvaluationCache behaves correctly with regards to incremental compilation. Thinking about this PR a bit it seems like it essentially is an elaborate way to avoid this check. It redefines how DepNodeIndex is created for it, and making the DepNodeIndex rely on the correctness of EvaluationCache, ensuring the sanity check is bypassed.

If the reason the sanity check fails is non-determinism, that could be addressed by letting in_task return a representation of the set of dependencies. That could be stored in the cache and compared in the sanity check instead of the DepNodeIndex. Sorting and hashing the collected dep nodes (not indices) and returning that hash from in_task could be a decent way to do this.

Zoxc avatar Feb 04 '23 08:02 Zoxc

:umbrella: The latest upstream changes (presumably #103695) made this pull request unmergeable. Please resolve the merge conflicts.

bors avatar Feb 14 '23 13:02 bors

This needs a rebase again @rustbot author

WaffleLapkin avatar Feb 24 '23 11:02 WaffleLapkin

@SparrowLii any updates on this?

Dylan-DPC avatar May 15 '23 09:05 Dylan-DPC

Not yet. This is a problem that is difficult to reproduce under parallel compilation and needs time to explore. Currently, we focus on solving the efficiency problem of parallel compilation, so have no time to explore it.

SparrowLii avatar May 15 '23 09:05 SparrowLii

@SparrowLii ping from triage - can you post your status on this PR? This PR has not received an update in a few months. Thank you!

JohnCSimon avatar Dec 17 '23 21:12 JohnCSimon

Actually we didn't encountered #50507 any more in in recent two years' development and tests, and didn;t got any feedback about this bug. So I guess we can just close this issue and this PR now

SparrowLii avatar Dec 18 '23 00:12 SparrowLii

Closing this as per https://github.com/rust-lang/rust/pull/100987#issuecomment-1859368227

Dylan-DPC avatar Feb 04 '24 13:02 Dylan-DPC