about summary refs log tree commit diff
path: root/compiler/rustc_codegen_gcc
diff options
context:
space:
mode:
authorJacob Pratt <jacob@jhpratt.dev>2025-05-29 04:49:47 +0200
committerGitHub <noreply@github.com>2025-05-29 04:49:47 +0200
commite7ef07a523d93f2e3b1081ad9e52407e65d54979 (patch)
tree771a858bff090f442f174aa0ab860810a7bd9161 /compiler/rustc_codegen_gcc
parentf4dcb7fad0f63e808d7756299589c3cf69f7055e (diff)
parent8237107d88866d4f4525f77384c653d4c80ad4df (diff)
downloadrust-e7ef07a523d93f2e3b1081ad9e52407e65d54979.tar.gz
rust-e7ef07a523d93f2e3b1081ad9e52407e65d54979.zip
Rollup merge of #141690 - Patrick-6:intercept-mutex, r=m-ou-se
Add `rustc_diagnostic_item` to `sys::Mutex` methods

For an ongoing project for adding a concurrency model checker to Miri we need to be able to intercept locking/unlocking operations on standard library mutexes.

This PR adds diagnostic items to the relevant calls `lock`, `try_lock` and `unlock` for the `sys::Mutex` implementation on the targets we care about.
This PR also makes the internals of `pthread::Mutex` less public, to reduce the chance of anyone locking/unlocking a mutex without going through the intercepted methods.

r? ``@RalfJung``
Diffstat (limited to 'compiler/rustc_codegen_gcc')
0 files changed, 0 insertions, 0 deletions