[splint-discuss] splint doesn't warn missing return evaluation

[Fritz Code]

Hi all,

for some functions I get an error that I don't evaluate the return value of
a function.
But on some other functions I don't! Although the function has an int return
type.
Using 3.1.2,
my settings:
+posixlib
+bool-compare
-castfcnptr
+nullderef
+weak


Another question:
+nullderef means that splint checks that there is no scenario where a null
pointer gets dereferenced, and if it will print a warning,right?
Despite that whats the difference to /*@ null @*/ annotation?
Only that +nullderef is a global option and the annotation just local?

thanks,

-- 
Regards,
--Codefritz
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.cs.virginia.edu/pipermail/splint-discuss/attachments/20080702/e504e780/attachment.html