[splint-discuss] Parse Error on "pthread.h" from Cygwin
SF Markus Elfring
elfring at users.sourceforge.net
Sun Sep 17 11:34:22 EDT 2006
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
> 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
> 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 *,
Does any developer/maintainer care that the analysis tool will achieve
conformance to current standards?
How are the chances that limitations will be lifted?
More information about the splint-discuss