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
Content-Type: text/plain; charset=UTF-8; format=flowed
Content-Transfer-Encoding: 7bit
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