Re: Suggestion for gnatstub

[Robert A Duff <bobduff@shell01.TheWorld.com>]

Simon Wright <simon@pushface.org> writes:

> My ColdFrame framework generator goes to a lot of trouble to generate
> compilable subprograms that raise Program_Error if executed. I think
> there is one case where this doesn't work (functions returning a value
> of an imported type, eg GNAT.Socket_Type, that turns out to be
> private).

Presuming the goal is to get the code to compile, but not run,
you could generate:

    function F(X, Y: Integer) return GNAT.Socket_Type is
    begin
        raise Program_Error;
        return F(X, Y); -- bogus return to keep compiler from griping
    end F;

Actually, I suspect the compiler might gripe about infinite recursion,
so maybe you need this:

    function F(X, Y: Integer) return GNAT.Socket_Type is
    begin
        raise Program_Error;
        pragma Warnings(Off);
        return F(X, Y); -- bogus return to keep compiler from griping
        pragma Warnings(On);
    end F;

Bleah.  It's pretty annoying that Ada requires a return statement on
paths that *obviously* raise exceptions.

- Bob