static char *statictest(){<br> static char buff[10];<br> return buff;<br>}<br>int main(){<br> /*@unused@*/<br> char *p=statictest();<br> return 0;<br>}<br>When the above program is fed to splint, the following output results:
<br>statictest.c: (in function statictest)<br>statictest.c:3:10: Unqualified static storage buff returned as implicitly only:<br> buff<br> Static storage is transferred in an inconsistent way. (Use -statictrans to
<br> inhibit warning)<br>statictest.c: (in function main)<br>statictest.c:8:12: Fresh storage p not released before return<br> A memory leak has been detected. Storage allocated locally is not released<br> before the last reference to it is lost. (Use -mustfreefresh to inhibit
<br> warning)<br> statictest.c:7:24: Fresh storage p created<br><br>Finished checking --- 2 code warnings<br><br>How can I correctly annotate the code to avoid this? I couldn't find in the manual. <br><br>Thank you in advance.
<br><br>-- <br>Software is like sex: it is better when it is free.