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
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

- Raw text -