Mailing-List:	contact cygwin-help AT cygwin DOT com; run by ezmlm
List-Subscribe:	<mailto:cygwin-subscribe AT cygwin DOT com>
List-Archive:	<http://sourceware.org/ml/cygwin/>
List-Post:	<mailto:cygwin AT cygwin DOT com>
List-Help:	<mailto:cygwin-help AT cygwin DOT com>, <http://sourceware.org/ml/#faqs>
Sender:	cygwin-owner AT cygwin DOT com
Mail-Followup-To:	cygwin AT cygwin DOT com
Delivered-To:	mailing list cygwin AT cygwin DOT com
Date:	Sat, 21 May 2005 13:36:00 +0200
From:	Corinna Vinschen <corinna-cygwin AT cygwin DOT com>
To:	cygwin AT cygwin DOT com
Subject:	Re: Splint parseerror with <pthread.h>
Message-ID:	<20050521113600.GM2794@calimero.vinschen.de>
Reply-To:	cygwin AT cygwin DOT com
Mail-Followup-To:	cygwin AT cygwin DOT com
References:	<d6ll8f$vtq$1 AT sea DOT gmane DOT org>
Mime-Version:	1.0
In-Reply-To:	<d6ll8f$vtq$1@sea.gmane.org>
User-Agent:	Mutt/1.4.2i

On May 20 23:37, only4 wrote:
> # 19 may 2005:
> !!!!CATCHED!!!!
> I re-read the directive
> #if defined(_POSIX_THREADS) && !defined(__CYGWIN__)
> and realized that splint may have not __CYGWIN__ setted...
> 
> splint +D__CYGWIN__ file.c
> 
> WORKS!
> This can suggest further investigation, to find
> why the missing __CYGWIN__ ?
> are there other missing flags too?
> 
> # 20-may-2005:
> I'm now investigatin who sets __CYGWIN__, and why splint don't have it.

See /lib/gcc-lib/i686-pc-cygwin/3.3.3/specs.  It's set by gcc itself for
cpp.  splint could set it by default, that would be pretty straightforward.


Corinna

-- 
Corinna Vinschen                  Please, send mails regarding Cygwin to
Cygwin Project Co-Leader          mailto:cygwin AT cygwin DOT com
Red Hat, Inc.

--
Unsubscribe info:      http://cygwin.com/ml/#unsubscribe-simple
Problem reports:       http://cygwin.com/problems.html
Documentation:         http://cygwin.com/docs.html
FAQ:                   http://cygwin.com/faq/

- Raw text -