------- Comment #8 from sam at gcc dot gnu dot org 2008-04-09 20:40 ------- Yes, the bug manifests when the view on the type is limited at this point *but* we know the underlying type (because of a non-limited with for example). This triggers it if you compile p2.adb:
package P1 is type T is null record; end P1; limited with P1; package P2 is pragma Elaborate_Body; generic type T is private; package G is end G; package I1 is new G (P1.T); end P2; with P1; package body P2 is end P2; I'm testing a fix. -- sam at gcc dot gnu dot org changed: What |Removed |Added ---------------------------------------------------------------------------- AssignedTo|unassigned at gcc dot gnu |sam at gcc dot gnu dot org |dot org | Status|NEW |ASSIGNED Last reconfirmed|2007-12-07 14:01:58 |2008-04-09 20:40:46 date| | http://gcc.gnu.org/bugzilla/show_bug.cgi?id=29015