<html>
<body>
Morning all,<br><br>
I want to customize splint in a way that it the "warnings" it
produces for .c or .h file should be outputted to the console as just
"one" line. For example I get:<br><br>
<br>
./c/btmg.c(48,55): Variable exported but not used outside btn:<br>
BTN_long_hold_time<br><br>
\\view\zakaa_view\FXE_XXX\code\h\mgr.h(43,17):<br>
Function exported but not used outside mdmgr:
MDMGR_get_md_timestamp<br><br>
Now in the first splint output message, the BTN_long_hold_time goes into
the second line and in the second example the "
Function exported but not used outside mdmgr:
MDMGR_get_md_timestamp" goes into the second line.<br><br>
I want to customize splint.exe in a way that the description of a warning
or an error stays on the same line no matter how long it is. I want to
integrate splint.exe into a tool which can just read and parse a line at
a time.<br><br>
If someone knows which files in the slpint src/ are used to output a
specific error or warning message in multiple lines and tell me which
\n's to get rid of to make the outputs come on the same line, I would be
grateful.<br><br>
Can you please point me to the right people to get help from as well, any
other mailing lists?<br><br>
Regards,<br>
Asim.<br><br>
<br><br>
<br><br>
<br><br>
<br>
At 10:49 18/06/2007, you wrote:<br><br>
<blockquote type=cite class=cite cite="">
<blockquote type=cite class=cite cite="">static void<br>
s1_free (/*@only@*/ /*@null@*/ struct s1 * f) {<br>
if ( f == NULL )<br>
return;<br>
free(f);<br>
}</blockquote><br>
By the way: The check for the null pointer can be omitted in this
example.<br>
<a href="http://opengroup.org/onlinepubs/009695399/functions/free.html" eudora="autourl">
http://opengroup.org/onlinepubs/009695399/functions/free.html</a><br><br>
Regards,<br>
Markus<br>
_______________________________________________<br>
splint-discuss mailing list<br>
splint-discuss@ares.cs.Virginia.EDU<br>
<a href="http://www.cs.virginia.edu/mailman-2.1.5/listinfo/splint-discuss" eudora="autourl">
http://www.cs.Virginia.EDU/mailman-2.1.5/listinfo/splint-discuss</a>
</blockquote>
<x-sigsep><p></x-sigsep>
Asim Pervez Zaka<br>
Firmware Engineer<br><br>
<b>Actaris,<br>
</b>Langer Road,<br>
Felixstowe, Suffolk,<br>
England<br>
IP11 2ER<br><br>
</body>
</html>