On Mon, Sep 12, 2011 at 4:10 PM, Caitlin Sadowski <[email protected]>wrote:
> Attached is a patch which skips analysis inside of lock functions > (avoiding spurious warnings). > Can you give examples of the real-world code that would trigger warnings without this? I have to admit I'm a bit suspect. It seems like if you're doing something other than atomic operations and system calls inside of your lock function, you might well want thread safety annotations for that....
_______________________________________________ cfe-commits mailing list [email protected] http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits
