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

[SF Markus Elfring]

No difference ...
$ /cygdrive/e/Programme/splint-3.1.1/bin/splint -warnposix +posixlib 
+trytorecover -I/usr/include -I. /cygdrive/e/Projekte/Pound/2.1/pound.c
Splint 3.1.1 --- 08 Sep 2006
/usr/include/pthread.h:79:56: Parse Error.  Too many errors, giving up.
*** Cannot continue.
> Why the surprise?  Presumably the parse error is in the argument
> just preceding that token.
>
> On the Linux box I sometimes use, /usr/include/pthread.h line 79 is
>   PTHREAD_PRIO_INHERIT,
> which doesn't have a column 56.  Perhaps you could show us the entire
> declaration where the problem is.
>   
The header files are different between those operating systems and 
environments.

> The parser does not like and does not understand NON-STANDARD constructions
> (where the standard is ANSI C89/ISO C90).  Everything else it understands.
>   
Is this interface too new for the check?
/*line 79:*/ int pthread_attr_getschedpolicy (const pthread_attr_t *, 
int *);
http://opengroup.org/onlinepubs/000095399/functions/pthread_attr_getschedpolicy.html

Does any developer/maintainer care that the analysis tool will achieve 
conformance to current standards?
How are the chances that limitations will be lifted?

Regards,
Markus