Минимальный рабочий пример аннотаций анализа безопасности потока Clang для std :: mutex [Duplicate] ⇐ C++

[Anonymous]

Как я могу поточить поток-аннотирование моего кода, который использует std :: mutex и std :: lock_guard ?
Предположительно, документация здесь: http://clang.llvm.org/docs/threadsafetyanalysis.html, но это вообще не дает рабочего примера (используя std :: mutex или иное); Он дает лишь намеки на то, как написать собственный класс Mutex, для которого будет работать функция аннотации. Предположение о том, что аннотации работают из коробки с помощью std :: mutex теперь, если -wthread-sfety добавляется в строке компиляции, и нет, это не работает (clang ++ 19.1.1); Это просто дает синтаксические ошибки, указывающие на то, что он не понимает Guarded_by и т. Д.
Так что все примеры, которые я нашел в документации, и существующие ответы на другие вопросы. T работа или просто намеки или предположения. Никто еще не сказал заявление о форме «Я попробовал это, и это все еще работает», об этом принятом ответе/догадке или о чем -либо еще, поэтому трудно сказать, действительно ли кто -нибудь преуспел. Я ищу минимальный полный пример, который на самом деле работает, или подтверждаемое окончательное утверждение, что это невозможно.

Подробнее здесь: https://stackoverflow.com/questions/794 ... for-stdmut