This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: Thread safety annotations and analysis in GCC
Tom,
Thanks a lot for pointing us to the sparse annotations. We will take a
look and see what its support looks like.
Le-chun
On Sun, Jun 15, 2008 at 2:43 PM, Tom Tromey <tromey@redhat.com> wrote:
>>>>>> "Le-Chun" == Le-Chun Wu <lcwu@google.com> writes:
>
> Le-Chun> Here is the design doc for the proposed annotations:
> Le-Chun> http://docs.google.com/Doc?id=ddqtfwhb_0c49t6zgr
>
> I am curious to know how this compares to the kind of lock checking
> implemented in sparse, and in particular whether sparse annotations
> could easily be translated to this style.
>
> Tom
>