Re: Commercial C To Ada 95 compiler

[Preben Randhol <randhol+abuse@pvv.org>]

On Sat, 08 Jun 2002 08:53:28 -0700, Richard Riehle wrote:
> Jim Rogers wrote:
> 
>> One simple example is indexing past the end of an array.
>> C compilers simply will not catch this problem. Ada compilers will.
> 
> Actually, note that the following program that indexes off the end
> of an array will compile in Ada.
> 
>      procedure Index_Past_The_End is
>              type Vector is array(Positive range <>) of Integer;
>              The_Vector : Vector (1..100) := (others => 0);
>     begin
>           for I in The_Vector'First .. The_Vector'Last + 1
>               loop
>                    null;
>               end loop;
>     end Index_Past_The_End;

Yes, however the Ada program will end with an exception at run-time.
With the C program anything could happen, even a reboot I guess.

Preben