On Fri, Jan 17, 2014 at 06:24:56AM -0000, Ted Kremenek wrote:
> Author: kremenek
> Date: Fri Jan 17 00:24:56 2014
> New Revision: 199467
>
> URL: http://llvm.org/viewvc/llvm-project?rev=199467&view=rev
> Log:
> Enhance attribute 'nonnull' to be applicable to parameters directly (infix).
This is not handled correctly, I think. Try:
void f(int (*g)(const char *, ...) __attribute__((nonnull(1)))) { }
If used with an argument, the nonnull attribute applies to the first
argument of g, not the first argument of f.
Joerg
_______________________________________________
cfe-commits mailing list
[email protected]
http://lists.cs.uiuc.edu/mailman/listinfo/cfe-commits
