Re: Unchecked_Deallocation and Constraint_Error

[Christoph Grein <christoph.grein@eurocopter.com>]

> > ...
> >   Cmd : Integer_Array_Access := new Integer_Array(1..1);
> > ...
> >    Free(Cmd);
> >    Cmd(1) := 1;
> > ...
> >
> > Program should throw exception Constraint_Error, but it only
> > hangs at instruction Cmd(1) := 1; (but doesn't quit).
> 
> The Reference Manual is quite clear (section 13.11.2):
> 
> |                           _Erroneous Execution_
> |
> | 16. Evaluating a name that denotes a nonexistent object is erroneous.
> 
> You cannot expect that a Constraint_Error exception is raised in this
> case, unless your compiler documentation guarantees this.

That's correct, but 13.11.2(7) specifies that the value of Cmd is null after UD 
(I assume Free is an instantiation of UD), so a dereference Cmd(1) must raise 
CE, except 
when checks are suppressed.