[Bug c++/36046] New: Demangler fails on templates with non-type reference parameters

[Bug c++/36046] New: Demangler fails on templates with non-type reference parameters

[jjk at acm dot org]

See attached test case.


-- 
           Summary: Demangler fails on templates with non-type reference
                    parameters
           Product: gcc
           Version: 4.3.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: jjk at acm dot org
  GCC host triplet: x86_64-redhat-linux
GCC target triplet: x86_64-redhat-linux


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=36046

[Bug c++/36046] Demangler fails on templates with non-type reference parameters

[jjk at acm dot org]

------- Comment #1 from jjk at acm dot org  2008-04-25 13:57 -------
Created an attachment (id=15531)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=15531&action=view)
Test case.


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=36046

[Bug other/36046] Demangler fails on templates with non-type reference parameters

[bangerth at dealii dot org]

------- Comment #2 from bangerth at dealii dot org  2008-04-26 00:22 -------
Confirmed. The demangler gets a valid symbol it can't demangle.
W.


-- 

bangerth at dealii dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |bangerth at dealii dot org
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|0                           |1
   Last reconfirmed|0000-00-00 00:00:00         |2008-04-26 00:22:12
               date|                            |


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=36046

[Bug other/36046] Demangler fails on templates with non-type reference parameters

[bangerth at dealii dot org]

------- Comment #3 from bangerth at dealii dot org  2008-04-26 00:25 -------
By the way, the return code of __cxa_demangle is
  -2: mangled_name is not a valid name under the C++ ABI mangling rules.
as per 
 
http://docs.mandragor.org/files/Programming_languages/Cpp/libstdcpp_v3_Source_Documentation/namespaceabi.html

The string that can't be demangled is "3barILZ3bazEE".

W.


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=36046

[Bug other/36046] Demangler fails on templates with non-type reference parameters

[pinskia at gcc dot gnu dot org]

------- Comment #4 from pinskia at gcc dot gnu dot org  2008-04-26 00:39 -------
This is expected, we should not be demangling types with __cxa_demangle.


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=36046

[Bug other/36046] Demangler fails on templates with non-type reference parameters

[pinskia at gcc dot gnu dot org]

------- Comment #5 from pinskia at gcc dot gnu dot org  2008-04-26 00:47 -------
Ok, this is a generic demangler issue, we don't demangle _Z1f3barILZ3bazEE
either.
Which is f(bar<baz>) but only because it is mangled incorrectly in the first
place.

So the real issue here is that the demangle only handles correctly mangled
names.
_Z1f3barIL_Z3bazEE is the correct mangling.


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=36046

[Bug other/36046] Demangler fails on templates with non-type reference parameters

[pinskia at gcc dot gnu dot org]

------- Comment #6 from pinskia at gcc dot gnu dot org  2008-04-26 00:53 -------
so all three versions mangle it differently
if we have f(bar<baz>)
1: _Z1f3barIXadL_Z3bazEEE
2: _Z1f3barILZ3bazEE
3: _Z1f3barIL_Z3bazEE
I think 3 is correct as the underscore is needed and the address is not
supplied..

but the default value is 2 right now

I don't know if we should "fix" up the mangler to accept version 2 at all.


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=36046

[Bug other/36046] Demangler fails on templates with non-type reference parameters

[ian at airs dot com]

------- Comment #7 from ian at airs dot com  2008-04-26 00:57 -------
See bug #16240 for some background.


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=36046

[Bug other/36046] Demangler fails on templates with non-type reference parameters

[pinskia at gcc dot gnu dot org]

------- Comment #8 from pinskia at gcc dot gnu dot org  2008-05-05 05:28 -------
As mentioned in the other bug report, it is hard to handle the -fabi-version=2
version of the mangled string.  We handle correctly the correctly mangled
already.

So closing as won't fix.


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
         Resolution|                            |WONTFIX


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=36046