http://gcc.gnu.org/bugzilla/show_bug.cgi?id=60761
--- Comment #14 from Marc Glisse <glisse at gcc dot gnu.org> --- (In reply to Manuel López-Ibáñez from comment #13) > It is not clear to me why you want to print <clone> at all. It is an > internal detail. Imagine a function void f(unsigned a, unsigned b) where gcc makes a clone specializing a=0. If the function contains a comparison a<=b, you might get a warning because the comparison is always true. As a user, I would be quite confused... Ok, this particular example won't happen, but I think it is still a reason why writing <clone> and maybe some more details can be useful.