Thread safety annotations and analysis in GCC

[Andi Kleen]

"Le-Chun Wu" <lcwu@google.com> writes:
>
> Please let me know if you have any feedback/comments/questions on the
> proposed annotations and the GCC implementation.

I was surprised that there was no consideration of C indirect function
calls in your design document. e.g. I would have expect some way
to give a hint that a indirect function call is always called from X
to propagate the lock sets. Right now it looks like they will
disable the analysis completely, correct?

-Andi