Re: Commercial C To Ada 95 compiler

[Richard Riehle <richard@adaworks.com>]

Pascal Obry wrote:

> Richard Riehle <richard@adaworks.com> writes:
>
> > Actually, note that the following program that indexes off the end
> > of an array will compile in Ada.
>
> No it does not, there is nothing into the loop.

  OK.  Replace the null statement with
                 The_Vector(I) := 0;

  This will still compile.    The point is that someone said this
  kind of thing would be rejected as an error by an Ada compiler.
  It is not rejected by every compiler, even though some compilers
  might provide a warning.

  I agree with the comment that it will be caught at run-time.  No
  argument that the outcome is better than one might expect from
  a C program.   However, the assertion that the compiler will
  detect it is wrong, even when you add code to manipulate the
  content of the array and not just the index.

  Richard Riehle