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
Content-Type: text/plain; charset=us-ascii
Content-Disposition: inline
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/