<br><div class="gmail_quote">On Fri, Mar 7, 2008 at 6:32 AM, Brian Quinlan &lt;<a href="mailto:brian.quinlan@iolfree.ie" target="_blank">brian.quinlan@iolfree.ie</a>&gt; wrote:<br><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">

<div>&gt; &gt; [root@localhost build]# make splint<br>
&gt; &gt; Going for Splint Checking<br>
&gt; &gt; Splint <a href="http://3.0.1.7" target="_blank">3.0.1.7</a> --- 24 Jan 2003<br>
&gt; &gt;<br>
</div>One other thing that I forgot: you&#39;re using a very old version of<br>
splint. You should probably update it.<br>
<font color="#888888"><br>
BQ<br>
</font><div><div></div><div><br>
_______________________________________________<br>
splint-discuss mailing list<br>
<a href="mailto:splint-discuss@mail.cs.virginia.edu" target="_blank">splint-discuss@mail.cs.virginia.edu</a><br>
<a href="http://www.cs.virginia.edu/mailman/listinfo/splint-discuss" target="_blank">http://www.cs.virginia.edu/mailman/listinfo/splint-discuss</a><br>
</div></div></blockquote></div><br><br clear="all">Hi, <br><br>Thanks for the immediate reply,<br>We solved the issue with the same way you suggested in ,<br><a href="http://www.splint.org/pipermail/splint-discuss/2005-January/000531.html" target="_blank">http://www.splint.org/pipermail/splint-discuss/2005-January/000531.html</a><br>

<br>But we have made this driver with OS dependent file it has all os
dependent functions, we included the path for this too, but still
getting some annoyed errors for the same project, hope there is some
options for this, <br>&nbsp;
<br>
Here is the options i used, <br>
<br>
Makefile -&gt;<br>
<br>
splint:<br>
&nbsp; @$(ECHO) &quot;Going for Splint Checking&quot;<br>
&nbsp; @splint&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; \<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; -systemdirs /lib/modules/`uname -r`/build/include:$(HOME_PATH)
<div id="1esq" class="ArwC7c ckChnd">/hw:$(HOME_PATH)/osdep:$(HOME_PATH)/debug \<br>
&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; -namechecks&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; \<br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; -skip-ansi-headers&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; \<br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; -preproc&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; \<br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; -macrovarprefixexclude&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; \<br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; -gnuextensions&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; \<br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; -expect 100&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; \<br>

&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; -hints&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; \<br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; +trytorecover&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; \<br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; +posixlib&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; \<br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; +skip-sys-headers&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; \<br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; -systemdirerrors&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; \<br>
-I$(OS_DIR_PATH)&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; \<br>&nbsp; $(HW_DIR_PATH)/slim_bus_hw.c<br>
<br>Errors -&gt;<br><br>[root@localhost build]# make splint<br>Going for Splint Checking<br>Splint <a href="http://3.0.1.7/" target="_blank">3.0.1.7</a> --- 24 Jan 2003<br><br>Command Line: Setting -sysdirerrors redundant with current value<br>

../hw/slim_bus_hw.c:29:17: Cannot recover from parse error.<br>*** Cannot continue.<br>make: *** [splint] Error 1</div>
<br>
The Code where it checks for this is <br>
<br>
UINT debug_level = 5;<br>
<br>
UINT is defined in $(OS_DIR_PATH), I am not sure if i am clear about
the problem, I shall give the update if i find one, if someone has
resolved such an issue with their software please give an update for
the same.<br>
<br>
Thanks <br>-- <br>Regards <br>Vijayendra Suman