* [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 ` 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 ` giovannibajo at libero dot it
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
` (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
------- 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 ` giovannibajo at libero dot it
2004-09-09 12:52 ` 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
--
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] [3.5 Regression] ICE: verify_ssa failed (def does not dominate use) 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 ` 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 -------
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
` (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 -------
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
` (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* [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