public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug middle-end/18237] New: [4.0 regression] tree check: expected ssa_name, have var_decl in verify_ssa
@ 2004-10-30 21:13 schwab at suse dot de
2004-10-30 22:26 ` [Bug middle-end/18237] " pinskia at gcc dot gnu dot org
` (13 more replies)
0 siblings, 14 replies; 15+ messages in thread
From: schwab at suse dot de @ 2004-10-30 21:13 UTC (permalink / raw)
To: gcc-bugs
This happens while building the Ada tools on powerpc:
../../xgcc -c -I./ -I../rts -I. -I/home/andreas/src/gcc/gcc/gcc/ada -B../../
-O2 -O2 -g -gnatpg -gnata -I- /home/andreas/src/gcc/gcc/gcc/ada/makegpr.adb
+===========================GNAT BUG DETECTED==============================+
| 4.0.0 20041030 (experimental) (powerpc-unknown-linux-gnu) GCC error: |
| tree check: expected ssa_name, have var_decl in verify_ssa, at |
| tree-ssa.c:697 |
| Error detected at makegpr.adb:4153:23 |
--
Summary: [4.0 regression] tree check: expected ssa_name, have
var_decl in verify_ssa
Product: gcc
Version: 4.0.0
Status: UNCONFIRMED
Keywords: ice-on-valid-code
Severity: critical
Priority: P2
Component: middle-end
AssignedTo: unassigned at gcc dot gnu dot org
ReportedBy: schwab at suse dot de
CC: gcc-bugs at gcc dot gnu dot org
GCC target triplet: powerpc-*-linux
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18237
^ permalink raw reply [flat|nested] 15+ messages in thread
* [Bug middle-end/18237] [4.0 regression] tree check: expected ssa_name, have var_decl in verify_ssa
2004-10-30 21:13 [Bug middle-end/18237] New: [4.0 regression] tree check: expected ssa_name, have var_decl in verify_ssa schwab at suse dot de
@ 2004-10-30 22:26 ` pinskia at gcc dot gnu dot org
2004-10-31 14:27 ` pinskia at gcc dot gnu dot org
` (12 subsequent siblings)
13 siblings, 0 replies; 15+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2004-10-30 22:26 UTC (permalink / raw)
To: gcc-bugs
--
What |Removed |Added
----------------------------------------------------------------------------
Target Milestone|--- |4.0.0
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18237
^ permalink raw reply [flat|nested] 15+ messages in thread
* [Bug middle-end/18237] [4.0 regression] tree check: expected ssa_name, have var_decl in verify_ssa
2004-10-30 21:13 [Bug middle-end/18237] New: [4.0 regression] tree check: expected ssa_name, have var_decl in verify_ssa schwab at suse dot de
2004-10-30 22:26 ` [Bug middle-end/18237] " pinskia at gcc dot gnu dot org
@ 2004-10-31 14:27 ` pinskia at gcc dot gnu dot org
2004-10-31 14:38 ` pinskia at gcc dot gnu dot org
` (11 subsequent siblings)
13 siblings, 0 replies; 15+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2004-10-31 14:27 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From pinskia at gcc dot gnu dot org 2004-10-31 14:27 -------
*** Bug 18247 has been marked as a duplicate of this bug. ***
--
What |Removed |Added
----------------------------------------------------------------------------
CC| |debian-gcc at lists dot
| |debian dot org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18237
^ permalink raw reply [flat|nested] 15+ messages in thread
* [Bug middle-end/18237] [4.0 regression] tree check: expected ssa_name, have var_decl in verify_ssa
2004-10-30 21:13 [Bug middle-end/18237] New: [4.0 regression] tree check: expected ssa_name, have var_decl in verify_ssa schwab at suse dot de
2004-10-30 22:26 ` [Bug middle-end/18237] " pinskia at gcc dot gnu dot org
2004-10-31 14:27 ` pinskia at gcc dot gnu dot org
@ 2004-10-31 14:38 ` pinskia at gcc dot gnu dot org
2004-11-01 14:09 ` [Bug tree-optimization/18237] " pinskia at gcc dot gnu dot org
` (10 subsequent siblings)
13 siblings, 0 replies; 15+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2004-10-31 14:38 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From pinskia at gcc dot gnu dot org 2004-10-31 14:38 -------
Confirmed, via the other bug.
--
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |NEW
Ever Confirmed| |1
Last reconfirmed|0000-00-00 00:00:00 |2004-10-31 14:38:34
date| |
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18237
^ permalink raw reply [flat|nested] 15+ messages in thread
* [Bug tree-optimization/18237] [4.0 regression] tree check: expected ssa_name, have var_decl in verify_ssa
2004-10-30 21:13 [Bug middle-end/18237] New: [4.0 regression] tree check: expected ssa_name, have var_decl in verify_ssa schwab at suse dot de
` (2 preceding siblings ...)
2004-10-31 14:38 ` pinskia at gcc dot gnu dot org
@ 2004-11-01 14:09 ` pinskia at gcc dot gnu dot org
2004-11-01 14:29 ` 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 @ 2004-11-01 14:09 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From pinskia at gcc dot gnu dot org 2004-11-01 14:09 -------
I can also confirm it on powerpc-darwin (my build does not get this far yet, I have to try to reproduce it
with the command below).
--
What |Removed |Added
----------------------------------------------------------------------------
GCC target triplet|powerpc-*-linux |powerpc-*-linux, powerpc-
| |darwin
Summary|[4.0 regression] tree check:|[4.0 regression] tree
|expected ssa_name, have |check: expected ssa_name,
|var_decl in verify_ssa |have var_decl in verify_ssa
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18237
^ permalink raw reply [flat|nested] 15+ messages in thread
* [Bug tree-optimization/18237] [4.0 regression] tree check: expected ssa_name, have var_decl in verify_ssa
2004-10-30 21:13 [Bug middle-end/18237] New: [4.0 regression] tree check: expected ssa_name, have var_decl in verify_ssa schwab at suse dot de
` (3 preceding siblings ...)
2004-11-01 14:09 ` [Bug tree-optimization/18237] " pinskia at gcc dot gnu dot org
@ 2004-11-01 14:29 ` pinskia at gcc dot gnu dot org
2004-11-01 15:57 ` 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 @ 2004-11-01 14:29 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From pinskia at gcc dot gnu dot org 2004-11-01 14:28 -------
We are adding a VUSE which has a VAR_DECL and not a SSA_NAME. This is after 32.redphi2.
--
What |Removed |Added
----------------------------------------------------------------------------
CC| |dberlin at gcc dot gnu dot
| |org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18237
^ permalink raw reply [flat|nested] 15+ messages in thread
* [Bug tree-optimization/18237] [4.0 regression] tree check: expected ssa_name, have var_decl in verify_ssa
2004-10-30 21:13 [Bug middle-end/18237] New: [4.0 regression] tree check: expected ssa_name, have var_decl in verify_ssa schwab at suse dot de
` (4 preceding siblings ...)
2004-11-01 14:29 ` pinskia at gcc dot gnu dot org
@ 2004-11-01 15:57 ` pinskia at gcc dot gnu dot org
2004-11-01 16:01 ` dberlin at dberlin dot org
` (7 subsequent siblings)
13 siblings, 0 replies; 15+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2004-11-01 15:57 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From pinskia at gcc dot gnu dot org 2004-11-01 15:57 -------
Actually adding a vuse without a SSA_NAME is fine but not renaming it is the problem.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18237
^ permalink raw reply [flat|nested] 15+ messages in thread
* [Bug tree-optimization/18237] [4.0 regression] tree check: expected ssa_name, have var_decl in verify_ssa
2004-10-30 21:13 [Bug middle-end/18237] New: [4.0 regression] tree check: expected ssa_name, have var_decl in verify_ssa schwab at suse dot de
` (5 preceding siblings ...)
2004-11-01 15:57 ` pinskia at gcc dot gnu dot org
@ 2004-11-01 16:01 ` dberlin at dberlin dot org
2004-11-23 13:58 ` pinskia at gcc dot gnu dot org
` (6 subsequent siblings)
13 siblings, 0 replies; 15+ messages in thread
From: dberlin at dberlin dot org @ 2004-11-01 16:01 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From dberlin at dberlin dot org 2004-11-01 16:01 -------
Subject: Re: [4.0 regression] tree check:
expected ssa_name, have var_decl in verify_ssa
On Mon, 1 Nov 2004, pinskia at gcc dot gnu dot org wrote:
>
> ------- Additional Comments From pinskia at gcc dot gnu dot org 2004-11-01 14:28 -------
> We are adding a VUSE which has a VAR_DECL and not a SSA_NAME. This is after 32.redphi2.
>
This occurs if you screw the vuses.
just add mark_new_variables_for_renaming when you modify the statement,
and TODO_rename_vars to the pass todo flags, and it'll DTRT.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18237
^ permalink raw reply [flat|nested] 15+ messages in thread
* [Bug tree-optimization/18237] [4.0 regression] tree check: expected ssa_name, have var_decl in verify_ssa
2004-10-30 21:13 [Bug middle-end/18237] New: [4.0 regression] tree check: expected ssa_name, have var_decl in verify_ssa schwab at suse dot de
` (6 preceding siblings ...)
2004-11-01 16:01 ` dberlin at dberlin dot org
@ 2004-11-23 13:58 ` pinskia at gcc dot gnu dot org
2004-11-24 20:16 ` debian-gcc at lists dot debian dot org
` (5 subsequent siblings)
13 siblings, 0 replies; 15+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2004-11-23 13:58 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From pinskia at gcc dot gnu dot org 2004-11-23 13:58 -------
I think Ada is now bootstrapping on ppc (because of my patch for PR 18572) but I see this ICE when
running the acats testsuite.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18237
^ permalink raw reply [flat|nested] 15+ messages in thread
* [Bug tree-optimization/18237] [4.0 regression] tree check: expected ssa_name, have var_decl in verify_ssa
2004-10-30 21:13 [Bug middle-end/18237] New: [4.0 regression] tree check: expected ssa_name, have var_decl in verify_ssa schwab at suse dot de
` (7 preceding siblings ...)
2004-11-23 13:58 ` pinskia at gcc dot gnu dot org
@ 2004-11-24 20:16 ` debian-gcc at lists dot debian dot org
2004-11-24 20:22 ` [Bug rtl-optimization/18237] [4.0 regression] ICE in gen_lowpart_general, at rtlhooks.c:58 pinskia at gcc dot gnu dot org
` (4 subsequent siblings)
13 siblings, 0 replies; 15+ messages in thread
From: debian-gcc at lists dot debian dot org @ 2004-11-24 20:16 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From debian-gcc at lists dot debian dot org 2004-11-24 20:16 -------
still seeing the ICE with 20041124 on powerpc-linux:
Matthias
[...]
../../xgcc -B../../ -c -g -O2 -fPIC -W -Wall -gnatpg s-stratt.adb -o
s-stratt.o
+===========================GNAT BUG DETECTED==============================+
| 4.0.0 20041124 (experimental) (powerpc-unknown-linux-gnu) GCC error: |
| in gen_lowpart_general, at rtlhooks.c:58 |
| Error detected at s-stratt.adb:671:1 |
| Please submit a bug report; see http://gcc.gnu.org/bugs.html. |
| Include the entire contents of this bug box in the report. |
| Include the exact gcc or gnatmake command that you entered. |
| Also include sources listed below in gnatchop format |
| (concatenated together with no headers between files). |
+==========================================================================+
Please include these source files with error report
Note that list may not be accurate in some cases,
so please double check that the problem can still
be reproduced with the set of files listed.
raised TYPES.UNRECOVERABLE_ERROR : comperr.adb:376
make[7]: *** [s-stratt.o] Error 1
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18237
^ permalink raw reply [flat|nested] 15+ messages in thread
* [Bug rtl-optimization/18237] [4.0 regression] ICE in gen_lowpart_general, at rtlhooks.c:58
2004-10-30 21:13 [Bug middle-end/18237] New: [4.0 regression] tree check: expected ssa_name, have var_decl in verify_ssa schwab at suse dot de
` (8 preceding siblings ...)
2004-11-24 20:16 ` debian-gcc at lists dot debian dot org
@ 2004-11-24 20:22 ` pinskia at gcc dot gnu dot org
2004-11-25 5:14 ` pinskia at gcc dot gnu dot org
` (3 subsequent siblings)
13 siblings, 0 replies; 15+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2004-11-24 20:22 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From pinskia at gcc dot gnu dot org 2004-11-24 20:21 -------
in gen_lowpart_general, at rtlhooks.c:58
is a diffrent failure which might have been introduced between the time James and I tried to bootstrap.
And now the problem is an rtl problem.
--
What |Removed |Added
----------------------------------------------------------------------------
Component|tree-optimization |rtl-optimization
Keywords| |build
Summary|[4.0 regression] tree |[4.0 regression] ICE in
|check: expected ssa_name, |gen_lowpart_general, at
|have var_decl in verify_ssa |rtlhooks.c:58
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18237
^ permalink raw reply [flat|nested] 15+ messages in thread
* [Bug rtl-optimization/18237] [4.0 regression] ICE in gen_lowpart_general, at rtlhooks.c:58
2004-10-30 21:13 [Bug middle-end/18237] New: [4.0 regression] tree check: expected ssa_name, have var_decl in verify_ssa schwab at suse dot de
` (9 preceding siblings ...)
2004-11-24 20:22 ` [Bug rtl-optimization/18237] [4.0 regression] ICE in gen_lowpart_general, at rtlhooks.c:58 pinskia at gcc dot gnu dot org
@ 2004-11-25 5:14 ` pinskia at gcc dot gnu dot org
2004-11-25 7:38 ` rth at gcc dot gnu dot org
` (2 subsequent siblings)
13 siblings, 0 replies; 15+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2004-11-25 5:14 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From pinskia at gcc dot gnu dot org 2004-11-25 05:13 -------
RTH, I think this regression is caused by one of your recent patches for subregisters.
--
What |Removed |Added
----------------------------------------------------------------------------
CC| |rth at gcc dot gnu dot org
GCC target triplet|powerpc-*-linux, powerpc- |
|darwin |
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18237
^ permalink raw reply [flat|nested] 15+ messages in thread
* [Bug rtl-optimization/18237] [4.0 regression] ICE in gen_lowpart_general, at rtlhooks.c:58
2004-10-30 21:13 [Bug middle-end/18237] New: [4.0 regression] tree check: expected ssa_name, have var_decl in verify_ssa schwab at suse dot de
` (10 preceding siblings ...)
2004-11-25 5:14 ` pinskia at gcc dot gnu dot org
@ 2004-11-25 7:38 ` rth at gcc dot gnu dot org
2004-11-25 8:04 ` rth at gcc dot gnu dot org
2004-11-26 23:13 ` pinskia at gcc dot gnu dot org
13 siblings, 0 replies; 15+ messages in thread
From: rth at gcc dot gnu dot org @ 2004-11-25 7:38 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From rth at gcc dot gnu dot org 2004-11-25 07:38 -------
You *do* realize that the current problem has absolutely nothing to do with
the original report, don't you? You *do* realize that rewriting a PR like
this is pointless, and you should file a *new* PR to cover the new problem,
don't you?
I'll look at it.
--
What |Removed |Added
----------------------------------------------------------------------------
AssignedTo|unassigned at gcc dot gnu |rth at gcc dot gnu dot org
|dot org |
Status|NEW |ASSIGNED
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18237
^ permalink raw reply [flat|nested] 15+ messages in thread
* [Bug rtl-optimization/18237] [4.0 regression] ICE in gen_lowpart_general, at rtlhooks.c:58
2004-10-30 21:13 [Bug middle-end/18237] New: [4.0 regression] tree check: expected ssa_name, have var_decl in verify_ssa schwab at suse dot de
` (11 preceding siblings ...)
2004-11-25 7:38 ` rth at gcc dot gnu dot org
@ 2004-11-25 8:04 ` rth at gcc dot gnu dot org
2004-11-26 23:13 ` pinskia at gcc dot gnu dot org
13 siblings, 0 replies; 15+ messages in thread
From: rth at gcc dot gnu dot org @ 2004-11-25 8:04 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From rth at gcc dot gnu dot org 2004-11-25 08:03 -------
I don't replicate it. That is, I don't even get gnat1 built at present.
--
What |Removed |Added
----------------------------------------------------------------------------
AssignedTo|rth at gcc dot gnu dot org |unassigned at gcc dot gnu
| |dot org
Status|ASSIGNED |NEW
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18237
^ permalink raw reply [flat|nested] 15+ messages in thread
* [Bug rtl-optimization/18237] [4.0 regression] ICE in gen_lowpart_general, at rtlhooks.c:58
2004-10-30 21:13 [Bug middle-end/18237] New: [4.0 regression] tree check: expected ssa_name, have var_decl in verify_ssa schwab at suse dot de
` (12 preceding siblings ...)
2004-11-25 8:04 ` rth at gcc dot gnu dot org
@ 2004-11-26 23:13 ` pinskia at gcc dot gnu dot org
13 siblings, 0 replies; 15+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2004-11-26 23:13 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From pinskia at gcc dot gnu dot org 2004-11-26 23:12 -------
The orginal bug was fixed by my patch and the new bug was filed under PR 18685.
--
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |RESOLVED
Resolution| |FIXED
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=18237
^ permalink raw reply [flat|nested] 15+ messages in thread
end of thread, other threads:[~2004-11-26 23:13 UTC | newest]
Thread overview: 15+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2004-10-30 21:13 [Bug middle-end/18237] New: [4.0 regression] tree check: expected ssa_name, have var_decl in verify_ssa schwab at suse dot de
2004-10-30 22:26 ` [Bug middle-end/18237] " pinskia at gcc dot gnu dot org
2004-10-31 14:27 ` pinskia at gcc dot gnu dot org
2004-10-31 14:38 ` pinskia at gcc dot gnu dot org
2004-11-01 14:09 ` [Bug tree-optimization/18237] " pinskia at gcc dot gnu dot org
2004-11-01 14:29 ` pinskia at gcc dot gnu dot org
2004-11-01 15:57 ` pinskia at gcc dot gnu dot org
2004-11-01 16:01 ` dberlin at dberlin dot org
2004-11-23 13:58 ` pinskia at gcc dot gnu dot org
2004-11-24 20:16 ` debian-gcc at lists dot debian dot org
2004-11-24 20:22 ` [Bug rtl-optimization/18237] [4.0 regression] ICE in gen_lowpart_general, at rtlhooks.c:58 pinskia at gcc dot gnu dot org
2004-11-25 5:14 ` pinskia at gcc dot gnu dot org
2004-11-25 7:38 ` rth at gcc dot gnu dot org
2004-11-25 8:04 ` rth at gcc dot gnu dot org
2004-11-26 23:13 ` 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).