public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug tree-optimization/17372] New: gcc-3.5-20040905 internal compiler error: verify_ssa failed
@ 2004-09-09 11:24 micis at gmx dot de
2004-09-09 11:33 ` [Bug tree-optimization/17372] " micis at gmx dot de
` (11 more replies)
0 siblings, 12 replies; 14+ messages in thread
From: micis at gmx dot de @ 2004-09-09 11:24 UTC (permalink / raw)
To: gcc-bugs
I used gcc-3.5-20040905 to compile ACE-TAO and got an internal compiler error.
This error occurs at -O1 and above, but not at -O0
g++35 -O2 -g -c -fPIC -o RTP.o RTP.ii -v
Reading specs from /usr/local/gcc35/lib/gcc/powerpc-unknown-linux-
gnu/3.5.0/specs
Configured with: ../gcc35/configure --prefix=/usr/local/gcc35 --program-
suffix=35 --with-cpu=G5 --enable-altivec --enable-languages=c,c++
Thread model: posix
gcc version 3.5.0 20040905 (experimental)
/usr/local/gcc35/libexec/gcc/powerpc-unknown-linux-gnu/3.5.0/cc1plus -
fpreprocessed RTP.ii -quiet -dumpbase RTP.ii -mcpu=G5 -auxbase-strip RTP.o -g -
O2 -version -fPIC -o /tmp/ccWPJ13F.s
GNU C++ version 3.5.0 20040905 (experimental) (powerpc-unknown-linux-gnu)
compiled by GNU C version 3.3.5 20040721 (prerelease).
GGC heuristics: --param ggc-min-expand=30 --param ggc-min-heapsize=4096
AV/RTP.cpp: In constructor `RTP_Packet::RTP_Packet(unsigned char, unsigned
char, unsigned char, ACE_UINT32, ACE_UINT32, ACE_UINT32, unsigned char,
ACE_UINT32*, char*, ACE_UINT16)':
AV/RTP.cpp:106: error: Definition in block 20 does not dominate use in block 5
for SSA_NAME: T.9298<D122117>_250
in statement:
T.9302<D122121>_82 = T.9298<D122117>_250 + 0;
AV/RTP.cpp:106: 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.
--
Summary: gcc-3.5-20040905 internal compiler error: verify_ssa
failed
Product: gcc
Version: 3.5.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: powerpc-linux-gnu
GCC host triplet: powerpc-linux-gnu
GCC target triplet: powerpc-linux-gnu
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=17372
^ permalink raw reply [flat|nested] 14+ messages in thread
* [Bug tree-optimization/17372] gcc-3.5-20040905 internal compiler error: verify_ssa failed
2004-09-09 11:24 [Bug tree-optimization/17372] New: gcc-3.5-20040905 internal compiler error: verify_ssa failed micis at gmx dot de
@ 2004-09-09 11:33 ` micis at gmx dot de
2004-09-09 12:12 ` [Bug tree-optimization/17372] [3.5 Regression] ICE: verify_ssa failed (def does not dominate use) giovannibajo at libero dot it
` (10 subsequent siblings)
11 siblings, 0 replies; 14+ messages in thread
From: micis at gmx dot de @ 2004-09-09 11:33 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From micis at gmx dot de 2004-09-09 11:32 -------
Created an attachment (id=7078)
--> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=7078&action=view)
preprocessed source
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=17372
^ permalink raw reply [flat|nested] 14+ messages in thread
* [Bug tree-optimization/17372] gcc-3.5-20040905 internal compiler error: verify_ssa failed
2004-09-09 11:24 [Bug tree-optimization/17372] New: gcc-3.5-20040905 internal compiler error: verify_ssa failed micis at gmx dot de
2004-09-09 11:33 ` [Bug tree-optimization/17372] " micis at gmx dot de
2004-09-09 12:12 ` [Bug tree-optimization/17372] [3.5 Regression] ICE: verify_ssa failed (def does not dominate use) giovannibajo at libero dot it
@ 2004-09-09 12:12 ` giovannibajo at libero dot it
2004-09-09 12:52 ` [Bug tree-optimization/17372] [3.5 Regression] ICE: verify_ssa failed (def does not dominate use) micis at gmx dot de
` (8 subsequent siblings)
11 siblings, 0 replies; 14+ messages in thread
From: giovannibajo at libero dot it @ 2004-09-09 12:12 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From giovannibajo at libero dot it 2004-09-09 12:11 -------
This must be a new failure, I cannot reproduce it with 3.5.0 20040901.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=17372
^ permalink raw reply [flat|nested] 14+ messages in thread
* [Bug tree-optimization/17372] [3.5 Regression] ICE: verify_ssa failed (def does not dominate use)
2004-09-09 11:24 [Bug tree-optimization/17372] New: gcc-3.5-20040905 internal compiler error: verify_ssa failed micis at gmx dot de
2004-09-09 11:33 ` [Bug tree-optimization/17372] " micis at gmx dot de
@ 2004-09-09 12:12 ` giovannibajo at libero dot it
2004-09-09 12:12 ` [Bug tree-optimization/17372] gcc-3.5-20040905 internal compiler error: verify_ssa failed giovannibajo at libero dot it
` (9 subsequent siblings)
11 siblings, 0 replies; 14+ messages in thread
From: giovannibajo at libero dot it @ 2004-09-09 12:12 UTC (permalink / raw)
To: gcc-bugs
--
What |Removed |Added
----------------------------------------------------------------------------
Keywords| |ice-on-valid-code
Known to fail| |3.5.0
Known to work| |3.4.0
Summary|gcc-3.5-20040905 internal |[3.5 Regression] ICE:
|compiler error: verify_ssa |verify_ssa failed (def does
|failed |not dominate use)
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=17372
^ permalink raw reply [flat|nested] 14+ messages in thread
* [Bug tree-optimization/17372] [3.5 Regression] ICE: verify_ssa failed (def does not dominate use)
2004-09-09 11:24 [Bug tree-optimization/17372] New: gcc-3.5-20040905 internal compiler error: verify_ssa failed micis at gmx dot de
` (2 preceding siblings ...)
2004-09-09 12:12 ` [Bug tree-optimization/17372] gcc-3.5-20040905 internal compiler error: verify_ssa failed giovannibajo at libero dot it
@ 2004-09-09 12:52 ` micis at gmx dot de
2004-09-09 13:32 ` micis at gmx dot de
` (7 subsequent siblings)
11 siblings, 0 replies; 14+ messages in thread
From: micis at gmx dot de @ 2004-09-09 12:52 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From micis at gmx dot de 2004-09-09 12:52 -------
Created an attachment (id=7079)
--> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=7079&action=view)
(mostly) reduced testcace
I was able to reduce the source from 150K lines to abut 150 lines of code
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=17372
^ permalink raw reply [flat|nested] 14+ messages in thread
* [Bug tree-optimization/17372] [3.5 Regression] ICE: verify_ssa failed (def does not dominate use)
2004-09-09 11:24 [Bug tree-optimization/17372] New: gcc-3.5-20040905 internal compiler error: verify_ssa failed micis at gmx dot de
` (3 preceding siblings ...)
2004-09-09 12:52 ` [Bug tree-optimization/17372] [3.5 Regression] ICE: verify_ssa failed (def does not dominate use) micis at gmx dot de
@ 2004-09-09 13:32 ` micis at gmx dot de
2004-09-09 15:07 ` giovannibajo at libero dot it
` (6 subsequent siblings)
11 siblings, 0 replies; 14+ messages in thread
From: micis at gmx dot de @ 2004-09-09 13:32 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From micis at gmx dot de 2004-09-09 13:32 -------
now fully reduced:
class Test
{
public:
Test(unsigned char P1, int P2[], char *P3, int P4);
char E[10];
char F[10];
int B;
};
Test::Test(unsigned char P1, int *P2, char *P3, int P4) :B(0)
{
int C = 3*4, D = 0;
for (unsigned char i=0; i<P1; i++)
{
C+=4;
this->E[i] = P2[i];
}
this->B = C + P4;
for (int i=0; i<P1; i++)
{
*((int*)&this->E[0]) = (this->F[i]);
D+=4;
}
}
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=17372
^ permalink raw reply [flat|nested] 14+ messages in thread
* [Bug tree-optimization/17372] [3.5 Regression] ICE: verify_ssa failed (def does not dominate use)
2004-09-09 11:24 [Bug tree-optimization/17372] New: gcc-3.5-20040905 internal compiler error: verify_ssa failed micis at gmx dot de
` (4 preceding siblings ...)
2004-09-09 13:32 ` micis at gmx dot de
@ 2004-09-09 15:07 ` giovannibajo at libero dot it
2004-09-09 15:07 ` giovannibajo at libero dot it
` (5 subsequent siblings)
11 siblings, 0 replies; 14+ messages in thread
From: giovannibajo at libero dot it @ 2004-09-09 15:07 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From giovannibajo at libero dot it 2004-09-09 15:07 -------
Thanks for the reduction, btw :)
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=17372
^ permalink raw reply [flat|nested] 14+ messages in thread
* [Bug tree-optimization/17372] [3.5 Regression] ICE: verify_ssa failed (def does not dominate use)
2004-09-09 11:24 [Bug tree-optimization/17372] New: gcc-3.5-20040905 internal compiler error: verify_ssa failed micis at gmx dot de
` (5 preceding siblings ...)
2004-09-09 15:07 ` giovannibajo at libero dot it
@ 2004-09-09 15:07 ` giovannibajo at libero dot it
2004-09-09 15:10 ` giovannibajo at libero dot it
` (4 subsequent siblings)
11 siblings, 0 replies; 14+ messages in thread
From: giovannibajo at libero dot it @ 2004-09-09 15:07 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From giovannibajo at libero dot it 2004-09-09 15:07 -------
I still cannot reproduce this bug with a newer compiler:
gcc version 3.5.0 20040908 (experimental)
so I can't confirm it right now.
Notice that the code is not valid C++ (breaks aliasing rules with the cast), so
either you specify -fno-strict-aliasing while building (at least) this file, or
you could hit wrong-code generation and all kind of side-effect.
Anyway, this is still a valid report, as we should not emit an internal error
under any circumstances.
--
What |Removed |Added
----------------------------------------------------------------------------
Keywords|ice-on-valid-code |ice-on-invalid-code
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=17372
^ permalink raw reply [flat|nested] 14+ messages in thread
* [Bug tree-optimization/17372] [3.5 Regression] ICE: verify_ssa failed (def does not dominate use)
2004-09-09 11:24 [Bug tree-optimization/17372] New: gcc-3.5-20040905 internal compiler error: verify_ssa failed micis at gmx dot de
` (6 preceding siblings ...)
2004-09-09 15:07 ` giovannibajo at libero dot it
@ 2004-09-09 15:10 ` giovannibajo at libero dot it
2004-09-09 15:50 ` Jan Hubicka
2004-09-09 15:50 ` hubicka at ucw dot cz
` (3 subsequent siblings)
11 siblings, 1 reply; 14+ messages in thread
From: giovannibajo at libero dot it @ 2004-09-09 15:10 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From giovannibajo at libero dot it 2004-09-09 15:10 -------
Maybe is it related to vectorization code on altivec? I don't remember if
vectorization is on by default. I tried also with -O2 -msse2 -ftree-vectorize,
on x86.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=17372
^ permalink raw reply [flat|nested] 14+ messages in thread
* Re: [Bug tree-optimization/17372] [3.5 Regression] ICE: verify_ssa failed (def does not dominate use)
2004-09-09 15:10 ` giovannibajo at libero dot it
@ 2004-09-09 15:50 ` Jan Hubicka
0 siblings, 0 replies; 14+ messages in thread
From: Jan Hubicka @ 2004-09-09 15:50 UTC (permalink / raw)
To: giovannibajo at libero dot it; +Cc: gcc-bugs
>
> ------- Additional Comments From giovannibajo at libero dot it 2004-09-09 15:10 -------
> Maybe is it related to vectorization code on altivec? I don't remember if
> vectorization is on by default. I tried also with -O2 -msse2 -ftree-vectorize,
> on x86.
Number of bugs of this type went from invalid sharing of tree nodes in
tree-ivopts. I am not sure that I caught them all.
Honza
>
> --
>
>
> http://gcc.gnu.org/bugzilla/show_bug.cgi?id=17372
^ permalink raw reply [flat|nested] 14+ messages in thread
* [Bug tree-optimization/17372] [3.5 Regression] ICE: verify_ssa failed (def does not dominate use)
2004-09-09 11:24 [Bug tree-optimization/17372] New: gcc-3.5-20040905 internal compiler error: verify_ssa failed micis at gmx dot de
` (7 preceding siblings ...)
2004-09-09 15:10 ` giovannibajo at libero dot it
@ 2004-09-09 15:50 ` hubicka at ucw dot cz
2004-09-09 16:11 ` giovannibajo at libero dot it
` (2 subsequent siblings)
11 siblings, 0 replies; 14+ messages in thread
From: hubicka at ucw dot cz @ 2004-09-09 15:50 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From hubicka at ucw dot cz 2004-09-09 15:50 -------
Subject: Re: [3.5 Regression] ICE: verify_ssa failed (def does not dominate use)
>
> ------- Additional Comments From giovannibajo at libero dot it 2004-09-09 15:10 -------
> Maybe is it related to vectorization code on altivec? I don't remember if
> vectorization is on by default. I tried also with -O2 -msse2 -ftree-vectorize,
> on x86.
Number of bugs of this type went from invalid sharing of tree nodes in
tree-ivopts. I am not sure that I caught them all.
Honza
>
> --
>
>
> http://gcc.gnu.org/bugzilla/show_bug.cgi?id=17372
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=17372
^ permalink raw reply [flat|nested] 14+ messages in thread
* [Bug tree-optimization/17372] [3.5 Regression] ICE: verify_ssa failed (def does not dominate use)
2004-09-09 11:24 [Bug tree-optimization/17372] New: gcc-3.5-20040905 internal compiler error: verify_ssa failed micis at gmx dot de
` (8 preceding siblings ...)
2004-09-09 15:50 ` hubicka at ucw dot cz
@ 2004-09-09 16:11 ` giovannibajo at libero dot it
2004-09-09 16:20 ` micis at gmx dot de
2004-09-09 16:38 ` pinskia at gcc dot gnu dot org
11 siblings, 0 replies; 14+ messages in thread
From: giovannibajo at libero dot it @ 2004-09-09 16:11 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From giovannibajo at libero dot it 2004-09-09 16:11 -------
Micheal, can you check if -fno-ivopts is a workaround for the bug?
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=17372
^ permalink raw reply [flat|nested] 14+ messages in thread
* [Bug tree-optimization/17372] [3.5 Regression] ICE: verify_ssa failed (def does not dominate use)
2004-09-09 11:24 [Bug tree-optimization/17372] New: gcc-3.5-20040905 internal compiler error: verify_ssa failed micis at gmx dot de
` (9 preceding siblings ...)
2004-09-09 16:11 ` giovannibajo at libero dot it
@ 2004-09-09 16:20 ` micis at gmx dot de
2004-09-09 16:38 ` pinskia at gcc dot gnu dot org
11 siblings, 0 replies; 14+ messages in thread
From: micis at gmx dot de @ 2004-09-09 16:20 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From micis at gmx dot de 2004-09-09 16:20 -------
I checked it, this bug does not appear with -fno-ivopts.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=17372
^ permalink raw reply [flat|nested] 14+ messages in thread
* [Bug tree-optimization/17372] [3.5 Regression] ICE: verify_ssa failed (def does not dominate use)
2004-09-09 11:24 [Bug tree-optimization/17372] New: gcc-3.5-20040905 internal compiler error: verify_ssa failed micis at gmx dot de
` (10 preceding siblings ...)
2004-09-09 16:20 ` micis at gmx dot de
@ 2004-09-09 16:38 ` pinskia at gcc dot gnu dot org
11 siblings, 0 replies; 14+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2004-09-09 16:38 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From pinskia at gcc dot gnu dot org 2004-09-09 16:38 -------
This is fixed already in a newer compiler.
--
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |RESOLVED
Resolution| |FIXED
Target Milestone|--- |3.5.0
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=17372
^ permalink raw reply [flat|nested] 14+ messages in thread
end of thread, other threads:[~2004-09-09 16:38 UTC | newest]
Thread overview: 14+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2004-09-09 11:24 [Bug tree-optimization/17372] New: gcc-3.5-20040905 internal compiler error: verify_ssa failed micis at gmx dot de
2004-09-09 11:33 ` [Bug tree-optimization/17372] " micis at gmx dot de
2004-09-09 12:12 ` [Bug tree-optimization/17372] [3.5 Regression] ICE: verify_ssa failed (def does not dominate use) giovannibajo at libero dot it
2004-09-09 12:12 ` [Bug tree-optimization/17372] gcc-3.5-20040905 internal compiler error: verify_ssa failed giovannibajo at libero dot it
2004-09-09 12:52 ` [Bug tree-optimization/17372] [3.5 Regression] ICE: verify_ssa failed (def does not dominate use) micis at gmx dot de
2004-09-09 13:32 ` micis at gmx dot de
2004-09-09 15:07 ` giovannibajo at libero dot it
2004-09-09 15:07 ` giovannibajo at libero dot it
2004-09-09 15:10 ` giovannibajo at libero dot it
2004-09-09 15:50 ` Jan Hubicka
2004-09-09 15:50 ` hubicka at ucw dot cz
2004-09-09 16:11 ` giovannibajo at libero dot it
2004-09-09 16:20 ` micis at gmx dot de
2004-09-09 16:38 ` pinskia at gcc dot gnu dot org
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).