[Bug c++/22005] New: ICE: SSA_NAME verification failure

[Bug c++/22005] New: ICE: SSA_NAME verification failure

[Ralf dot Wildenhues at gmx dot de]

CVS HEAD of today gives me a bunch of SSA errors and finally an ICE on this file
(taken from CLN) when optimization is turned on:

g++ -O1  -c cl_prin_globals.ii

bzip'ed file plus error output attached.  Sorry for the suboptimal naming (don't
know what is happening here) and the large file size.

-- 
           Summary: ICE: SSA_NAME verification failure
           Product: gcc
           Version: 4.1.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P2
         Component: c++
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: Ralf dot Wildenhues at gmx dot de
                CC: gcc-bugs at gcc dot gnu dot org
 GCC build triplet: x86_64-unknown-linux-gnu


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=22005

[Bug c++/22005] ICE: SSA_NAME verification failure

[Ralf dot Wildenhues at gmx dot de]

------- Additional Comments From Ralf dot Wildenhues at gmx dot de  2005-06-10 16:54 -------
*** Bug 22004 has been marked as a duplicate of this bug. ***

-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=22005

[Bug c++/22005] ICE: SSA_NAME verification failure

[Ralf dot Wildenhues at gmx dot de]

------- Additional Comments From Ralf dot Wildenhues at gmx dot de  2005-06-10 16:55 -------
Created an attachment (id=9063)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=9063&action=view)
preprocessed source that exposes this


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=22005

[Bug c++/22005] ICE: SSA_NAME verification failure

[Ralf dot Wildenhues at gmx dot de]

------- Additional Comments From Ralf dot Wildenhues at gmx dot de  2005-06-10 16:56 -------
Created an attachment (id=9064)
 --> (http://gcc.gnu.org/bugzilla/attachment.cgi?id=9064&action=view)
g++ output


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=22005

[Bug c++/22005] [4.1 Regression] ICE: SSA_NAME verification failure

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-06-10 18:51 -------
-fno-tree-salias works around the ICE.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |dberlin at gcc dot gnu dot
                   |                            |org, pinskia at gcc dot gnu
                   |                            |dot org
           Keywords|                            |ice-on-valid-code
            Summary|ICE: SSA_NAME verification  |[4.1 Regression] ICE:
                   |failure                     |SSA_NAME verification
                   |                            |failure
   Target Milestone|---                         |4.1.0


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=22005

[Bug c++/22005] [4.1 Regression] ICE: SSA_NAME verification failure

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-06-10 19:49 -------
Note this code really contains some invalid inline-asm:
__asm__("jmp " "" "cl_module__cl_prin_globals__ctorend");

__asm__ ("\n" "" "cl_module__" "cl_prin_globals" "__dtorend" ":");

But that is not causing the ICE.

-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=22005

[Bug c++/22005] [4.1 Regression] ICE: SSA_NAME verification failure

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-06-10 20:22 -------
Confirmed, reduced testcase:
struct cl_string 
{
  union{ int i; };
  cl_string ();
};
struct cl_print_univpoly_flags { cl_string univpoly_varname; };
struct cl_print_flags: cl_print_univpoly_flags {int i;};
cl_print_flags default_print_flags;


-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|UNCONFIRMED                 |NEW
     Ever Confirmed|                            |1
   Last reconfirmed|0000-00-00 00:00:00         |2005-06-10 20:22:49
               date|                            |


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=22005

[Bug c++/22005] [4.1 Regression] ICE: SSA_NAME verification failure

[kreckel at ginac dot de]

------- Additional Comments From kreckel at ginac dot de  2005-06-10 22:10 -------
(In reply to comment #5)
> Note this code really contains some invalid inline-asm:
> __asm__("jmp " "" "cl_module__cl_prin_globals__ctorend");
> 
> __asm__ ("\n" "" "cl_module__" "cl_prin_globals" "__dtorend" ":");

Though unrelated: What exactly is invalid here?


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=22005

[Bug c++/22005] [4.1 Regression] ICE: SSA_NAME verification failure

[dberlin at dberlin dot org]

------- Additional Comments From dberlin at gcc dot gnu dot org  2005-06-10 22:13 -------
Subject: Re:  [4.1 Regression] ICE: SSA_NAME verification
	failure

On Fri, 2005-06-10 at 22:10 +0000, kreckel at ginac dot de wrote:
> ------- Additional Comments From kreckel at ginac dot de  2005-06-10 22:10 -------
> (In reply to comment #5)
> > Note this code really contains some invalid inline-asm:
> > __asm__("jmp " "" "cl_module__cl_prin_globals__ctorend");
> > 
> > __asm__ ("\n" "" "cl_module__" "cl_prin_globals" "__dtorend" ":");
> 
> Though unrelated: What exactly is invalid here?

for starters, altering control flow through an asm statement is
explicitly not allowed.

> 
> 



-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=22005

[Bug c++/22005] [4.1 Regression] ICE: SSA_NAME verification failure

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-06-10 22:12 -------
(In reply to comment #7)
> Though unrelated: What exactly is invalid here?
You are jumping out of an asm which is invalid as there is no way for GCC to know that.
Also the label in the function gives GCC no way to know that you are jumping into that function.

-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=22005

[Bug c++/22005] [4.1 Regression] ICE: SSA_NAME verification failure

[cvs-commit at gcc dot gnu dot org]

------- Additional Comments From cvs-commit at gcc dot gnu dot org  2005-06-12 03:19 -------
Subject: Bug 22005

CVSROOT:	/cvs/gcc
Module name:	gcc
Changes by:	dberlin@gcc.gnu.org	2005-06-12 03:19:26

Modified files:
	gcc            : ChangeLog tree-ssa-structalias.c 
Added files:
	gcc/testsuite/g++.dg/tree-ssa: pr22005.C 

Log message:
	2005-06-11  Daniel Berlin  <dberlin@dberlin.org>
	
	Fix PR tree-optimization/22005
	Fix PR tree-optimization/22025
	
	* tree-ssa-structalias.c (struct variable_info): Add has_union
	member.
	(create_variable_info_for):  Mark variables containing unions.
	Don't sort the field stack if notokay is true.
	(find_what_p_points_to): Convert variables containing unions back
	to their SFT's if necessary.

Patches:
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/ChangeLog.diff?cvsroot=gcc&r1=2.9127&r2=2.9128
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/tree-ssa-structalias.c.diff?cvsroot=gcc&r1=2.1&r2=2.2
http://gcc.gnu.org/cgi-bin/cvsweb.cgi/gcc/gcc/testsuite/g++.dg/tree-ssa/pr22005.C.diff?cvsroot=gcc&r1=NONE&r2=1.1



-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=22005

[Bug c++/22005] [4.1 Regression] ICE: SSA_NAME verification failure

[pinskia at gcc dot gnu dot org]

------- Additional Comments From pinskia at gcc dot gnu dot org  2005-06-12 13:52 -------
Fixed.

-- 
           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
         Resolution|                            |FIXED


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=22005

[Bug c++/22005] [4.1 Regression] ICE: SSA_NAME verification failure

[Ralf dot Wildenhues at gmx dot de]

------- Additional Comments From Ralf dot Wildenhues at gmx dot de  2005-06-20 09:38 -------
Thanks a lot for fixing this so promptly.  I can confirm that the code which
triggered this compiles now and seems to be working fine again with CVS HEAD.

(BTW, even with its share of bugs, CLN might be a candidate for g++ regression
testing -- it has uncovered a handful of GCC (and some CLN) bugs over time.
Just a thought.)

-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=22005

[Bug c++/22005] [4.1 Regression] ICE: SSA_NAME verification failure

[kreckel at ginac dot de]

------- Additional Comments From kreckel at ginac dot de  2005-06-20 19:13 -------
Subject: Re:  [4.1 Regression] ICE: SSA_NAME verification
 failure

On 20 Jun 2005, Ralf dot Wildenhues at gmx dot de wrote:
> (BTW, even with its share of bugs, CLN might be a candidate for g++ regression
> testing -- it has uncovered a handful of GCC (and some CLN) bugs over time.
> Just a thought.)

Bruno hat einmal erwaehnt, dass CLN tatsaechlich fuer Regressionstests
hergehalten hat, damals, als der EGCS noch von Cygnus vorangetrieben
worden ist.  Mal gucken, ob jemand auf Deinen Vorschlag reagiert.  Und
danke vielmals fuer die Muehe!

Gruss
  -richy.


-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=22005

[Bug c++/22005] [4.1 Regression] ICE: SSA_NAME verification failure

[kreckel at ginac dot de]

------- Additional Comments From kreckel at ginac dot de  2005-06-20 22:16 -------
Subject: Re:  [4.1 Regression] ICE: SSA_NAME verification
 failure

On Mon, 20 Jun 2005, Richard B. Kreckel wrote:
> On 20 Jun 2005, Ralf dot Wildenhues at gmx dot de wrote:
> > (BTW, even with its share of bugs, CLN might be a candidate for g++ regression
> > testing -- it has uncovered a handful of GCC (and some CLN) bugs over time.
> > Just a thought.)
>
> Bruno hat einmal erwaehnt, dass CLN tatsaechlich fuer Regressionstests
> hergehalten hat, damals, als der EGCS noch von Cygnus vorangetrieben
> worden ist.  Mal gucken, ob jemand auf Deinen Vorschlag reagiert.  Und
> danke vielmals fuer die Muehe!

Erhem....

I was saying that I'm under the impression that CLN used to be a part of
the regression tests.  Sorry for the German.

The To:-line says "Ralf.Wildenhues@gmx.de" <gcc-bugzilla@gcc.gnu.org>
which happens when I try to reply privately.  Silly Bugzilla.



-- 


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=22005