[Bug c++/42394] New: pure virtual method called when compiling with "-fno-strict-aliasing -O"

[Bug c++/42394] New: pure virtual method called when compiling with "-fno-strict-aliasing -O"

[Troy dot Runkel at mathworks dot com]

The attached test case should produce no output when executed.  However, when
compiled with the following command-line arguments...

g++ pure_virtual_function_test.cpp -fno-strict-aliasing -O -o fail_test

the test case produces the following output...

pure virtual method called
terminate called without an active exception
Aborted

The assembly code for MakeNvSsInportsNvIfNeeded shows that the call to
DescSysOutportSourceHandler::handleEachDescSys is passed the vtable for
DescSysOutportSourceHandler.  However the call to
DescSysSelfLoopHandler::handleEachDescSys is passed the vtable for
DescSysIteratorNc instead of the vtable for DescSysSelfLoopHandler.

The output of "g++ -v" follows...
Using built-in specs.
Target: x86_64-unknown-linux-gnu
Configured with: ../../../sources/gcc-4.3/configure
--prefix=/hub/3rdparty/internal/142814/glnxa64/gcc-4.3.4
--with-gmp=/sandbox/rjarrett/3p-gcc/3p/derived/glnxa64/gcc-4.3/gmp
--with-mpfr=/sandbox/rjarrett/3p-gcc/3p/derived/glnxa64/gcc-4.3/mpfr
--enable-languages=c,c++,fortran
--with-as=/hub/3rdparty/internal/142814/glnxa64/gcc-4.3.4/bin/as
--with-ld=/hub/3rdparty/internal/142814/glnxa64/gcc-4.3.4/bin/ld
--disable-multilib
Thread model: posix
gcc version 4.3.4 (GCC)


-- 
           Summary: pure virtual method called when compiling with "-fno-
                    strict-aliasing -O"
           Product: gcc
           Version: 4.3.4
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: Troy dot Runkel at mathworks dot com


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

[Bug c++/42394] pure virtual method called when compiling with "-fno-strict-aliasing -O"

[Troy dot Runkel at mathworks dot com]

------- Comment #1 from Troy dot Runkel at mathworks dot com  2009-12-16 19:52 -------
Created an attachment (id=19324)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=19324&action=view)
Original test case code.


-- 


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

[Bug c++/42394] pure virtual method called when compiling with "-fno-strict-aliasing -O"

[Troy dot Runkel at mathworks dot com]

------- Comment #2 from Troy dot Runkel at mathworks dot com  2009-12-16 19:53 -------
Created an attachment (id=19325)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=19325&action=view)
Pre-processed test case code.


-- 


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

[Bug c++/42394] pure virtual method called when compiling with "-fno-strict-aliasing -O"

[Troy dot Runkel at mathworks dot com]

------- Comment #3 from Troy dot Runkel at mathworks dot com  2009-12-16 19:54 -------
Created an attachment (id=19326)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=19326&action=view)
Makefile for building passing/failing versions of test case.


-- 


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

[Bug c++/42394] pure virtual method called when compiling with "-fno-strict-aliasing -O"

[Troy dot Runkel at mathworks dot com]

------- Comment #4 from Troy dot Runkel at mathworks dot com  2009-12-16 19:59 -------
Created an attachment (id=19327)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=19327&action=view)
Assembly fragment with comments.


-- 


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

[Bug c++/42394] pure virtual method called when compiling with "-fno-strict-aliasing -O"

[paolo dot carlini at oracle dot com]

------- Comment #5 from paolo dot carlini at oracle dot com  2009-12-16 20:02 -------
Interesting. I can't reproduce it in mainline, only with 4.4.x and 4.3.x.


-- 


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

[Bug middle-end/42394] [4.3/4.4 Regression] pure virtual method called when compiling with -O

[rguenth at gcc dot gnu dot org]

------- Comment #6 from rguenth at gcc dot gnu dot org  2009-12-16 20:16 -------
I think there's a dup somewhere.


-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
          Component|c++                         |middle-end
     Ever Confirmed|0                           |1
      Known to fail|                            |4.3.4 4.4.2
      Known to work|                            |4.2.4 4.5.0
   Last reconfirmed|0000-00-00 00:00:00         |2009-12-16 20:16:19
               date|                            |
            Summary|pure virtual method called  |[4.3/4.4 Regression] pure
                   |when compiling with "-fno-  |virtual method called when
                   |strict-aliasing -O"         |compiling with -O
   Target Milestone|---                         |4.3.5


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

[Bug middle-end/42394] [4.3/4.4 Regression] pure virtual method called when compiling with -O

[rguenth at gcc dot gnu dot org]

------- Comment #7 from rguenth at gcc dot gnu dot org  2009-12-16 20:18 -------
PR39509.

*** This bug has been marked as a duplicate of 39509 ***


-- 

rguenth at gcc dot gnu dot org changed:

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


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