[Bug c++/26496] New: Pointer to virtual member function.

[Bug c++/26496] New: Pointer to virtual member function.

[dwoovseesp at kriocoucke dot mailexpire dot com]

The following code snipped causes an internal compiler error:

===
#include <algorithm>
#include <iostream>
#include <iterator>
#include <memory>
#include <string>

using namespace std;

class Distribution {
public:
  Distribution() { }

  virtual ~Distribution() { }

  virtual double sample();
};

double
Distribution::sample() 
{
   return rand();
}

typedef double (Distribution::* Pstd_mem)();

int
main()
{
   Distribution* rng(new Distribution());

   Pstd_mem ptr = &Distribution::sample;

   cout << (rng->*ptr)() << endl; // works

   generate_n(ostream_iterator<double>(cout, "\n"), 100,  mem_fun(rng->*ptr));
// BUG

   return 0;
}
===

Best wishes,

  Matthias


-- 
           Summary: Pointer to virtual member function.
           Product: gcc
           Version: 4.0.2
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: dwoovseesp at kriocoucke dot mailexpire dot com


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

[Bug c++/26496] Pointer to virtual member function.

[dwoovseesp at kriocoucke dot mailexpire dot com]

------- Comment #1 from dwoovseesp at kriocoucke dot mailexpire dot com  2006-02-28 13:17 -------
Created an attachment (id=10937)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=10937&action=view)
Source code

This was compiled as follows:

g++ -v -save-temps smalltest.cc
Using built-in specs.
Target: i686-pc-linux-gnu
Configured with: /tmp/gcc-4.0.2/configure --prefix=/home/heiler/server/gcc
--enable-threads
Thread model: posix
gcc version 4.0.2
 /server/projekte/heiler/gcc/bin/../libexec/gcc/i686-pc-linux-gnu/4.0.2/cc1plus
-E -quiet -v -iprefix
/server/projekte/heiler/gcc/bin/../lib/gcc/i686-pc-linux-gnu/4.0.2/
-D_GNU_SOURCE smalltest.cc -mtune=pentiumpro -fpch-preprocess -o smalltest.ii
ignoring nonexistent directory
"/server/projekte/heiler/gcc/bin/../lib/gcc/i686-pc-linux-gnu/4.0.2/../../../../i686-pc-linux-gnu/include"
ignoring duplicate directory
"/home/heiler/server/gcc/lib/gcc/i686-pc-linux-gnu/4.0.2/../../../../include/c++/4.0.2"
ignoring duplicate directory
"/home/heiler/server/gcc/lib/gcc/i686-pc-linux-gnu/4.0.2/../../../../include/c++/4.0.2/i686-pc-linux-gnu"
ignoring duplicate directory
"/home/heiler/server/gcc/lib/gcc/i686-pc-linux-gnu/4.0.2/../../../../include/c++/4.0.2/backward"
ignoring duplicate directory
"/home/heiler/server/gcc/lib/gcc/i686-pc-linux-gnu/4.0.2/include"
ignoring nonexistent directory
"/home/heiler/server/gcc/lib/gcc/i686-pc-linux-gnu/4.0.2/../../../../i686-pc-linux-gnu/include"
#include "..." search starts here:
#include <...> search starts here:

/server/projekte/heiler/gcc/bin/../lib/gcc/i686-pc-linux-gnu/4.0.2/../../../../include/c++/4.0.2

/server/projekte/heiler/gcc/bin/../lib/gcc/i686-pc-linux-gnu/4.0.2/../../../../include/c++/4.0.2/i686-pc-linux-gnu

/server/projekte/heiler/gcc/bin/../lib/gcc/i686-pc-linux-gnu/4.0.2/../../../../include/c++/4.0.2/backward
 /server/projekte/heiler/gcc/bin/../lib/gcc/i686-pc-linux-gnu/4.0.2/include
 /usr/local/include
 /home/heiler/server/gcc/include
 /usr/include
End of search list.
 /server/projekte/heiler/gcc/bin/../libexec/gcc/i686-pc-linux-gnu/4.0.2/cc1plus
-fpreprocessed smalltest.ii -quiet -dumpbase smalltest.cc -mtune=pentiumpro
-auxbase smalltest -version -o smalltest.s
GNU C++ version 4.0.2 (i686-pc-linux-gnu)
        compiled by GNU C version 3.3.2 20031022 (Red Hat Linux 3.3.2-1).
GGC heuristics: --param ggc-min-expand=100 --param ggc-min-heapsize=131072
smalltest.cc: In function 'int main()':
smalltest.cc:37: internal compiler error: in gimplify_expr, at gimplify.c:4186
Please submit a full bug report,
with preprocessed source if appropriate.
See <URL:http://gcc.gnu.org/bugs.html> for instructions.


-- 


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

[Bug c++/26496] Pointer to virtual member function.

[dwoovseesp at kriocoucke dot mailexpire dot com]

------- Comment #2 from dwoovseesp at kriocoucke dot mailexpire dot com  2006-02-28 13:18 -------
Created an attachment (id=10938)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=10938&action=view)
Source code after preprocessing.


-- 


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

[Bug c++/26496] Pointer to virtual member function.

[pinskia at gcc dot gnu dot org]

[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: Type: text/plain, Size: 285 bytes --]



------- Comment #3 from pinskia at gcc dot gnu dot org  2006-02-28 13:30 -------
Hmm, in 4.0.3 I get:
t.cc: In function ‘int main()’:
t.cc:35: error: no matching function for call to ‘mem_fun(double
(Distribution::)())’


-- 


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

[Bug c++/26496] Pointer to virtual member function.

[dwoovseesp at kriocoucke dot mailexpire dot com]

[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: Type: text/plain, Size: 538 bytes --]



------- Comment #4 from dwoovseesp at kriocoucke dot mailexpire dot com  2006-02-28 13:42 -------
(In reply to comment #3)
> Hmm, in 4.0.3 I get:
> t.cc: In function ‘int main()’:
> t.cc:35: error: no matching function for call to ‘mem_fun(double
> (Distribution::)())’
> 

Interesting.  What happens if you remove the mem_fun call:
===
   generate_n(ostream_iterator<double>(cout, "\n"), 100,  rng->*ptr);
===
my gcc still reports an internal compiler error. 

  Matthias


-- 


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

[Bug c++/26496] Pointer to virtual member function.

[pinskia at gcc dot gnu dot org]

------- Comment #5 from pinskia at gcc dot gnu dot org  2006-02-28 13:46 -------
> Interesting.  What happens if you remove the mem_fun call:
> ===
>    generate_n(ostream_iterator<double>(cout, "\n"), 100,  rng->*ptr);
> ===
> my gcc still reports an internal compiler error. 

Yes I can reproduce it then, reducing.


-- 


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

[Bug c++/26496] [3.4/4.0/4.1/4.2 Regression] Pointer to virtual member function.

[pinskia at gcc dot gnu dot org]

-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |ice-on-invalid-code
      Known to fail|                            |3.4.0 4.0.0 4.1.0 4.2.0
                   |                            |4.0.3
      Known to work|                            |3.3.3
            Summary|Pointer to virtual member   |[3.4/4.0/4.1/4.2 Regression]
                   |function.                   |Pointer to virtual member
                   |                            |function.
   Target Milestone|---                         |4.0.3


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

[Bug c++/26496] [3.4/4.0/4.1/4.2 Regression] Pointer to virtual member function.

[pinskia at gcc dot gnu dot org]

------- Comment #6 from pinskia at gcc dot gnu dot org  2006-02-28 17:16 -------
Confirmed, reduced testcase:
template< typename _Generator> int generate_n(_Generator __gen);
struct Distribution { };
typedef double (Distribution::* Pstd_mem)();
int main(void)
{
   Distribution* rng;
   Pstd_mem ptr;
   generate_n(rng->*ptr);
}


-- 

pinskia at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|0                           |1
   Last reconfirmed|0000-00-00 00:00:00         |2006-02-28 17:16:24
               date|                            |


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

[Bug c++/26496] [3.4/4.0/4.1/4.2 Regression] Pointer to virtual member function.

[mmitchel at gcc dot gnu dot org]

-- 

mmitchel at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
   Target Milestone|4.0.3                       |4.0.4


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

[Bug c++/26496] [4.0/4.1/4.2 Regression] Pointer to member function

[mmitchel at gcc dot gnu dot org]

-- 

mmitchel at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|unassigned at gcc dot gnu   |mark at codesourcery dot com
                   |dot org                     |
             Status|NEW                         |ASSIGNED


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

[Bug c++/26496] [4.0/4.1/4.2 Regression] Pointer to member function

[mmitchel at gcc dot gnu dot org]

------- Comment #8 from mmitchel at gcc dot gnu dot org  2006-05-31 20:03 -------
Subject: Bug 26496

Author: mmitchel
Date: Wed May 31 20:03:27 2006
New Revision: 114279

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=114279
Log:
        PR c++/27801
        * call.c (perform_implicit_conversion): Do not actually perform
        conversions in templates.
        PR c++/26496
        * call.c (resolve_args): Check for invalid uses of bound
        non-static member functions.
        * init.c (build_offset_ref): Return error_mark_node for errors.
        PR c++/27385
        * decl.c (reshape_init): Robustify.
        (reshape_init_array_1): Likewise.
        PR c++/27801
        * g++.dg/template/cond6.C: New test.
        PR c++/26496
        * g++.dg/template/crash51.C: New test.
        * g++.old-deja/g++.mike/net36.C: Tweak error markers.
        PR c++/27385
        * g++.dg/init/array20.C: New test.

Added:
    branches/gcc-4_1-branch/gcc/testsuite/g++.dg/init/array20.C
    branches/gcc-4_1-branch/gcc/testsuite/g++.dg/template/cond6.C
    branches/gcc-4_1-branch/gcc/testsuite/g++.dg/template/crash51.C
Modified:
    branches/gcc-4_1-branch/gcc/cp/call.c
    branches/gcc-4_1-branch/gcc/cp/decl.c
    branches/gcc-4_1-branch/gcc/cp/init.c
    branches/gcc-4_1-branch/gcc/testsuite/g++.old-deja/g++.mike/net36.C


-- 


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

[Bug c++/26496] [4.0/4.1/4.2 Regression] Pointer to member function

[mmitchel at gcc dot gnu dot org]

------- Comment #7 from mmitchel at gcc dot gnu dot org  2006-05-31 20:03 -------
Subject: Bug 26496

Author: mmitchel
Date: Wed May 31 20:03:12 2006
New Revision: 114278

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=114278
Log:
        PR c++/27801
        * call.c (perform_implicit_conversion): Do not actually perform
        conversions in templates.
        PR c++/26496
        * call.c (resolve_args): Check for invalid uses of bound
        non-static member functions.
        * init.c (build_offset_ref): Return error_mark_node for errors.
        PR c++/27385
        * decl.c (reshape_init): Robustify.
        (reshape_init_array_1): Likewise.
        PR c++/27801
        * g++.dg/template/cond6.C: New test.
        PR c++/26496
        * g++.dg/template/crash51.C: New test.
        * g++.old-deja/g++.mike/net36.C: Tweak error markers.
        PR c++/27385
        * g++.dg/init/array20.C: New test.

Added:
    trunk/gcc/testsuite/g++.dg/init/array20.C
    trunk/gcc/testsuite/g++.dg/template/cond6.C
    trunk/gcc/testsuite/g++.dg/template/crash51.C
Modified:
    trunk/gcc/cp/ChangeLog
    trunk/gcc/cp/call.c
    trunk/gcc/cp/decl.c
    trunk/gcc/cp/init.c
    trunk/gcc/testsuite/ChangeLog
    trunk/gcc/testsuite/g++.old-deja/g++.mike/net36.C


-- 


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

[Bug c++/26496] [4.0/4.1/4.2 Regression] Pointer to member function

[mmitchel at gcc dot gnu dot org]

------- Comment #9 from mmitchel at gcc dot gnu dot org  2006-05-31 20:08 -------
Subject: Bug 26496

Author: mmitchel
Date: Wed May 31 20:07:35 2006
New Revision: 114280

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=114280
Log:
        PR c++/27801
        * call.c (perform_implicit_conversion): Do not actually perform
        conversions in templates.
        PR c++/26496
        * call.c (resolve_args): Check for invalid uses of bound
        non-static member functions.
        * init.c (build_offset_ref): Return error_mark_node for errors.
        PR c++/27385
        * decl.c (reshape_init): Robustify.
        (reshape_init_array_1): Likewise.
        PR c++/27801
        * g++.dg/template/cond6.C: New test.
        PR c++/26496
        * g++.dg/template/crash51.C: New test.
        * g++.old-deja/g++.mike/net36.C: Tweak error markers.
        PR c++/27385
        * g++.dg/init/array20.C: New test.

Modified:
    branches/gcc-4_1-branch/gcc/cp/ChangeLog
    branches/gcc-4_1-branch/gcc/testsuite/ChangeLog


-- 


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

[Bug c++/26496] [4.0 Regression] Pointer to member function

[mmitchel at gcc dot gnu dot org]

------- Comment #10 from mmitchel at gcc dot gnu dot org  2006-05-31 20:12 -------
Fixed in 4.1.2, 4.2.0.


-- 

mmitchel at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
         AssignedTo|mark at codesourcery dot com|unassigned at gcc dot gnu
                   |                            |dot org
             Status|ASSIGNED                    |NEW
            Summary|[4.0/4.1/4.2 Regression]    |[4.0 Regression] Pointer to
                   |Pointer to member function  |member function


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

[Bug c++/26496] [4.0 Regression] Pointer to member function

[gdr at gcc dot gnu dot org]

------- Comment #11 from gdr at gcc dot gnu dot org  2007-02-03 16:19 -------
Fixed in GCC-4.1.2


-- 

gdr at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
         Resolution|                            |FIXED
   Target Milestone|4.0.4                       |4.1.2


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