diff options
| author | Kevin Wolf <kwolf@redhat.com> | 2022-12-07 14:18:26 +0100 |
|---|---|---|
| committer | Kevin Wolf <kwolf@redhat.com> | 2022-12-15 16:07:43 +0100 |
| commit | b1cc02e9463a406c6edd7ac55e356cf65a0681d7 (patch) | |
| tree | 71bb524951267087f7b66c1219ec05c5751d1b59 /include/qemu/clang-tsa.h | |
| parent | 702152d1c72225d318bb1626b457f87719cc2f25 (diff) | |
| download | qemu-b1cc02e9463a406c6edd7ac55e356cf65a0681d7.zip qemu-b1cc02e9463a406c6edd7ac55e356cf65a0681d7.tar.gz qemu-b1cc02e9463a406c6edd7ac55e356cf65a0681d7.tar.bz2 | |
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>
Diffstat (limited to 'include/qemu/clang-tsa.h')
| -rw-r--r-- | include/qemu/clang-tsa.h | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/include/qemu/clang-tsa.h b/include/qemu/clang-tsa.h index 0a3361d..211ee0a 100644 --- a/include/qemu/clang-tsa.h +++ b/include/qemu/clang-tsa.h @@ -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 */ |