Gnat Bug detected?

Gnat Bug detected?

[Timo Warns]

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.

Re: Gnat Bug detected?

[Preben Randhol]

Timo Warns wrote:
> Can someone confirm following bug?

Same errors in 3.14p and 3.3

+===========================GNAT BUG DETECTED==============================+
| 3.3.1 20030626 (Debian prerelease) (i386-pc-linux-gnu) Assert_Failure
sinfo.adb:1041|


-- 
Ada95 is good for you.
http://www.crystalcode.com/codemage/MainMenu/Coding/Ada/IntroducingAda.php

Re: Gnat Bug detected?

[Mark Johnson]

Timo Warns wrote:
> 
> Can someone confirm following bug?
> [snip]
I get it as well w/ GNAT 5.01w (a May 8 wavefront). Based on that
result, I doubt it is fixed in 3.16a1 (last customer release) but it
will take a while before I have time to test it. I suggest a message to
ACT is in order.
  --Mark

Re: Gnat Bug detected?

[Robert I. Eachus]

Timo Warns wrote:
> 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;
> 
> --------------------------- 

You certainly should get a meaningful error message, so report this to 
ACT.  But if you expect the compiler to be "fixed" so that this 
compiles, think again.  The best you can expect is to "fix" the program 
so that the value 0 is non-static, and get an error at run-time.


-- 

                                                        Robert I. Eachus

�In an ally, considerations of house, clan, planet, race are 
insignificant beside two prime questions, which are: 1. Can he shoot? 2. 
Will he aim at your enemy?� -- from the Laiden novels by Sharon Lee and 
Steve Miller.

Re: Gnat Bug detected?

[Anh_Vo]

Mark Johnson <mark_h_johnson@raytheon.com> wrote in message news:<3F1560EA.FD75ABAF@raytheon.com>...
> Timo Warns wrote:
> > 
> > Can someone confirm following bug?
> > [snip]
> I get it as well w/ GNAT 5.01w (a May 8 wavefront). Based on that
> result, I doubt it is fixed in 3.16a1 (last customer release) but it
> will take a while before I have time to test it. I suggest a message to
> ACT is in order.
>   --Mark

It compiled OK with GNAT-5.00a under Windows 2K.

A. Vo

Re: Gnat Bug detected?

[Adrian Knoth]

Timo Warns <timow@nwn.de> wrote:

> Can someone confirm following bug?

Same with gcc-3.4-CVS

You may want to report it via GNATS (gcc.gnu.org)

-- 
mail: adi@thur.de  	http://adi.thur.de	PGP: v2-key via keyserver

My computer may be old, but I like the warm glow of tubes.

Re: Gnat Bug detected?

[Gautier Write-only]

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

FYI, ObjectAda 7.2.2 SE says:
test.ada: Error: line 9 col 9 LRM:13.1(5), The local_name of a representation item cannot denote a renaming declaration unless it denotes a local callable entity through a
local renaming declaration, ignoring representation item

It's for the line with:

     for J'Address use To_Address(0);

HTH
________________________________________________________
Gautier  --  http://www.mysunrise.ch/users/gdm/gsoft.htm

NB: For a direct answer, e-mail address on the Web site!

Re: Gnat Bug detected?

[Simon Wright]

Mark Johnson <mark_h_johnson@raytheon.com> writes:

> Timo Warns wrote:
> > 
> > Can someone confirm following bug?
> > [snip]
> I get it as well w/ GNAT 5.01w (a May 8 wavefront). Based on that
> result, I doubt it is fixed in 3.16a1 (last customer release) but it
> will take a while before I have time to test it. I suggest a message to
> ACT is in order.

Still present in 3.16a1.

Re: Gnat Bug detected?

[Timo Warns]

Timo Warns wrote:
>  Can someone confirm following bug?
>  [Bug with representatiob clause]

Thanks to erveryone. I submitted the bug:
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=11589

Timo