Bound checking in c/c++

[Stelios Bounanos]

 >>>>> On Wed, 16 Jun 2004 19:07:59 +0300, Karaoulis Marios
 >>>>> <marios at lemnos.geo.auth.gr> was rumoured to have said:

 > [1  <text/plain; us-ascii (7bit)>]
 > Exo auto to programma
 > #include <stdio.h>
 > #include <stdlib.h>
 > int main()
 > {
 > float a[5];
 > int i;
 > a[0]=0;
 > a[1]=1;
 > a[2]=2;
 > a[3]=3;
 > a[4]=4;
 > a[15]=5;
 > for (i=0;i<=4;i++) printf("%f\n",a[i]);
 > printf("%f\n",a[15]);
 > return 0;
 > } 

 > to kano compile os 
 > gcc -fbound-checking foo.c

 > Alla den gurnaei kapio warning
 > otan to trexo gyrnaei apotelesma gia to a[15]
 > Ti ginetai?
 > Den pianei to flag?

Diabazontas to manual page toy gcc, 8a deis oti to -fbounds-check (opws
legetai ston gcc-3.3.4) ypothrizetai mono gia Java kai Fortran77.

Enallaktikes lyseis einai na trekseis to programma soy me kapoio apo toys
polloys memory debuggers/profilers 'h, sth C++, na xrhsimopoihseis ena STL
vector me checked access (p.x. v.at(i) anti gia v[i]).


rgds,
/-sb.