From Bugzilla Helper: User-Agent: Mozilla/5.0 (X11; U; Linux i686; en-GB; rv:1.7.12) Gecko/20050922 Fedora/1.0.7-1.1.fc4 Firefox/1.0.7 Description of problem: Running splint against any C code that uses Posix threads (and thus has to include pthread.h) results in a splint Parse Error. Version-Release number of selected component (if applicable): splint-3.1.1-10.fc4 How reproducible: Always Steps to Reproduce: 1. create a file, "pthread.c" containing the following: #include <stdio.h> #include <stdlib.h> #include <pthread.h> int main(int argc, char **argv) { return 0; } 2. Run, "splint pthread.c" Actual Results: Splint 3.1.1 --- 28 Jul 2005 /usr/include/pthread.h:609:17: Parse Error: New function scope inside function. (For help on parse errors, see splint -help parseerrors.) *** Cannot continue. Expected Results: No errors. Additional info: Running, "gcc -Wall -pedantic pthread.c" shows zero warnings/errors, and an "a.out" file is generated which runs as expected.
splint is in Extras now.
splint-3.1.1-11.fc5.i386 Splint 3.1.1 --- 16 Jan 2006 pthread.c: (in function main) pthread.c:5:14: Parameter argc not used A function parameter is not used in the body of the function. If the argument is needed for type compatibility or future plans, use /*@unused@*/ in the argument declaration. (Use -paramuse to inhibit warning) pthread.c:5:27: Parameter argv not used Finished checking --- 2 code warnings