out of bounds problem

[Argenton Paolo]

Hi all,
I was just playing around with splint and typed in the following code
fragment:

  int a[ 10 ];
  a[ 10 ] = 0; /* this is correcty detected */
  a[ -1 ] = 0;  /* this is NOT detected */

where am I wrong ? is it a Splint flaw ?

thanks
Paolo