[splint-discuss] Parse Error on "pthread.h" from Cygwin
SF Markus Elfring
elfring at users.sourceforge.net
Mon Sep 18 08:04:46 EDT 2006
> int pthread_attr_getschedpolicy (const pthread_attr_t *, int *);
> If that's where the problem is, that suggests to me that
> pthread_attr_t has not been declared.
I would appreciate if the parser would explicitly say so in the error
The required data structure should be specified by the header file
The addition of the parameter "-D_POSIX_THREADS" or "-D__CYGWIN__"
results into an "obstacle" two lines later.
int pthread_attr_getschedpolicy (const pthread_attr_t *, int *);
It seems to be hard to collect all preprocessor symbols and other
configuration options to get this tool to work as expected.
> (b) many of the changes are library additions, and I can handle most
> of that myself by patching splint's view of the libraries on an
> ad hoc basis. It would be better not to have to, of course.
Do you know a clean overview of all required "tweaks" besides
Were answers from the mailing list be used to publish an other presentation?
More information about the splint-discuss