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

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

[micis at gmx dot de]

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

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

[micis at gmx dot de]

------- Additional Comments From micis at gmx dot de  2005-07-25 12:22 -------
Created an attachment (id=9359)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=9359&action=view)
preprocessed source


-- 


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

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

[pinskia at gcc dot gnu dot org]

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |ice-on-valid-code
            Summary|ICE: verify_ssa failed with |[4.1 Regression] ICE:
                   |-O3 -ftree-vectorize -      |verify_ssa failed with -O3 -
                   |Woverloaded-virtual         |ftree-vectorize -
                   |                            |Woverloaded-virtual
   Target Milestone|---                         |4.1.0


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

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

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-07-25 22:14 -------
Reducing.

-- 


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

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

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-07-26 12:54 -------
Created an attachment (id=9363)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=9363&action=view)
Smaller testcase


-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
Attachment #9359 is|0                           |1
           obsolete|                            |


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

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

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-07-26 12:58 -------
Confirmed, I cannot reduce the testcase any further.  Removing any little unneeded code makes the bug 
go away.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|                            |1
   Last reconfirmed|0000-00-00 00:00:00         |2005-07-26 12:58:06
               date|                            |


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

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

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-08-06 06:52 -------
Fixed.

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


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