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.

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


---
Alexander Mai
[EMAIL PROTECTED]



Reply via email to