This is the mail archive of the
gcc-patches@gcc.gnu.org
mailing list for the GCC project.
Re: [PATCH]: Fix alias grouping of name tags.
> I'm not sure why you are asking for this comment. It sounds an awful
> lot like you want me to write "This code actually works and does what
> it is supposed to, regardless of what host you run it on", which seems
> wrong. We generally document what we think isn't portable, not what
> is portable.
We document what is non obvious, and I think that the ultimate non-dependency
on the host of this piece of code is non obvious.
--
Eric Botcazou