Анализ безопасности потока Clang со стандартной библиотекой C ++ ⇐ C++

[Anonymous]

Это описывает, как можно сделать анализ безопасности статического потока с помощью аннотаций в C ++: http://clang.llvm.org/docs/threadsafetyanalysis.html написан Я использую это со стандартными типами, такими как std :: mutex и std :: lock_guard? < /P>

Пример кода Mutex.h аннотирует пользовательский интерфейс. Есть ли у меня тип «Mutex», который определяется там, и внедрять класс с использованием std :: mutex с аннотированными методами или Clang как -то приносит аннотированные типы?

Подробнее здесь: https://stackoverflow.com/questions/303 ... rd-library