Added test cases from the buffer checking chapter of the manual.

[splint.git] / test / manual / setChar.c

char buf[10];

void setChar()
{
   buf[10] = 'x';
}