X-Authentication-Warning: delorie.com: mail set sender to djgpp-bounces using -f
From: Juan Manuel Guerrero <juan DOT guerrero AT gmx DOT de>
Newsgroups: comp.os.msdos.djgpp
Subject: Re: ANNOUNCE: release 3 of the DJGPP port of Splint 3.1.2 Is it the 
	correct on?
Date: Sun, 20 Jan 2008 12:16:36 -0800 (PST)
Organization: http://groups.google.com
Lines: 60
Message-ID: <b0b24cac-01b0-4d8e-b21b-fa2be4ccd96c@1g2000hsl.googlegroups.com>
References: <200801161852 DOT m0GIqI28012817 AT delorie DOT com> <0JUY009LMIJSOE20 AT mta2 DOT srv DOT hcvlny DOT cv DOT net>
NNTP-Posting-Host: 88.68.37.153
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: 7bit
X-Trace: posting.google.com 1200860197 32572 127.0.0.1 (20 Jan 2008 20:16:37 GMT)
X-Complaints-To: groups-abuse AT google DOT com
NNTP-Posting-Date: Sun, 20 Jan 2008 20:16:37 +0000 (UTC)
Complaints-To: groups-abuse AT google DOT com
Injection-Info: 1g2000hsl.googlegroups.com; posting-host=88.68.37.153; 
	posting-account=OsAajgoAAADdKJnkJkmhzqP0jo6I_P_0
User-Agent: G2/1.0
X-HTTP-UserAgent: Mozilla/5.0 (Macintosh; U; PPC Mac OS X; en-us) 
	AppleWebKit/48 (like Gecko) Safari/48,gzip(gfe),gzip(gfe)
To: djgpp AT delorie DOT com
DJ-Gateway: from newsgroup comp.os.msdos.djgpp
Reply-To: djgpp AT delorie DOT com

Ethan Rosenberg schrieb:
> At 01:08 PM 1/16/2008, you wrote:
> >This is release 3 of the port of Splint 3.1.2 to MSDOS/DJGPP.
[snip]
> >     Splint 3.1.2 binary, pdf, html and man format documentation:
> >     ftp://ftp.delorie.com/pub/djgpp/beta/v2tk/spl312b.zip

Yes, I you issue the command: splint --version you should get
something
like : 16 Jan 2008


> Is the above source the correct one?  I still get the same
> performance with header files.  Is it possible that the incorrect
> source was uploaded?
>
> Under separate cover I am sending you an example of a file that you can test.

Because I never got a code snippet from you showing me the difficulty
I have tried to interpret you message and construct an example that I
have assumed resembles to what you have told.
I used this example:

cat > c:\\foo\\bar/1.h << EOH
#ifndef _1_H_
# define _1_H_
# include <stdio.h>
#endif
EOH

cat > e:/tmp\\1.c << EOC
#include "c:\foo/bar\1.h"

int main(void)
{
  printf("hello world!\n");

  return 0;
}
EOC


When I start splint with the command:
  splint 1.c
I get the following output:
  Splint 3.1.2 --- 16 Jan 2008

  Finished checking --- no warnings
As can be seen the header and the c file are on different
partitions and the include directive allows for mixed slash
and backslash chars as dir separator.  Also a leading drive
letter is allowed.  I do not use 'a:' because my PC no longer
has a floppy drive.  But that will certainly not matter.

If the difficulty still persists, send me a snippet that
triggers the bug.


Regards,
Juan M. Guerrero