[splint-discuss] Parse Error on "pthread.h" from Cygwin

[SF Markus Elfring]

>                                                        v
> 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 
message.

The required data structure should be specified by the header file 
"sys/types.h".
The addition of the parameter "-D_POSIX_THREADS" or "-D__CYGWIN__" 
results into an "obstacle" two lines later.
/usr/include/pthread.h:81:56:
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 
"http://splint.org/manual/"?
Were answers from the mailing list be used to publish an other presentation?

Regards,
Markus