* Gnat Bug detected?
@ 2003-07-16 12:57 Timo Warns
2003-07-16 13:18 ` Preben Randhol
` (5 more replies)
0 siblings, 6 replies; 9+ messages in thread
From: Timo Warns @ 2003-07-16 12:57 UTC (permalink / raw)
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.
^ permalink raw reply [flat|nested] 9+ messages in thread
* Re: Gnat Bug detected?
2003-07-16 12:57 Gnat Bug detected? Timo Warns
@ 2003-07-16 13:18 ` Preben Randhol
2003-07-16 14:27 ` Mark Johnson
` (4 subsequent siblings)
5 siblings, 0 replies; 9+ messages in thread
From: Preben Randhol @ 2003-07-16 13:18 UTC (permalink / raw)
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
^ permalink raw reply [flat|nested] 9+ messages in thread
* Re: Gnat Bug detected?
2003-07-16 12:57 Gnat Bug detected? Timo Warns
2003-07-16 13:18 ` Preben Randhol
@ 2003-07-16 14:27 ` Mark Johnson
2003-07-16 18:19 ` Anh_Vo
2003-07-16 21:21 ` Simon Wright
2003-07-16 17:23 ` Robert I. Eachus
` (3 subsequent siblings)
5 siblings, 2 replies; 9+ messages in thread
From: Mark Johnson @ 2003-07-16 14:27 UTC (permalink / raw)
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
^ permalink raw reply [flat|nested] 9+ messages in thread
* Re: Gnat Bug detected?
2003-07-16 12:57 Gnat Bug detected? Timo Warns
2003-07-16 13:18 ` Preben Randhol
2003-07-16 14:27 ` Mark Johnson
@ 2003-07-16 17:23 ` Robert I. Eachus
2003-07-16 19:28 ` Adrian Knoth
` (2 subsequent siblings)
5 siblings, 0 replies; 9+ messages in thread
From: Robert I. Eachus @ 2003-07-16 17:23 UTC (permalink / raw)
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.
^ permalink raw reply [flat|nested] 9+ messages in thread
* Re: Gnat Bug detected?
2003-07-16 14:27 ` Mark Johnson
@ 2003-07-16 18:19 ` Anh_Vo
2003-07-16 21:21 ` Simon Wright
1 sibling, 0 replies; 9+ messages in thread
From: Anh_Vo @ 2003-07-16 18:19 UTC (permalink / raw)
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
^ permalink raw reply [flat|nested] 9+ messages in thread
* Re: Gnat Bug detected?
2003-07-16 12:57 Gnat Bug detected? Timo Warns
` (2 preceding siblings ...)
2003-07-16 17:23 ` Robert I. Eachus
@ 2003-07-16 19:28 ` Adrian Knoth
2003-07-16 20:03 ` Gautier Write-only
2003-07-19 5:51 ` Timo Warns
5 siblings, 0 replies; 9+ messages in thread
From: Adrian Knoth @ 2003-07-16 19:28 UTC (permalink / raw)
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.
^ permalink raw reply [flat|nested] 9+ messages in thread
* Re: Gnat Bug detected?
2003-07-16 12:57 Gnat Bug detected? Timo Warns
` (3 preceding siblings ...)
2003-07-16 19:28 ` Adrian Knoth
@ 2003-07-16 20:03 ` Gautier Write-only
2003-07-19 5:51 ` Timo Warns
5 siblings, 0 replies; 9+ messages in thread
From: Gautier Write-only @ 2003-07-16 20:03 UTC (permalink / raw)
> 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!
^ permalink raw reply [flat|nested] 9+ messages in thread
* Re: Gnat Bug detected?
2003-07-16 14:27 ` Mark Johnson
2003-07-16 18:19 ` Anh_Vo
@ 2003-07-16 21:21 ` Simon Wright
1 sibling, 0 replies; 9+ messages in thread
From: Simon Wright @ 2003-07-16 21:21 UTC (permalink / raw)
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.
^ permalink raw reply [flat|nested] 9+ messages in thread
* Re: Gnat Bug detected?
2003-07-16 12:57 Gnat Bug detected? Timo Warns
` (4 preceding siblings ...)
2003-07-16 20:03 ` Gautier Write-only
@ 2003-07-19 5:51 ` Timo Warns
5 siblings, 0 replies; 9+ messages in thread
From: Timo Warns @ 2003-07-19 5:51 UTC (permalink / raw)
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
^ permalink raw reply [flat|nested] 9+ messages in thread
end of thread, other threads:[~2003-07-19 5:51 UTC | newest]
Thread overview: 9+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2003-07-16 12:57 Gnat Bug detected? Timo Warns
2003-07-16 13:18 ` Preben Randhol
2003-07-16 14:27 ` Mark Johnson
2003-07-16 18:19 ` Anh_Vo
2003-07-16 21:21 ` Simon Wright
2003-07-16 17:23 ` Robert I. Eachus
2003-07-16 19:28 ` Adrian Knoth
2003-07-16 20:03 ` Gautier Write-only
2003-07-19 5:51 ` Timo Warns
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox