Re: Suggestion for gnatstub

[Simon Wright <simon@pushface.org>]

Robert A Duff <bobduff@shell01.TheWorld.com> writes:

> 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.

I had thought about

    function F(X, Y: Integer) return GNAT.Socket_Type is
       Dummy : GNAT.Socket_Type;
       pragma Warnings (Off, Dummy);
    begin
        raise Program_Error;
        return Dummy;
    end F;