[Bug c++/37717] New: verify_ssa failed for legal C++ with -O2

[Bug c++/37717] New: verify_ssa failed for legal C++ with -O2

[dcb314 at hotmail dot com]

I just tried to compile the Suse Linux package libQtWebKit-devel-4.4.0-11
with the new gcc version 4.4, snapshot dated 20080926.

gcc said

piecesmodel.cpp: In member function 'virtual QVariant PiecesModel::data(const
QModelIndex&, int) const':
piecesmodel.cpp:208: error: definition in block 36 follows the use
for SSA_NAME: D.160686_56 in statement:
D.160688_58 = D.160682_51->array[D.160686_56];
piecesmodel.cpp:208: internal compiler error: verify_ssa failed
Please submit a full bug report,
with preprocessed source if appropriate.

Preprocessed source code attached. Flag -O2 required.


-- 
           Summary: verify_ssa failed for legal C++ with -O2
           Product: gcc
           Version: 4.4.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: c++
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: dcb314 at hotmail dot com
  GCC host triplet: suse-linux-x86_64


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

[Bug c++/37717] verify_ssa failed for legal C++ with -O2

[dcb314 at hotmail dot com]

------- Comment #1 from dcb314 at hotmail dot com  2008-10-02 12:39 -------
Created an attachment (id=16452)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=16452&action=view)
gzipped C++ source code


-- 


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

[Bug c++/37717] verify_ssa failed for legal C++ with -O2

[rguenth at gcc dot gnu dot org]

------- Comment #2 from rguenth at gcc dot gnu dot org  2008-10-02 15:39 -------
Reducing.


-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |rguenth at gcc dot gnu dot
                   |                            |org


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

[Bug c++/37717] [4.4 Regression] verify_ssa failed for legal C++ with -O2

[rguenth at gcc dot gnu dot org]

------- Comment #3 from rguenth at gcc dot gnu dot org  2008-10-02 15:56 -------
Btw, SRA strikes again.

bug22.cc:77593: error: invalid operand in unary operation
SR.1004_28 = (long unsigned int) D.159413_18->array[D.159417_23];

bug22.cc:77593: internal compiler error: verify_stmts failed
Please submit a full bug report,
with preprocessed source if appropriate.
See <http://gcc.gnu.org/bugs.html> for instructions.

So this is probably a "dup" of PR37716.


-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
  BugsThisDependsOn|                            |37716
           Keywords|                            |ice-on-valid-code
            Summary|verify_ssa failed for legal |[4.4 Regression] verify_ssa
                   |C++ with -O2                |failed for legal C++ with -
                   |                            |O2
   Target Milestone|---                         |4.4.0


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

[Bug tree-optimization/37717] [4.4 Regression] verify_ssa failed for legal C++ with -O2

[rguenth at gcc dot gnu dot org]

------- Comment #4 from rguenth at gcc dot gnu dot org  2008-10-02 16:19 -------
Yep, reduced testcase looks exactly the same.

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


-- 

rguenth at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |RESOLVED
          Component|c++                         |tree-optimization
         Resolution|                            |DUPLICATE


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

[Bug tree-optimization/37717] [4.4 Regression] verify_ssa failed for legal C++ with -O2

[bonzini at gcc dot gnu dot org]

------- Comment #5 from bonzini at gnu dot org  2008-10-15 12:41 -------
Subject: Bug 37717

Author: bonzini
Date: Wed Oct 15 12:40:05 2008
New Revision: 141135

URL: http://gcc.gnu.org/viewcvs?root=gcc&view=rev&rev=141135
Log:
2008-10-15  Paolo Bonzini  <bonzini@gnu.org>

        PR bootstrap/37717
        * Makefile.in (LIBCFLAGS): Remove.
        (FLAGS_TO_PASS): Don't mention it.
        (COMPILE.c, MULTIOSDIR): Replace it with CFLAGS.

Modified:
    trunk/libiberty/ChangeLog
    trunk/libiberty/Makefile.in


-- 


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