mirror of https://github.com/xemu-project/xemu.git
clang-tsa: Add TSA_ASSERT() macro
Signed-off-by: Kevin Wolf <kwolf@redhat.com> Message-Id: <20221207131838.239125-7-kwolf@redhat.com> Reviewed-by: Emanuele Giuseppe Esposito <eesposit@redhat.com> Signed-off-by: Kevin Wolf <kwolf@redhat.com>
This commit is contained in:
parent
702152d1c7
commit
b1cc02e946
|
@ -98,4 +98,13 @@
|
|||
*/
|
||||
#define TSA_NO_TSA TSA(no_thread_safety_analysis)
|
||||
|
||||
/*
|
||||
* TSA_ASSERT() is used to annotate functions: This function will assert that
|
||||
* the lock is held. When it returns, the caller of the function is assumed to
|
||||
* already hold the resource.
|
||||
*
|
||||
* More than one mutex may be specified, comma-separated.
|
||||
*/
|
||||
#define TSA_ASSERT(...) TSA(assert_capability(__VA_ARGS__))
|
||||
|
||||
#endif /* #ifndef CLANG_TSA_H */
|
||||
|
|
Loading…
Reference in New Issue