No thread-safe annotations for mutex and related classes

The clang compiler comes with some very useful warnings under the umbrella of -Wthread-safety. (See https://clang.llvm.org/docs/ThreadSafetyAnalysis.html) Unfortunately, the MS STL does not provide annotations to the relevant classes, such that this warning cannot be used with the standard STL types.

How about other implementations?

• libc++ adds these annotations (https://github.com/llvm-mirror/libcxx/blob/master/include/mutex)
• libstdc++ does not add these annotations (https://gcc.gnu.org/onlinedocs/gcc-12.1.0/libstdc++/api/a00143_source.html#l00692)

Would it be possible to decorate the thread safety analysis such that this warning can be used and prevent a lot of debugging time for threading issues that are easily caught by the compiler?

Start by reading the linked libc++ mutex annotations and the libstdc++ mutex source, then inspect the corresponding MS STL mutex and related class headers. Determine which standard-library types need annotations and verify that Clang's -Wthread-safety can use them without breaking supported configurations.