This is the mail archive of the
gcc@gcc.gnu.org
mailing list for the GCC project.
Re: fix for PR 4447: is this really correct?
- From: Alexandre Oliva <aoliva at redhat dot com>
- To: Kriang Lerdsuwanakij <lerdsuwa at users dot sourceforge dot net>
- Cc: Joe Buck <jbuck at synopsys dot com>, gcc at gcc dot gnu dot org
- Date: 01 Dec 2001 23:32:03 -0200
- Subject: Re: fix for PR 4447: is this really correct?
- Organization: GCC Team, Red Hat
- References: <200111291934.LAA07213@atrus.synopsys.com><4.3.2.7.0.20011201134135.00ac2d50@mozart.inet.co.th>
On Dec 1, 2001, Kriang Lerdsuwanakij <lerdsuwa@users.sourceforge.net> wrote:
> I have checked the ABI specifications
> (http://www.codesourcery.com/cxx-abi/abi.html)
> before starting on this patch. And this bloat mangling behavior is
> what the ABI intended.
Right. The C++ Standard paragraph referenced in that paragraph of the
ABI requires this behavior in the mangling of overloads of function
templates. Constant folding is still applied to template arguments
*referenced* within the definition of the template function, before
overload resolution (in case of references to template functions) or
specialization resolution (in case of template classes), and encodings
of such referenced symbols may be constant-folded. But the template
function names must enable one to tell the sequence of tokens used in
the template function definition, except for template argument names.
> (C++ Standard reference 14.5.5.1 p. 5.)
--
Alexandre Oliva Enjoy Guarana', see http://www.ic.unicamp.br/~oliva/
Red Hat GCC Developer aoliva@{cygnus.com, redhat.com}
CS PhD student at IC-Unicamp oliva@{lsd.ic.unicamp.br, gnu.org}
Free Software Evangelist *Please* write to mailing lists, not to me