public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug ada/19237] New: ICE on legal (?) code: with type ... is access + variable of the access type
@ 2005-01-03 9:20 baldrick at free dot fr
2005-01-03 9:29 ` [Bug ada/19237] " charlet at gcc dot gnu dot org
` (4 more replies)
0 siblings, 5 replies; 6+ messages in thread
From: baldrick at free dot fr @ 2005-01-03 9:20 UTC (permalink / raw)
To: gcc-bugs
This affects gnat 3.15p, gcc at the pre-ssa tag, and latest gcc from CVS.
> gcc -c -gnatX w.adb
+===========================GNAT BUG DETECTED==============================+
| 3.5.0 20040512 (experimental) (i686-pc-linux-gnu) Storage_Error stack
overflow (or erroneous memory access)|
| Error detected at system.ads:150:5 |
| 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.
w.adb
w.ads
x.ads
compilation abandoned
---chop here---
with type X.X_Access is access;
package W is
pragma Elaborate_Body;
type W_Type is null record;
An_X : X.X_Access;
end W;
with X;
package body W is end;
with W;
package X is
type X_Type is record
A_W : W.W_Type;
end record;
type X_Access is access all X_Type;
end X;
--
Summary: ICE on legal (?) code: with type ... is access +
variable of the access type
Product: gcc
Version: tree-ssa
Status: UNCONFIRMED
Severity: normal
Priority: P2
Component: ada
AssignedTo: unassigned at gcc dot gnu dot org
ReportedBy: baldrick at free dot fr
CC: gcc-bugs at gcc dot gnu dot org
GCC build triplet: i686-pc-linux-gnu
GCC host triplet: i686-pc-linux-gnu
GCC target triplet: i686-pc-linux-gnu
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=19237
^ permalink raw reply [flat|nested] 6+ messages in thread
* [Bug ada/19237] ICE on legal (?) code: with type ... is access + variable of the access type
2005-01-03 9:20 [Bug ada/19237] New: ICE on legal (?) code: with type ... is access + variable of the access type baldrick at free dot fr
@ 2005-01-03 9:29 ` charlet at gcc dot gnu dot org
2005-01-03 10:07 ` baldrick at free dot fr
` (3 subsequent siblings)
4 siblings, 0 replies; 6+ messages in thread
From: charlet at gcc dot gnu dot org @ 2005-01-03 9:29 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From charlet at gcc dot gnu dot org 2005-01-03 09:29 -------
with type is an obsolete construct, which is replaced by "limited with" in
Ada 05, and already supported by GNAT.
At some point with type will be retired, so no bugs on this feature will
be fixed.
Arno
--
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |RESOLVED
Resolution| |WONTFIX
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=19237
^ permalink raw reply [flat|nested] 6+ messages in thread
* [Bug ada/19237] ICE on legal (?) code: with type ... is access + variable of the access type
2005-01-03 9:20 [Bug ada/19237] New: ICE on legal (?) code: with type ... is access + variable of the access type baldrick at free dot fr
2005-01-03 9:29 ` [Bug ada/19237] " charlet at gcc dot gnu dot org
@ 2005-01-03 10:07 ` baldrick at free dot fr
2005-01-03 14:57 ` pinskia at gcc dot gnu dot org
` (2 subsequent siblings)
4 siblings, 0 replies; 6+ messages in thread
From: baldrick at free dot fr @ 2005-01-03 10:07 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From baldrick at free dot fr 2005-01-03 10:07 -------
Subject: Re: ICE on legal (?) code: with type ... is access + variable of the access type
> with type is an obsolete construct, which is replaced by "limited with" in
> Ada 05, and already supported by GNAT.
>
> At some point with type will be retired, so no bugs on this feature will
> be fixed.
Hi Arno, fair enough. The funny thing is: the reason I tried "with type" was because
my attempt to use "limited with"... caused an ICE! So expect a new bug report soon :)
Duncan.
--
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=19237
^ permalink raw reply [flat|nested] 6+ messages in thread
* [Bug ada/19237] ICE on legal (?) code: with type ... is access + variable of the access type
2005-01-03 9:20 [Bug ada/19237] New: ICE on legal (?) code: with type ... is access + variable of the access type baldrick at free dot fr
2005-01-03 9:29 ` [Bug ada/19237] " charlet at gcc dot gnu dot org
2005-01-03 10:07 ` baldrick at free dot fr
@ 2005-01-03 14:57 ` pinskia at gcc dot gnu dot org
2005-01-03 14:58 ` pinskia at gcc dot gnu dot org
2005-01-03 14:59 ` pinskia at gcc dot gnu dot org
4 siblings, 0 replies; 6+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2005-01-03 14:57 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From pinskia at gcc dot gnu dot org 2005-01-03 14:56 -------
But since this is an ICE, this has to be only marked as will not fix when the feature is removed, not
sooner.
--
What |Removed |Added
----------------------------------------------------------------------------
Status|RESOLVED |UNCONFIRMED
Resolution|WONTFIX |
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=19237
^ permalink raw reply [flat|nested] 6+ messages in thread
* [Bug ada/19237] ICE on legal (?) code: with type ... is access + variable of the access type
2005-01-03 9:20 [Bug ada/19237] New: ICE on legal (?) code: with type ... is access + variable of the access type baldrick at free dot fr
` (2 preceding siblings ...)
2005-01-03 14:57 ` pinskia at gcc dot gnu dot org
@ 2005-01-03 14:58 ` pinskia at gcc dot gnu dot org
2005-01-03 14:59 ` pinskia at gcc dot gnu dot org
4 siblings, 0 replies; 6+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2005-01-03 14:58 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From pinskia at gcc dot gnu dot org 2005-01-03 14:58 -------
Confirmed, to mark as suspended as ...
--
What |Removed |Added
----------------------------------------------------------------------------
Severity|normal |minor
Status|UNCONFIRMED |NEW
Ever Confirmed| |1
Keywords| |ice-on-invalid-code
Last reconfirmed|0000-00-00 00:00:00 |2005-01-03 14:58:47
date| |
Version|tree-ssa |4.0.0
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=19237
^ permalink raw reply [flat|nested] 6+ messages in thread
* [Bug ada/19237] ICE on legal (?) code: with type ... is access + variable of the access type
2005-01-03 9:20 [Bug ada/19237] New: ICE on legal (?) code: with type ... is access + variable of the access type baldrick at free dot fr
` (3 preceding siblings ...)
2005-01-03 14:58 ` pinskia at gcc dot gnu dot org
@ 2005-01-03 14:59 ` pinskia at gcc dot gnu dot org
4 siblings, 0 replies; 6+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2005-01-03 14:59 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From pinskia at gcc dot gnu dot org 2005-01-03 14:59 -------
The feature is going to be removed.
--
What |Removed |Added
----------------------------------------------------------------------------
Status|NEW |SUSPENDED
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=19237
^ permalink raw reply [flat|nested] 6+ messages in thread
end of thread, other threads:[~2005-01-03 14:59 UTC | newest]
Thread overview: 6+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2005-01-03 9:20 [Bug ada/19237] New: ICE on legal (?) code: with type ... is access + variable of the access type baldrick at free dot fr
2005-01-03 9:29 ` [Bug ada/19237] " charlet at gcc dot gnu dot org
2005-01-03 10:07 ` baldrick at free dot fr
2005-01-03 14:57 ` pinskia at gcc dot gnu dot org
2005-01-03 14:58 ` pinskia at gcc dot gnu dot org
2005-01-03 14:59 ` 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).