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

Reply via email to