------- Comment #2 from pinskia at gcc dot gnu dot org 2006-08-22 05:26 ------- (In reply to comment #1) > The double ones are weird, maybe we should print out the C99 hex float > instead, > there is a bug about this before too.
See PR 13045, there is most likely more discussion about this. The other issue is that demangling for floats are hard between different targets because of different floating point formats. -- http://gcc.gnu.org/bugzilla/show_bug.cgi?id=28797