From: Kevin Wolf <kwolf@redhat.com>
To: Paolo Bonzini <pbonzini@redhat.com>
Cc: qemu-devel@nongnu.org, afaria@redhat.com, qemu-block@nongnu.org
Subject: Re: [PATCH 0/2] Make coroutine annotations ready for static analysis
Date: Tue, 17 Jan 2023 16:41:59 +0100 [thread overview]
Message-ID: <Y8bBx6PAr/o4knPc@redhat.com> (raw)
In-Reply-To: <20221216110758.559947-1-pbonzini@redhat.com>
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
next prev parent reply other threads:[~2023-01-17 15:43 UTC|newest]
Thread overview: 5+ messages / expand[flat|nested] mbox.gz Atom feed top
2022-12-16 11:07 [PATCH 0/2] Make coroutine annotations ready for static analysis Paolo Bonzini
2022-12-16 11:07 ` [PATCH v2 1/2] coroutine: annotate coroutine_fn for libclang Paolo Bonzini
2022-12-16 11:07 ` [PATCH v2 2/2] block: Add no_coroutine_fn and coroutine_mixed_fn marker Paolo Bonzini
2023-01-17 15:41 ` Kevin Wolf [this message]
-- strict thread matches above, loose matches on Subject: below --
2022-12-15 17:44 [PATCH 0/2] Make coroutine annotations ready for static analysis Paolo Bonzini
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=Y8bBx6PAr/o4knPc@redhat.com \
--to=kwolf@redhat.com \
--cc=afaria@redhat.com \
--cc=pbonzini@redhat.com \
--cc=qemu-block@nongnu.org \
--cc=qemu-devel@nongnu.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.