"Le-Chun Wu" <[EMAIL PROTECTED]> 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