Hi all,<br><br>for some functions I get an error that I don&#39;t evaluate the return value of a function.<br>But on some other functions I don&#39;t! Although the function has an int return type.<br>Using 3.1.2,<br>my settings:<br>
+posixlib<br>+bool-compare <br clear="all">-castfcnptr<br>+nullderef<br>+weak<br><br><br>Another question:<br>+nullderef means that splint checks that there is no scenario where a null pointer gets dereferenced, and if it will print a warning,right?<br>
Despite that whats the difference to /*@ null @*/ annotation?<br>Only that +nullderef is a global option and the annotation just local?<br><br>thanks,<br><br>-- <br>Regards,<br>--Codefritz<br><br><br><br>