Am 16.12.2022 um 12:07 hat Paolo Bonzini geschrieben: > 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 > > v1->v2: improved comments for patch 2
Thanks, applied to the block branch. Kevin