On Wed, 22 May 2019, Philipp Reisner wrote:
> Hi,
>
> [...]
>
> I love the whole idea, but gave up working on such a things myself.
>
> > >
> > > Because clang analysis wants it to be global!
> >
> > A __protected_by() annotation sounds like a good idea. I don't really
> > care about the format too much. If the information were in a comment
> > and we could parse with a perl script that would be fine. Or we could
> > do:
> >
> > struct foo {
> > struct mutex lock;
> > __start_protected(lock);
> > int a, b, c;
> > __end_protected(lock);
> > };
>
> Regarding the syntax I vote for a __protected_by(lock) instead of
> __start_protected(lock) / __end_protected(lock).
What do you mean exactly, eg in the above example?
thanks,
julia
