[Bug ada/19237] New: ICE on legal (?) code: with type ... is access + variable of the access type

[Bug ada/19237] New: ICE on legal (?) code: with type ... is access + variable of the access type

[baldrick at free dot fr]

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

[Bug ada/19237] ICE on legal (?) code: with type ... is access + variable of the access type

[charlet at gcc dot gnu dot org]

------- 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

[Bug ada/19237] ICE on legal (?) code: with type ... is access + variable of the access type

[baldrick at free dot fr]

------- 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

[Bug ada/19237] ICE on legal (?) code: with type ... is access + variable of the access type

[pinskia at gcc dot gnu dot org]

------- 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

[Bug ada/19237] ICE on legal (?) code: with type ... is access + variable of the access type

[pinskia at gcc dot gnu dot org]

------- 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

[Bug ada/19237] ICE on legal (?) code: with type ... is access + variable of the access type

[pinskia at gcc dot gnu dot org]

------- 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

[Bug ada/19237] ICE on legal (?) code: with type ... is access + variable of the access type

[charlet at gcc dot gnu dot org]

------- Comment #7 from charlet at gcc dot gnu dot org  2007-04-30 10:33 -------
Now properly flagged ads:

$ gcc -c w.adb
w.ads:1:01: "with type" is an obsolete GNAT extension
w.ads:1:01: use Ada 2005 "limited with" clause instead

So closing.


-- 

charlet at gcc dot gnu dot org changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|SUSPENDED                   |RESOLVED
         Resolution|                            |FIXED
   Target Milestone|---                         |4.3.0


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

[Bug ada/19237] ICE on legal (?) code: with type ... is access + variable of the access type

[baldrick at free dot fr]

------- Comment #6 from baldrick at free dot fr  2005-10-03 08:54 -------
Subject: Re:  ICE on legal (?) code: with type ... is access + variable of the
access type

"with type" is a GNAT extension that has been superseded by the
"limited with" clause introduced in the new Ada 0Y language revision.
I was told by ACT that they will no longer be fixing "with type" bugs,
since it is now deprecated (which seems reasonable to me).  Thus I
think that the status of this bug should be changed to "wont fix"
(I tried to do it, but gcc bugzilla is being annoying this morning).

Duncan.


-- 


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