Clang has a generic __annotate__ attribute that can be used by static analyzers to understand properties of functions and analyze the control flow.
Unlike TSA annotations, the __annotate__ attribute applies to function pointers as well, which is very fortunate because many BlockDriver function driver run in coroutines. Paolo Alberto Faria (2): coroutine: annotate coroutine_fn for libclang block: Add no_coroutine_fn and coroutine_mixed_fn marker include/block/block-common.h | 11 +++++++---- include/qemu/coroutine.h | 37 ++++++++++++++++++++++++++++++++++++ 2 files changed, 44 insertions(+), 4 deletions(-) -- 2.38.1
