diff options
| author | bors <bors@rust-lang.org> | 2024-03-02 18:08:05 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2024-03-02 18:08:05 +0000 |
| commit | be5da3a4aaa0890d578c60abb5e5a31593655c1b (patch) | |
| tree | 15654e785559cb1b1f85d1539dfb6b779ed64972 /compiler/rustc_codegen_gcc | |
| parent | 14e162861b163f30e01d644e0bfcddec7662660e (diff) | |
| parent | fe545d62db72b632364ba9cc29bbe7259ddad385 (diff) | |
| download | rust-be5da3a4aaa0890d578c60abb5e5a31593655c1b.tar.gz rust-be5da3a4aaa0890d578c60abb5e5a31593655c1b.zip | |
Auto merge of #3338 - RalfJung:more-tracking-and-threads, r=RalfJung
print thread name in miri error backtraces; add option to track read/write accesses This came up while debugging https://github.com/rust-lang/rust/issues/121626. It didn't end up being useful there but still seems like good tools to have around.
Diffstat (limited to 'compiler/rustc_codegen_gcc')
0 files changed, 0 insertions, 0 deletions