[Bug c++/31080] New: ice for legal code with -O2

["dcb314 at hotmail dot com" <gcc-bugzilla at gcc dot gnu dot org>]

I just tried to compile Suse Linux package opensp-1.5.1-120
with the GNU C++ compiler version 4.3 snapshot 20070302.

The compiler said

URLStorage.cxx: In member function 'OpenSP::HTTP_RESPONSE_TYPE
OpenSP::HttpSocketStorageObject::readHeader(OpenSP::Messenger&, char*)':
URLStorage.cxx:601: error: definition in block 74 does not dominate use in
block 77
for SSA_NAME: NMT.1285_487 in statement:
NMT.1285_354 = PHI <NMT.1285_485(ab)(69), NMT.1285_487(77), NMT.1285_487(78),
NMT.1285_485(ab)(68), NMT.1285_485(ab)(71), NMT.1285_487(74)>
PHI argument
NMT.1285_487
for PHI node
NMT.1285_354 = PHI <NMT.1285_485(ab)(69), NMT.1285_487(77), NMT.1285_487(78),
NMT.1285_485(ab)(68), NMT.1285_485(ab)(71), NMT.1285_487(74)>
URLStorage.cxx:601: internal compiler error: verify_ssa failed
Please submit a full bug report,
with preprocessed source if appropriate.
See <URL:http://gcc.gnu.org/bugs.html> for instructions.


Preprocessed source code attached. Flag -O2 required.


-- 
           Summary: ice for legal code with -O2
           Product: gcc
           Version: 4.3.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: x86_64-suse-linux


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