Re: c++/8897: Demangling of template conversion operators

Re: c++/8897: Demangling of template conversion operators

[bkoz]

Synopsis: Demangling of template conversion operators

Responsible-Changed-From-To: unassigned->bkoz
Responsible-Changed-By: bkoz
Responsible-Changed-When: Thu Feb 27 02:07:35 2003
Responsible-Changed-Why:
    Mine.
State-Changed-From-To: analyzed->feedback
State-Changed-By: bkoz
State-Changed-When: Thu Feb 27 02:07:35 2003
State-Changed-Why:
    This has been fixed with the new demangler. You might want to try current cvs soon.
    
    -benjamin

http://gcc.gnu.org/cgi-bin/gnatsweb.pl?cmd=view%20audit-trail&database=gcc&pr=8897

Re: c++/8897: Demangling of template conversion operators

[Carlo Wood]

The following reply was made to PR c++/8897; it has been noted by GNATS.

From: Carlo Wood <carlo@alinoe.com>
To: Benjamin Kosnik <bkoz@redhat.com>
Cc: gcc-gnats@gcc.gnu.org, martin@v.loewis.de, gcc-bugs@gcc.gnu.org
Subject: Re: c++/8897: Demangling of template conversion operators
Date: Tue, 25 Feb 2003 16:05:45 +0100

 On Mon, Feb 24, 2003 at 11:45:07PM -0600, Benjamin Kosnik wrote:
 > Did you get a chance to look at:
 > 
 > // c++/8897
 > void test05()
 > {
 >   // cplus-dem FAIL  
 >   // icc FAIL
 >   // new __cxa_demangle FAIL
 >   test("_ZN1AIfEcvT_IiEEv", "A<float>::operator float<int>(void)");
 >   // XXX better "A<float>::operator int()"
 >   // XXX better "A<float>::operator T()[T=int]"
 > }
 > 
 > I'm not quite sure what's up with this one.
 
 It's
 
 template<typename T1>
   struct A {
     template<typename T2>
       operator T2();
   };
 
 A<float> a;
 (int)a;		<-- that function.
 
 The demangling is obvious a bug.  A first "fix" would
 be to print:
 
 A<float>::operator int<int>()
 
 compare
 
 A<float>::templatememberfunction<int>()
 
 or say, A<float>::operator +=<double>(double), being
   template<typename T>
     operator+=(T);
 
 But, when the cast type is a class, that could be
 confusing:
 
 A<float>::operator B<B>()
 
 Note 'B' cannot be a template, and thus this is NOT ambigious.
 If B was a template, you'd get:
 
 A<float>::operator B<int><B<int> >()
 
 for example.
 
 But, the question is: how do you WANT it to look?
 
 I don't like to use "operator T() [with T = int]"
 because it would be the only instance that the demangler
 would use that format.  I think I do prefer the
 "operator int<int>()".
 
 -- 
 Carlo Wood <carlo@alinoe.com>

Re: c++/8897: Demangling of template conversion operators

[Carlo Wood]

The following reply was made to PR c++/8897; it has been noted by GNATS.

From: Carlo Wood <carlo@alinoe.com>
To: gcc-gnats@gcc.gnu.org, martin@v.loewis.de, gcc-bugs@gcc.gnu.org,
  nobody@gcc.gnu.org, gcc-prs@gcc.gnu.org
Cc: Carlo Wood <carlo@alinoe.com>
Subject: Re: c++/8897: Demangling of template conversion operators
Date: Tue, 25 Feb 2003 13:49:10 +0100

 http://gcc.gnu.org/cgi-bin/gnatsweb.pl?cmd=view&database=gcc&pr=8897
 
 I am trying to fix this PR.
 What is the source code that results in the generation
 of the mentioned mangled name?
 
 -- 
 Carlo Wood <carlo@alinoe.com>

Re: c++/8897: Demangling of template conversion operators

[bangerth]

Synopsis: Demangling of template conversion operators

State-Changed-From-To: open->analyzed
State-Changed-By: bangerth
State-Changed-When: Wed Dec 18 11:03:29 2002
State-Changed-Why:
    Just for formal reasons (so as to put this report out of
    the "open" category), I confirm that this happens. There
    was no doubt before, though.

http://gcc.gnu.org/cgi-bin/gnatsweb.pl?cmd=view%20audit-trail&database=gcc&pr=8897