[splint-discuss] Parse Error on variable declaration in the middle of a function.

[Johan]

Hi

I get a Parse error on variable declaration in the middle of a function.

I started a question about this on this site:
http://stackoverflow.com/questions/669023/how-can-i-make-splint-ignore-where-i-declare-my-variables
And somebody believed that this could be a error in splint, since this 
was correct c99 code.
(I hope it is correct c99, gcc approves anyway).

A short version of the error:

#include  <stdio.h>
int main()
{
    printf("Hello splint test\n");

    int i;
    for(i=5;i>0;i--)
    {
        printf("%2d...\n",i);
    }

    return 0;
}

And splint returns this:

splint +gnuextensions main.c
Splint 3.1.1 --- 03 Nov 2006

Command Line: Setting +gnuextensions redundant with current value
main.c:8:8: Parse Error. (For help on parse errors, see splint -help
                 parseerrors.)


Platform used is Ubuntu 8.04 with gvim as editor.

Is this a splint bug or did I miss something?

Thanks
Johan

Note: sorry if this mail comes twice, I accidentally sent it from the 
wrong address the first time.
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.
||
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.cs.virginia.edu/pipermail/splint-discuss/attachments/20090321/edff9991/attachment.html