[splint-discuss] parse error in non-conventional C programming style

[Jonathan and Caroline Moore]

Have you checked section 14.3?

http://lclint.cs.virginia.edu/manual/html/sec14.html

2009/6/21 vivek kumar <freewill1729 at gmail.com>:
> I have included files like file1.c. But how do I force splint to check gtk,
> gdk header files, which supposedly is giving rise to parse errors.
>
> Hi
>
> I came across some code which is in the following style
>
> //file1.c
> #include <stdlib.h>
> #include <gdk/gdkkeysyms.h>
> #include <gtk/gtk.h>
>
> void print(void){
>
> //use some gdk functions like gdk_pixmap_new()
> //or use some varibales like gint, gboolean etc
>
>  printf("Hello world\n");
>
> }
>
> //main.c
>
> #include <stdio.h>
> #include "file1.c"
>
> int main(int argc, char *argv[]){
>
>  print();
>
>  return EXIT_SUCCESS;
> }
>
> The code has *.c files included rather than *.h files i.e. the code has not
> been separated into declaration part(*.h) and definition part(*.c), cleanly.
> When I use splint on such code I get parse errors when gdk constructs are
> used.
> How can I force splint to check the gtk and gdk headers file in this style
> of programming.
>
> I would be deeply thankful for some suggestions.
>
>
> --
> Thanking You
> Sincerely
> Vivek Kumar
>
>
>
> --
> Thanking You
> Sincerely
> Vivek Kumar
>
> _______________________________________________
> splint-discuss mailing list
> splint-discuss at mail.cs.virginia.edu
> http://www.cs.virginia.edu/mailman/listinfo/splint-discuss
>
>



-- 
Jonathan (and Caroline)

Jonathan and Caroline Moore
JandCMoore at gmail.com (Jonathan)
CandJMoore at gmail.com (Caroline)
http://jandcmoore.googlepages.com/