[Bug c++/26799] New: Type deduction of a pointer-to-member

["wolfgang dot roehrl at gi-de dot com" <gcc-bugzilla at gcc dot gnu dot org>]

Dear all,

I would like to post a bug report for the GNU C/C++ compiler 3.3-e500.

We use the compiler to generate code for a PowerPC processor.

Used invokation line for the GNU C++ compiler:

ccppc -c -x c++ -ansi -Wall -Werror -mcpu=8540 -fverbose-asm -mbig
      -fmerge-templates -mmultiple -mno-string -mstrict-align -O3
      -fno-exceptions -fno-rtti -fno-builtin-printf
      -I<some include paths>
      -D<some #define's>
      X.CPP -oX.O


// file X.CPP

void g (void*);

struct ABC
{
    template <typename T_, typename U_>
    ABC (void (T_::* ptrFunc)(), U_& refObj)
    {
        T_* pObj = &refObj;
        g (pObj);                   // <--- line 9
    }
};

struct DEF
{
    void f () const;
};

DEF def;
ABC abc(&DEF::f, def);


The compiler gives the following error message:

X.CPP: In constructor `ABC::ABC(void (T_::*)(), U_&) [with T_ = const DEF, 
       U_ = DEF]':
X.CPP:19:   instantiated from here
X.CPP:9: error: invalid conversion from `const void*' to `void*'


The compilation of the code above fails but for a wrong reason: it should fail
because the pointer to function f has type 'void (DEF::*)() const' and there
is no constructor available whose first parameter fits the mentioned type.

But the GNU compiler erronously deduces the type 'void (const DEF::*)()' for
the first constructor parameter as the error message shows.


Kind regards
W. Roehrl


-- 
           Summary: Type deduction of a pointer-to-member
           Product: gcc
           Version: 3.3
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: wolfgang dot roehrl at gi-de dot com
 GCC build triplet: sparc-sun-solaris2.5.1
  GCC host triplet: i386-pc-mingw32
GCC target triplet: powerpc-wrs-vxworks


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