------- Additional Comments From pinskia at gcc dot gnu dot org 2005-07-02 01:06 ------- Fixed in 4.0.1 and above: test.adb:26:16: no selector "Destroy_Stuff" for type "Safe_Object" defined at test.ads:14
-- What |Removed |Added ---------------------------------------------------------------------------- Status|UNCONFIRMED |RESOLVED Keywords| |ice-on-invalid-code Resolution| |FIXED Target Milestone|--- |4.0.0 http://gcc.gnu.org/bugzilla/show_bug.cgi?id=22270