gcc-4.4.3/gcc/testsuite/gnat.dg/return1.ads


1
2
3
4
5
6
7

package return1 is
    type Base is abstract tagged null record;
    type Child is new Base with record
       Anon_Access : access Base'Class;
    end record;
    function X_Func (O : access Child) return access Base'Class;
end return1;