From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-0.3 required=5.0 tests=BAYES_00,
	REPLYTO_WITHOUT_TO_CC autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,4f40de4bb311cbe6,start
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 2003-07-16 06:02:11 PST
Path: 
 archiver1.google.com!news1.google.com!newsfeed.stanford.edu!logbridge.uoregon.edu!newsfeed.icl.net!newsfeed.fjserv.net!feed.news.nacamar.de!news.belwue.de!news.uni-stuttgart.de!uniol!news
From: Timo Warns <timow@nwn.de>
Newsgroups: comp.lang.ada
Subject: Gnat Bug detected?
Date: 16 Jul 2003 12:57:40 GMT
Organization: C. v. Ossietzky Universitaet Oldenburg - Fachbereich Informatik
Message-ID: <bf3i44$f4n@news.Informatik.Uni-Oldenburg.DE>
Reply-To: timow@nwn.de
NNTP-Posting-Host: orkan.informatik.uni-oldenburg.de
User-Agent: slrn/0.9.7.3 (SunOS)
Xref: archiver1.google.com comp.lang.ada:40336
Date: 2003-07-16T12:57:40+00:00
List-Id: <comp.lang.ada>

Can someone confirm following bug?


--------- test.ads --------- 

with System.Storage_Elements; use System.Storage_Elements;
package Test is
    type A is
	record
	    I: Integer;
	end record;
    B: A;
    J: Integer renames B.I;
    for J'Address use To_Address(0);
end Test;

--------------------------- 


GCC 3.2.2 gives:
| +===========================GNAT BUG DETECTED==============================+
| | 3.2.2 20030205 (release) (i686-pc-linux-gnu) Assert_Failure sinfo.adb:1041|
| | Error detected at test.ads:12:5                                          |
| [...]


Gnat 3.15p gives:
| +===========================GNAT BUG DETECTED==============================+
| | 3.15p  (20020523) (i686-pc-linux-gnu) Gigi abort, Code=401               |
| | Error detected at test.ads:12:34                                         |
| [...]


I don't have any other Ada compilers available. Perhaps this is fixed 
in GCC 3.3 or Gnat 3.16.