Re: When to do a constraint check and not ??

["DuckE" <nospam_steved94@home.com>]

I'm not sure about the "rules" but...
I used a tool to translate a bunch of Pascal code to Ada.  The tool turned
"var" parameters into "in out" parameters.  Your example illustrates the
problem with that mapping.

We went through the translated code and depending on which made more sense:
  either initialized the variable prior to the call:
  b : boolean := FALSE;
  or changed the mode of the procedure parameter to "out":
  procedure test( p : out boolean ) is

Without these changes both GNAT and ObjectAda raise exceptions.

SteveD

"Per Sandberg" <prsa@systems.saab.se> wrote in message
news:3BD91EF8.EEB7EDBA@systems.saab.se...
> Assume the folowing code:
>
> procedue bla is
> b : boolean; --< B may contain any bit pattern at this point.
>
> procedure test( p : in out boolean ) is
> begin
> b := false;
> end test;
>
> begin
> test(b); --<< Is the compiler allowed to insert a constraint check on b
> here ??
> end;
>
> Is the answer that it is up to the wendor.
> I did not get any clues from the LRM.
>
> /Per Sandberg.