[Bug tree-optimization/23059] New: ICE: verify_ssa failed with -O3 -ftree-vectorize -Woverloaded-virtual

["micis at gmx dot de" <gcc-bugzilla at gcc dot gnu dot org>]

When I compile my application with the actual snapshot of gcc41 I get an ICE 
when I enable autovectorisation and -Woverloaded-virtual.

last working snapshot is:   gcc-4.1-20050625
first failing snapshot is:  gcc-4.1-20050702

Michael Cieslinski


g++41h -O3 -ftree-vectorize -Woverloaded-virtual -c FiltMgr.ii -o FiltMgr.o
FiltMgr.ii: In member function 'EVT FilterMgr::calcKernel()':
FiltMgr.ii:13912: error: definition in block 14 does not dominate use in block 
19
for SSA_NAME: TMT.1129_15 in statement:
TMT.1129_526 = PHI <TMT.1129_15(19), TMT.1129_15(18)>;
PHI argument
TMT.1129_15
for PHI node
TMT.1129_526 = PHI <TMT.1129_15(19), TMT.1129_15(18)>;
FiltMgr.ii:13912: internal compiler error: verify_ssa failed
Please submit a full bug report, with preprocessed source if appropriate.

g++41h -v
Using built-in specs.
Target: x86_64-unknown-linux-gnu
Configured with: ../gcc-4.1-20050723/configure --prefix=/usr/local/gcc41h
 --program-suffix=41h --with-arch=opteron --enable-languages=c,c++
 --enable-checking
Thread model: posix
gcc version 4.1.0 20050723 (experimental)

-- 
           Summary: ICE: verify_ssa failed with -O3 -ftree-vectorize -
                    Woverloaded-virtual
           Product: gcc
           Version: 4.1.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P2
         Component: tree-optimization
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: micis at gmx dot de
                CC: gcc-bugs at gcc dot gnu dot org
 GCC build triplet: x86_64-unknown-linux-gnu
  GCC host triplet: x86_64-unknown-linux-gnu
GCC target triplet: x86_64-unknown-linux-gnu


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