X-Authentication-Warning:	delorie.com: mail set sender to djgpp-bounces using -f
From:	Cesar Rabak <csrabak AT yahoo DOT com DOT br>
Newsgroups:	comp.os.msdos.djgpp
Subject:	Re: Splint 3.1.2 release 16 Jan 2008 (MS-DOS)
Date:	Sun, 20 Jan 2008 13:18:52 -0300
Organization:	Aioe.org NNTP Server
Lines:	31
Message-ID:	<fmvods$d4a$1@aioe.org>
References:	<BAY104-W17D279DD9E4529EB471D25B8430 AT phx DOT gbl> <200801201447 DOT 03906 DOT juan DOT guerrero AT gmx DOT de>
NNTP-Posting-Host:	zsHJ5gqqakMwFDjpmF3OEw.user.aioe.org
Mime-Version:	1.0
X-Complaints-To:	abuse AT aioe DOT org
In-Reply-To:
User-Agent:	Thunderbird 2.0.0.9 (Windows/20071031)
To:	djgpp AT delorie DOT com
DJ-Gateway:	from newsgroup comp.os.msdos.djgpp
Reply-To:	djgpp AT delorie DOT com

Joan Salvat escreveu:
 > Juan Manuel,
 >
 > I've been testing that partiular version you released, and found the
 > following behaviour when trying to use it to check MS-DOS programs
 > built using Borland C++ version 3.1
 >
 > Splint 3.1.2 --- 16 Jan 2008
 > c:\borlandc\include\dos.h:310:46: Parse Error. (For help on parse
 > errors, see               splint -help parseerrors.)*** Cannot
 > continue.
 > Line 310 in dos.h file is
 >
 > unsigned    _Cdecl _dos_read( int __fd, void far *__buf, unsigned
 > __len,                   unsigned _FAR *__nread );
 > I think Splint cannot parse 'far' type modifier.
 > Any suggestion to work around this problem? The tips shown in '--help 
 > parseerrors' don't seem to work.

Have been there (in an earlier version when it was called LCLint) and 
the legacy code was as well from Borland C++ 3.1...

The way we found was to put in our sources something on the lines of the 
manual (14.3.1), beware I'm writing from heart, it is untested:

# ifdef S_SPLINT_S
#define far
#define _FAR
# endif

HTH

- Raw text -