[Bug tree-optimization/23352] New: ICE: verify_ssa failed - definition does not dominate use

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

When I compile ace542 with the actual snapshot (20050806) of gcc41 I get
an ICE when I use:  -O3 -g -floop-optimize2 -ftree-vectorize.

last working snapshot is:   gcc-4.1-20050723
first failing snapshot is:  gcc-4.1-20050730

Michael Cieslinski


g++41j -O3 -g -floop-optimize2 -ftree-vectorize -c -o .obj/Proactor_Test_IPV6.o 
Proactor_Test_IPV6.ii
Proactor_Test_IPV6.cpp: In constructor 'Connector::Connector()':
Proactor_Test_IPV6.cpp:925: error: definition in block 6 does not dominate use 
in block 9
for SSA_NAME: TMT.3445_18(ab) in statement:
TMT.3445_58(ab) = PHI <TMT.3445_57(ab)(3), TMT.3445_18(ab)(9), TMT.3445_57(ab)
(11)>;
PHI argument
TMT.3445_18(ab)
for PHI node
TMT.3445_58(ab) = PHI <TMT.3445_57(ab)(3), TMT.3445_18(ab)(9), TMT.3445_57(ab)
(11)>;
Proactor_Test_IPV6.cpp:925: internal compiler error: verify_ssa failed
Please submit a full bug report, with preprocessed source if appropriate.

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

-- 
           Summary: ICE: verify_ssa failed - definition does not dominate
                    use
           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=23352