<html><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; ">Random variable declarations within code is C99, not C.<div><br></div><div>splint is a C, not a C99, parser.</div><div><br></div><div>73 de Jeff</div><div><br><div><div>On Mar 21, 2009, at 7:38 AM, Johan wrote:</div><br class="Apple-interchange-newline"><blockquote type="cite"> <div bgcolor="#ffffff" text="#000000"> Hi <br> <br> I get a Parse error on variable declaration in the middle of a function.<br> <br> I started a question about this on this site:<br> <a class="moz-txt-link-freetext" href="http://stackoverflow.com/questions/669023/how-can-i-make-splint-ignore-where-i-declare-my-variables">http://stackoverflow.com/questions/669023/how-can-i-make-splint-ignore-where-i-declare-my-variables</a><br> And somebody believed that this could be a error in splint, since this was correct c99 code. <br> (I hope it is correct c99, gcc approves anyway).<br> <br> A short version of the error:<br> <br> #include <stdio.h><br> int main()<br> {<br> printf("Hello splint test\n");<br> <br> int i;<br> for(i=5;i>0;i--)<br> {<br> printf("%2d...\n",i);<br> }<br> <br> return 0;<br> }<br> <br> And splint returns this:<br> <br> splint +gnuextensions main.c<br> Splint 3.1.1 --- 03 Nov 2006<br> <br> Command Line: Setting +gnuextensions redundant with current value<br> main.c:8:8: Parse Error. (For help on parse errors, see splint -help<br> parseerrors.)<br> <br> <br> Platform used is Ubuntu 8.04 with gvim as editor.<br> <br> Is this a splint bug or did I miss something?<br> <br> Thanks <br> Johan<br> <br> Note: sorry if this mail comes twice, I accidentally sent it from the wrong address the first time.<br> But I think that that mail got trapped in a filter, but if it is not and it hits the list I apologies in advance.<br> <code><span class="pln"></span></code> <br> </div> _______________________________________________<br>splint-discuss mailing list<br><a href="mailto:splint-discuss@mail.cs.virginia.edu">splint-discuss@mail.cs.virginia.edu</a><br>http://www.cs.virginia.edu/mailman/listinfo/splint-discuss<br></blockquote></div><br></div></body></html>