Re: [PATCH 0/2] Make coroutine annotations ready for static analysis

2023-01-17 Thread Kevin Wolf
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 w

[PATCH 0/2] Make coroutine annotations ready for static analysis

2022-12-16 Thread Paolo Bonzini
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 dri

[PATCH 0/2] Make coroutine annotations ready for static analysis

2022-12-15 Thread Paolo Bonzini
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 dri