On Wed, Mar 13, 2002 at 02:36:59PM -0500, David Richard Larochelle wrote:
After reading in the manual (Version 3.0.1, 7 January 2002)
I tried to check some code like given in the manual
int buf[10];
buf[10] = 3;
and was prepared that Splint 3.0.1.6 would give me some
After reading in the manual (Version 3.0.1, 7 January 2002)
I tried to check some code like given in the manual
int buf[10];
buf[10] = 3;
and was prepared that Splint 3.0.1.6 would give me some
warnings/errors. But nothing at all, not even at -strict
level I saw a related warning.