r199467 - Enhance attribute 'nonnull' to be applicable to parameters directly (infix).

[Joerg Sonnenberger]

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