public inbox for gcc-bugs@sourceware.org
help / color / mirror / Atom feed
* [Bug ada/15847] New: Legal program rejected, RM 3.10.2(32)
@ 2004-06-06 10:23 ludovic dot brenta at insalien dot org
2004-10-12 4:05 ` [Bug ada/15847] " pinskia at gcc dot gnu dot org
` (2 more replies)
0 siblings, 3 replies; 4+ messages in thread
From: ludovic dot brenta at insalien dot org @ 2004-06-06 10:23 UTC (permalink / raw)
To: gcc-bugs
-- the compiler apparently is complaining that type T1 is declared outside
-- of pak2, in violation of the last sentence of RM 3.10.2(32),
-- but T1 is declared by the instantiation new_pak4, which _is_ declared
-- inside of pak2.
procedure Test_247023 is
generic
package pak4 is
type T1 is access procedure;
procedure p1 (Proc: T1);
end pak4;
package body pak4 is
procedure p1 (Proc: T1) is
begin
null;
end;
end pak4;
generic
package pak2 is
package new_pak4 is new pak4;
end pak2;
package body pak2 is
procedure p3 is
begin
null;
end p3;
begin
new_pak4.p1 (p3'Access); --OK
end pak2;
begin
null;
end Test_247023;
The compiler incorrectly reports:
test_247023.adb:33:20: access type must not be outside generic body
gnatmake: "test_247023.adb" compilation error
--
Summary: Legal program rejected, RM 3.10.2(32)
Product: gcc
Version: 3.4.0
Status: UNCONFIRMED
Severity: normal
Priority: P2
Component: ada
AssignedTo: unassigned at gcc dot gnu dot org
ReportedBy: ludovic dot brenta at insalien dot org
CC: gcc-bugs at gcc dot gnu dot org
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=15847
^ permalink raw reply [flat|nested] 4+ messages in thread
* [Bug ada/15847] Legal program rejected, RM 3.10.2(32)
2004-06-06 10:23 [Bug ada/15847] New: Legal program rejected, RM 3.10.2(32) ludovic dot brenta at insalien dot org
@ 2004-10-12 4:05 ` pinskia at gcc dot gnu dot org
2004-10-29 13:37 ` pinskia at gcc dot gnu dot org
2004-10-29 14:46 ` pinskia at gcc dot gnu dot org
2 siblings, 0 replies; 4+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2004-10-12 4:05 UTC (permalink / raw)
To: gcc-bugs
--
What |Removed |Added
----------------------------------------------------------------------------
Keywords| |accepts-invalid
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=15847
^ permalink raw reply [flat|nested] 4+ messages in thread
* [Bug ada/15847] Legal program rejected, RM 3.10.2(32)
2004-06-06 10:23 [Bug ada/15847] New: Legal program rejected, RM 3.10.2(32) ludovic dot brenta at insalien dot org
2004-10-12 4:05 ` [Bug ada/15847] " pinskia at gcc dot gnu dot org
@ 2004-10-29 13:37 ` pinskia at gcc dot gnu dot org
2004-10-29 14:46 ` pinskia at gcc dot gnu dot org
2 siblings, 0 replies; 4+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2004-10-29 13:37 UTC (permalink / raw)
To: gcc-bugs
--
What |Removed |Added
----------------------------------------------------------------------------
Known to fail| |4.0.0
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=15847
^ permalink raw reply [flat|nested] 4+ messages in thread
* [Bug ada/15847] Legal program rejected, RM 3.10.2(32)
2004-06-06 10:23 [Bug ada/15847] New: Legal program rejected, RM 3.10.2(32) ludovic dot brenta at insalien dot org
2004-10-12 4:05 ` [Bug ada/15847] " pinskia at gcc dot gnu dot org
2004-10-29 13:37 ` pinskia at gcc dot gnu dot org
@ 2004-10-29 14:46 ` pinskia at gcc dot gnu dot org
2 siblings, 0 replies; 4+ messages in thread
From: pinskia at gcc dot gnu dot org @ 2004-10-29 14:46 UTC (permalink / raw)
To: gcc-bugs
------- Additional Comments From pinskia at gcc dot gnu dot org 2004-10-29 14:45 -------
Confirmed.
--
What |Removed |Added
----------------------------------------------------------------------------
Status|UNCONFIRMED |NEW
Ever Confirmed| |1
Last reconfirmed|0000-00-00 00:00:00 |2004-10-29 14:45:16
date| |
http://gcc.gnu.org/bugzilla/show_bug.cgi?id=15847
^ permalink raw reply [flat|nested] 4+ messages in thread
end of thread, other threads:[~2004-10-29 14:46 UTC | newest]
Thread overview: 4+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2004-06-06 10:23 [Bug ada/15847] New: Legal program rejected, RM 3.10.2(32) ludovic dot brenta at insalien dot org
2004-10-12 4:05 ` [Bug ada/15847] " pinskia at gcc dot gnu dot org
2004-10-29 13:37 ` pinskia at gcc dot gnu dot org
2004-10-29 14:46 ` pinskia at gcc dot gnu dot org
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).