* [Bug c++/22005] ICE: SSA_NAME verification failure
2005-06-10 16:53 [Bug c++/22005] New: ICE: SSA_NAME verification failure Ralf dot Wildenhues at gmx dot de
@ 2005-06-10 16:54 ` Ralf dot Wildenhues at gmx dot de
2005-06-10 16:57 ` Ralf dot Wildenhues at gmx dot de
` (12 subsequent siblings)
13 siblings, 0 replies; 15+ messages in thread
From: Ralf dot Wildenhues at gmx dot de @ 2005-06-10 16:54 UTC (permalink / raw)
To: gcc-bugs
------- 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
^ permalink raw reply [flat|nested] 15+ messages in thread* [Bug c++/22005] ICE: SSA_NAME verification failure
2005-06-10 16:53 [Bug c++/22005] New: ICE: SSA_NAME verification failure Ralf dot Wildenhues at gmx dot de
2005-06-10 16:54 ` [Bug c++/22005] " Ralf dot Wildenhues at gmx dot de
@ 2005-06-10 16:57 ` Ralf dot Wildenhues at gmx dot de
2005-06-10 16:57 ` Ralf dot Wildenhues at gmx dot de
` (11 subsequent siblings)
13 siblings, 0 replies; 15+ messages in thread
From: Ralf dot Wildenhues at gmx dot de @ 2005-06-10 16:57 UTC (permalink / raw)
To: gcc-bugs
------- 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
^ permalink raw reply [flat|nested] 15+ messages in thread* [Bug c++/22005] ICE: SSA_NAME verification failure
2005-06-10 16:53 [Bug c++/22005] New: ICE: SSA_NAME verification failure Ralf dot Wildenhues at gmx dot de
2005-06-10 16:54 ` [Bug c++/22005] " Ralf dot Wildenhues at gmx dot de
2005-06-10 16:57 ` Ralf dot Wildenhues at gmx dot de
@ 2005-06-10 16:57 ` Ralf dot Wildenhues at gmx dot de
2005-06-10 18:51 ` [Bug c++/22005] [4.1 Regression] " pinskia at gcc dot gnu dot org
` (10 subsequent siblings)
13 siblings, 0 replies; 15+ messages in thread
From: Ralf dot Wildenhues at gmx dot de @ 2005-06-10 16:57 UTC (permalink / raw)
To: gcc-bugs
------- 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
^ permalink raw reply [flat|nested] 15+ messages in thread* [Bug c++/22005] [4.1 Regression] ICE: SSA_NAME verification failure
2005-06-10 16:53 [Bug c++/22005] New: ICE: SSA_NAME verification failure Ralf dot Wildenhues at gmx dot de
` (2 preceding siblings ...)
2005-06-10 16:57 ` Ralf dot Wildenhues at gmx dot de
@ 2005-06-10 18:51 ` pinskia at gcc dot gnu dot org
2005-06-10 19:49 ` pinskia at gcc dot gnu dot org
` (9 subsequent siblings)
13 siblings, 0 replies; 15+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2005-06-10 18:51 UTC (permalink / raw)
To: gcc-bugs
------- 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
^ permalink raw reply [flat|nested] 15+ messages in thread* [Bug c++/22005] [4.1 Regression] ICE: SSA_NAME verification failure
2005-06-10 16:53 [Bug c++/22005] New: ICE: SSA_NAME verification failure Ralf dot Wildenhues at gmx dot de
` (3 preceding siblings ...)
2005-06-10 18:51 ` [Bug c++/22005] [4.1 Regression] " pinskia at gcc dot gnu dot org
@ 2005-06-10 19:49 ` pinskia at gcc dot gnu dot org
2005-06-10 20:22 ` pinskia at gcc dot gnu dot org
` (8 subsequent siblings)
13 siblings, 0 replies; 15+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2005-06-10 19:49 UTC (permalink / raw)
To: gcc-bugs
------- 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
^ permalink raw reply [flat|nested] 15+ messages in thread* [Bug c++/22005] [4.1 Regression] ICE: SSA_NAME verification failure
2005-06-10 16:53 [Bug c++/22005] New: ICE: SSA_NAME verification failure Ralf dot Wildenhues at gmx dot de
` (4 preceding siblings ...)
2005-06-10 19:49 ` pinskia at gcc dot gnu dot org
@ 2005-06-10 20:22 ` pinskia at gcc dot gnu dot org
2005-06-10 22:10 ` kreckel at ginac dot de
` (7 subsequent siblings)
13 siblings, 0 replies; 15+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2005-06-10 20:22 UTC (permalink / raw)
To: gcc-bugs
------- 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
^ permalink raw reply [flat|nested] 15+ messages in thread* [Bug c++/22005] [4.1 Regression] ICE: SSA_NAME verification failure
2005-06-10 16:53 [Bug c++/22005] New: ICE: SSA_NAME verification failure Ralf dot Wildenhues at gmx dot de
` (5 preceding siblings ...)
2005-06-10 20:22 ` pinskia at gcc dot gnu dot org
@ 2005-06-10 22:10 ` kreckel at ginac dot de
2005-06-10 22:13 ` pinskia at gcc dot gnu dot org
` (6 subsequent siblings)
13 siblings, 0 replies; 15+ messages in thread
From: kreckel at ginac dot de @ 2005-06-10 22:10 UTC (permalink / raw)
To: gcc-bugs
------- 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
^ permalink raw reply [flat|nested] 15+ messages in thread* [Bug c++/22005] [4.1 Regression] ICE: SSA_NAME verification failure
2005-06-10 16:53 [Bug c++/22005] New: ICE: SSA_NAME verification failure Ralf dot Wildenhues at gmx dot de
` (6 preceding siblings ...)
2005-06-10 22:10 ` kreckel at ginac dot de
@ 2005-06-10 22:13 ` pinskia at gcc dot gnu dot org
2005-06-10 22:13 ` dberlin at dberlin dot org
` (5 subsequent siblings)
13 siblings, 0 replies; 15+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2005-06-10 22:13 UTC (permalink / raw)
To: gcc-bugs
------- 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
^ permalink raw reply [flat|nested] 15+ messages in thread* [Bug c++/22005] [4.1 Regression] ICE: SSA_NAME verification failure
2005-06-10 16:53 [Bug c++/22005] New: ICE: SSA_NAME verification failure Ralf dot Wildenhues at gmx dot de
` (7 preceding siblings ...)
2005-06-10 22:13 ` pinskia at gcc dot gnu dot org
@ 2005-06-10 22:13 ` dberlin at dberlin dot org
2005-06-12 3:19 ` cvs-commit at gcc dot gnu dot org
` (4 subsequent siblings)
13 siblings, 0 replies; 15+ messages in thread
From: dberlin at dberlin dot org @ 2005-06-10 22:13 UTC (permalink / raw)
To: gcc-bugs
------- 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
^ permalink raw reply [flat|nested] 15+ messages in thread* [Bug c++/22005] [4.1 Regression] ICE: SSA_NAME verification failure
2005-06-10 16:53 [Bug c++/22005] New: ICE: SSA_NAME verification failure Ralf dot Wildenhues at gmx dot de
` (8 preceding siblings ...)
2005-06-10 22:13 ` dberlin at dberlin dot org
@ 2005-06-12 3:19 ` cvs-commit at gcc dot gnu dot org
2005-06-12 13:52 ` pinskia at gcc dot gnu dot org
` (3 subsequent siblings)
13 siblings, 0 replies; 15+ messages in thread
From: cvs-commit at gcc dot gnu dot org @ 2005-06-12 3:19 UTC (permalink / raw)
To: gcc-bugs
------- 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
^ permalink raw reply [flat|nested] 15+ messages in thread* [Bug c++/22005] [4.1 Regression] ICE: SSA_NAME verification failure
2005-06-10 16:53 [Bug c++/22005] New: ICE: SSA_NAME verification failure Ralf dot Wildenhues at gmx dot de
` (9 preceding siblings ...)
2005-06-12 3:19 ` cvs-commit at gcc dot gnu dot org
@ 2005-06-12 13:52 ` pinskia at gcc dot gnu dot org
2005-06-20 9:38 ` Ralf dot Wildenhues at gmx dot de
` (2 subsequent siblings)
13 siblings, 0 replies; 15+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2005-06-12 13:52 UTC (permalink / raw)
To: gcc-bugs
------- 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
^ permalink raw reply [flat|nested] 15+ messages in thread* [Bug c++/22005] [4.1 Regression] ICE: SSA_NAME verification failure
2005-06-10 16:53 [Bug c++/22005] New: ICE: SSA_NAME verification failure Ralf dot Wildenhues at gmx dot de
` (10 preceding siblings ...)
2005-06-12 13:52 ` pinskia at gcc dot gnu dot org
@ 2005-06-20 9:38 ` Ralf dot Wildenhues at gmx dot de
2005-06-20 19:13 ` kreckel at ginac dot de
2005-06-20 22:17 ` kreckel at ginac dot de
13 siblings, 0 replies; 15+ messages in thread
From: Ralf dot Wildenhues at gmx dot de @ 2005-06-20 9:38 UTC (permalink / raw)
To: gcc-bugs
------- 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
^ permalink raw reply [flat|nested] 15+ messages in thread* [Bug c++/22005] [4.1 Regression] ICE: SSA_NAME verification failure
2005-06-10 16:53 [Bug c++/22005] New: ICE: SSA_NAME verification failure Ralf dot Wildenhues at gmx dot de
` (11 preceding siblings ...)
2005-06-20 9:38 ` Ralf dot Wildenhues at gmx dot de
@ 2005-06-20 19:13 ` kreckel at ginac dot de
2005-06-20 22:17 ` kreckel at ginac dot de
13 siblings, 0 replies; 15+ messages in thread
From: kreckel at ginac dot de @ 2005-06-20 19:13 UTC (permalink / raw)
To: gcc-bugs
------- 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
^ permalink raw reply [flat|nested] 15+ messages in thread* [Bug c++/22005] [4.1 Regression] ICE: SSA_NAME verification failure
2005-06-10 16:53 [Bug c++/22005] New: ICE: SSA_NAME verification failure Ralf dot Wildenhues at gmx dot de
` (12 preceding siblings ...)
2005-06-20 19:13 ` kreckel at ginac dot de
@ 2005-06-20 22:17 ` kreckel at ginac dot de
13 siblings, 0 replies; 15+ messages in thread
From: kreckel at ginac dot de @ 2005-06-20 22:17 UTC (permalink / raw)
To: gcc-bugs
------- 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
^ permalink raw reply [flat|nested] 15+ messages in thread