Re: Uninitialized "out" parameters

[pascal.obry@der.edfgdf.fr (Pascal Obry)]

[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: Type: text/plain, Size: 1803 bytes --]


adam@irvine.com (Adam Beneschan) wrote:

>Paul Whittington <paul@sage.inel.gov> writes:
> >In the following Ada program, should either the compiler or the run-time
> >get some kind of error because the out parameter is not initialized?
> >
> >procedure Testit is
> >
> >  procedure SubP (op : out Integer) is
> >  begin
> >    op := op+1;
> >  end SubP;
> >
> >  I : Integer;
> >
> >begin
> >  SubP (I);
> >end Testit;

>Well, you can't read an "out" parameter at all, so it's illegal to use
>"op" in the right-hand side of your assignment.  So the compiler
>should give you an error.  Also, in Ada83, you'll get an error because
>I needs to be declared before the code for SubP appears.

This is wrong for Ada(95).

In Ada you can read out parameter, and this program is then not valid.
It's behavior is unknown.

>If you change op to an "in out" parameter, you'll be reading an
>uninitialized variable, but typically neither the compiler nor the
>runtime will complain.

>                                -- Adam

Pascal.


--|------------------------------------------------------------
--| Pascal Obry                               Team-Ada Member |
--|                                                           |
--| EDF-DER-IPN-SID- Ing�nierie des Syst�mes d'Informations   |
--|                                                           |
--| Bureau G1-010           e-mail: pascal.obry@der.edfgdf.fr |
--| 1 Av G�n�ral de Gaulle  voice : +33-1-47.65.50.91         |
--| 92141 Clamart CEDEX     fax   : +33-1-47.65.50.07         |
--| FRANCE                                                    |
--|------------------------------------------------------------
--|
--|   http://ourworld.compuserve.com/homepages/pascal_obry
--|
--|   "The best way to travel is by means of imagination"