note generating in case of type confliction

[Jonathan Wakely]

On 18 July 2013 20:32, Klin Iop wrote:
> Hello,
>
> I'm mostly new to gcc, so I don't really have a real idea how notes are generated. More exactly I would like to know, how types are compared during compilation, and what makes the compiler decide to throw a message in case they aren't equal. There is this message "note: expected `type` but argument is type of `type`".

Are you sure that's what it says?
In the current sources search for "but argument" in
gcc/c-family/c-format.c, in the GCC 4.4 sources search in
gcc/c-typeck.c