Thread safety analysis: Mock getter for private mutexes can be undefined
authorAaron Puchert <aaron.puchert@sap.com>
Fri, 23 Jul 2021 12:45:56 +0000 (14:45 +0200)
committerAaron Puchert <aaron.puchert@sap.com>
Fri, 23 Jul 2021 12:46:02 +0000 (14:46 +0200)
commit0e64a525c12a0822683d3bdc51b6294b5265f860
tree334b8c48d29030ea43a7ab2ddff31b8e99f97047
parent44fa31fa6da0c573ed972ec1d932c4ca3fb52f8f
Thread safety analysis: Mock getter for private mutexes can be undefined

Usage in an annotation is no odr-use, so I think there needs to be no
definition. Upside is that in practice one will get linker errors if it
is actually odr-used instead of calling a function that returns 0.

Reviewed By: aaron.ballman

Differential Revision: https://reviews.llvm.org/D106375
clang/docs/ThreadSafetyAnalysis.rst