Bug 16078 - Legal program rejected, visible declaration not seen
Summary: Legal program rejected, visible declaration not seen
Status: NEW
Alias: None
Product: gcc
Classification: Unclassified
Component: ada (show other bugs)
Version: 3.4.0
: P2 normal
Target Milestone: ---
Assignee: Not yet assigned to anyone
URL:
Keywords: rejects-valid
Depends on:
Blocks:
 
Reported: 2004-06-19 12:51 UTC by Ludovic Brenta
Modified: 2015-12-05 10:26 UTC (History)
3 users (show)

See Also:
Host:
Target:
Build:
Known to work:
Known to fail: 3.4.0, 4.3.0, 4.3.4, 4.4.2
Last reconfirmed: 2007-12-13 14:21:12


Attachments

Note You need to log in before you can comment on or make changes to this bug.
Description Ludovic Brenta 2004-06-19 12:51:19 UTC
generic
package pak1 is
   x: integer;
end pak1;

with pak1;
generic
   with package new_pak1 is new pak1;
   use new_pak1;
package pak2 is
end pak2;

generic
package pak2.pak3 is
   y: integer := x;
end pak2.pak3;

with Pak2.Pak3;
procedure Test_247572 is
   package P is new Pak2.Pak3;
begin
   null;
end Test_247572;


test_247572.adb:4:21: invalid prefix in selected component "Pak2"
gnatmake: "test_247572.adb" compilation error
Comment 1 Andrew Pinski 2004-11-01 01:12:30 UTC
Confirmed.
Comment 2 Samuel Tardieu 2007-12-13 14:21:12 UTC
Confirmed on 4.3.0 20071213
Comment 3 Eric Botcazou 2015-12-05 10:26:54 UTC
Still fails on mainline.