On Thu, Nov 29, 2012 at 02:01:47PM +0200, Konstantin Belousov wrote: > Also, being quite removed from the function definition, there is a chance > that some future modification would make the attribute a lie. At least clang enforces the correctness of the attribute. Joerg