[Bug c++/10343] New: gdb selects wrong function overload

[Bug c++/10343] New: gdb selects wrong function overload

[andre dot poenitz at nokia dot com]

The following code results in gdb using the
'int *' overload instead of the 'void *' one
when used with a 'char *' argument.


#include <iostream>

int foo(void *p) { std::cerr << "UNKNOWN " << std::endl; } 
int foo(int *p) { std::cerr << "INT: " << *p << std::endl; }

struct S {};

int main(int argc, char *argv[])
{
    int a = 1;
    S b;
    char c = 1;
    double d = 1;
    return a + c;
}

/* 

Breakpoint 1, main () at main.cpp:19
19          int a = 1;
(gdb) call foo(&a)
INT: -1081818280
$6 = 134520896
(gdb) call foo(&b)
UNKNOWN 
$7 = 134520896
(gdb) call foo(&c)
INT: 141559812
$8 = 134520896
(gdb) call foo(&d)
UNKNOWN 
$9 = 134520896
(gdb)

-- 
           Summary: gdb selects wrong function overload
           Product: gdb
           Version: 6.8
            Status: UNCONFIRMED
          Severity: normal
          Priority: P2
         Component: c++
        AssignedTo: unassigned at sourceware dot org
        ReportedBy: andre dot poenitz at nokia dot com
                CC: gdb-prs at sourceware dot org


http://sourceware.org/bugzilla/show_bug.cgi?id=10343

------- You are receiving this mail because: -------
You are on the CC list for the bug, or are watching someone who is.

[Bug c++/10343] gdb selects wrong function overload

[tromey at redhat dot com]

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|                            |1
   Last reconfirmed|0000-00-00 00:00:00         |2010-01-22 21:43:31
               date|                            |


http://sourceware.org/bugzilla/show_bug.cgi?id=10343

------- You are receiving this mail because: -------
You are on the CC list for the bug, or are watching someone who is.

[Bug c++/10343] gdb selects wrong function overload

[tromey at redhat dot com]

------- Additional Comments From tromey at redhat dot com  2010-01-25 17:54 -------
I looked into this a little.

The bug is that gdb does not properly implement all the overloading rules.
In particular, in this case, rank_one_type recurses for pointer types.
This leads it to believe that char* is convertible to int*, because
there is a char->int conversion.

I think it would be simple to fix this particular failure, but there are others
lurking.  For example, baseclass conversions are ordered by distance, but
rank_one_type does not do this.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |tromey at redhat dot com
   Last reconfirmed|2010-01-22 21:43:31         |2010-01-25 17:54:14
               date|                            |


http://sourceware.org/bugzilla/show_bug.cgi?id=10343

------- You are receiving this mail because: -------
You are on the CC list for the bug, or are watching someone who is.

[Bug c++/10343] gdb selects wrong function overload

[swagiaal at redhat dot com]

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |swagiaal at redhat dot com


http://sourceware.org/bugzilla/show_bug.cgi?id=10343

------- You are receiving this mail because: -------
You are on the CC list for the bug, or are watching someone who is.

[Bug c++/10343] gdb selects wrong function overload

[swagiaal at redhat dot com]

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at sourceware dot|swagiaal at redhat dot com
                   |org                         |
             Status|NEW                         |ASSIGNED


http://sourceware.org/bugzilla/show_bug.cgi?id=10343

------- You are receiving this mail because: -------
You are on the CC list for the bug, or are watching someone who is.