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 would give me some
warnings/errors. But nothing at all, not even at -strict
level I saw a related warning.

Do I miss a suitable flag, is the implementation behind
the documentation, ...?

Alexander Mai

Reply via email to