Re: Exiting from a function or procedure

[tmoran@bix.com]

> So NEVER EVER ignore warnings, consider them as errors.  In
> fact you might want to use -gnatwe so the compiler will
> treat them as errors enforcing this discipline.

This is not always a good idea.  For instance
     if OK then
       return some_value;
     else
       Log_And_Raise_Error;
     end if;
   end some_function;
is a perfectly legitimate paradigm in Ada that would become
illegal in Gnat with -gnatwe, since the compiler doesn't know
that Log_And_Raise_Error will never return.