Bug 23352 - ICE with vectorizer: verify_ssa failed - definition does not dominate use
Summary: ICE with vectorizer: verify_ssa failed - definition does not dominate use
Status: RESOLVED DUPLICATE of bug 22228
Alias: None
Product: gcc
Classification: Unclassified
Component: tree-optimization (show other bugs)
Version: 4.1.0
: P2 normal
Target Milestone: ---
Assignee: Not yet assigned to anyone
URL:
Keywords:
Depends on: 22228
Blocks:
  Show dependency treegraph
 
Reported: 2005-08-12 11:29 UTC by Michael Cieslinski
Modified: 2005-08-12 17:35 UTC (History)
1 user (show)

See Also:
Host: x86_64-unknown-linux-gnu
Target: x86_64-unknown-linux-gnu
Build: x86_64-unknown-linux-gnu
Known to work:
Known to fail:
Last reconfirmed:


Attachments
preprocessed source (148.09 KB, text/plain)
2005-08-12 11:30 UTC, Michael Cieslinski
Details
preprocessed source (147.85 KB, text/plain)
2005-08-12 11:38 UTC, Michael Cieslinski
Details

Note You need to log in before you can comment on or make changes to this bug.
Description Michael Cieslinski 2005-08-12 11:29:13 UTC
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)
Comment 1 Michael Cieslinski 2005-08-12 11:30:40 UTC
Created attachment 9479 [details]
preprocessed source
Comment 2 Michael Cieslinski 2005-08-12 11:38:09 UTC
Created attachment 9480 [details]
preprocessed source

an other similar ICE:

g++41j -O3 -g -floop-optimize2 -ftree-vectorize -c -o .obj/TP_Reactor_Test.o
TP_Reactor_Test.ii
TP_Reactor_Test.cpp: In constructor 'Acceptor::Acceptor()':
TP_Reactor_Test.cpp:263: error: definition in block 3 does not dominate use in
block 6
for SSA_NAME: TMT.8636_12 in statement:
#   TMT.8635_101(ab) = V_MAY_DEF <TMT.8635_154>;
#   TMT.8636_102(ab) = V_MAY_DEF <TMT.8636_12>;
#   VUSE <_ZTI18ACE_Service_Object_41>;
#   VUSE <_ZTI12ACE_AcceptorI8Receiver17ACE_SOCK_AcceptorE_42>;
#   VUSE <_ZTV8Acceptor_43>;
#   VUSE <_ZTI8Acceptor_44>;
#   VUSE <_ZTVN10__cxxabiv120__si_class_type_infoE_45>;
#   VUSE <_ZTS8Acceptor_46>;
#   VUSE <_ZTS12ACE_AcceptorI8Receiver17ACE_SOCK_AcceptorE_47>;
D.72884_30 = release (locker$lock__7);
TP_Reactor_Test.cpp:263: internal compiler error: verify_ssa failed
Please submit a full bug report, with preprocessed source if appropriate.
Comment 3 Andrew Pinski 2005-08-12 12:34:43 UTC
The first preprocessed file produces the same ICE as PR 22228.
Comment 4 Andrew Pinski 2005-08-12 17:35:55 UTC
Both testcase give the same on ICE on x86, this is a dup of bug 22228.

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