bounds checking - Gpc

10 Dec 2000


      Hi
At site gcc.gnu.org, under 'Extensions', there is a blurb on bounds
checking. Included is a pointer to <www.inter.NL.net/hcc/Haj.Ten.Brugee>.
(also note the gcc group  *eventually*  plans to go the fat-pointer
method.)
Downloaded a tar.gz file fromm Haj.Ten.Brugee's site. Tried to compile
gcc + bounds + gpc but got an undefined reference error about half way
thru stage1.
However, there is a nice write-up about bounds checking, several methods
to do it, and why he chode the one he did.
Based on that write-up, here's a pascal example:
program bounds2;
type
 a = array[1..10] of integer;
var
  i : integer;
  x,y : a;
begin
  for i := 1 to 100 do
  begin
    x[i] := i;
    y[i] := i;
  end;
  for i := 1 to 20 do
    writeln( x[i], '  ', y[i] );
end.
So my query is: why not include bounds checking for pascal source?
Thanks,
  Russ