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 ` 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
                   ` (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
                   ` (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
                   ` (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 ` 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
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
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).