Mailing-List:	contact cygwin-help AT cygwin DOT com; run by ezmlm
List-Subscribe:	<mailto:cygwin-subscribe AT cygwin DOT com>
List-Archive:	<http://sources.redhat.com/ml/cygwin/>
List-Post:	<mailto:cygwin AT cygwin DOT com>
List-Help:	<mailto:cygwin-help AT cygwin DOT com>, <http://sources.redhat.com/ml/#faqs>
Sender:	cygwin-owner AT cygwin DOT com
Delivered-To:	mailing list cygwin AT cygwin DOT com
Date:	Mon, 18 Mar 2002 16:31:10 +0100
From:	"Gerrit P. Haase" <freeweb AT nyckelpiga DOT de>
X-Mailer:	The Bat! (v1.54 Beta/45) Business
Reply-To:	"Gerrit P. Haase" <freeweb AT nyckelpiga DOT de>
Organization:	don't eat dead animals
X-Priority:	3 (Normal)
Message-ID:	<12513722141.20020318163110@nyckelpiga.de>
To:	David Evans <devans AT virginia DOT edu>
CC:	splint AT splint DOT org, cygwin AT cygwin DOT com
Subject:	Re: splint on Cygwin?
In-Reply-To:	<Pine.SUN.4.40.0203180932140.29448-100000@viper.cs.Virginia.EDU>
References:	<Pine DOT SUN DOT 4 DOT 40 DOT 0203180932140 DOT 29448-100000 AT viper DOT cs DOT Virginia DOT EDU>
MIME-Version:	1.0

 David,

Montag, 18. März 2002 16:10:05, du schriebst:

>> I want to build it on Cygwin, would be nice to have here;)
>>
>> I'm getting this error during compiletime:
>>
>> make[3]: Entering directory `/splint-3.0.1.6/src'
>> grep "FLG_" flags.def > Headers/flag_codes.gen

> It looks like this step to build flag_codes.gen isn't working.  The file
> Headers/flag_codes.gen  should contain:

>     FLG_NULL,
>     FLG_NULLDEREF,
[...]

It is working, I found that a second compile (after deleting the
executable, no make clean) it compiles without errors.
Maybe a problem with the timing, I have two processors and add -j3 to
the make flags to make use of both of them.

However after compiling again I get lots of segmentation faults.


Most of them with this error:
*** Segmentation Violation
*** Location (not trusted): Command Line
*** Last code point: llmain.c:1165
*** Previous code point: llmain.c:902
*** Please report bug to splint-bug AT splint DOT org

But also some other places:
> *** Segmentation Violation
> *** Location (not trusted): alias.lcl:9:1
> *** Last code point: lcltokentable.c:55
> *** Previous code point: lcltokentable.c:55
> *** Please report bug to splint-bug AT splint DOT org
> 
> *** Segmentation Violation
> *** Location (not trusted): alias2.lcl:6:1
> *** Last code point: lcltokentable.c:55
> *** Previous code point: lcltokentable.c:55
> *** Please report bug to splint-bug AT splint DOT org
> 
> *** Segmentation Violation
> *** Location (not trusted): alias3.lcl:14:1
> *** Last code point: lcltokentable.c:55
> *** Previous code point: lcltokentable.c:55
> *** Please report bug to splint-bug AT splint DOT org
> 
> *** Segmentation Violation
> *** Location (not trusted): alias4.lcl:12:1
> *** Last code point: lcltokentable.c:55
> *** Previous code point: lcltokentable.c:55
> *** Please report bug to splint-bug AT splint DOT org
> 
> *** Segmentation Violation
> *** Location (not trusted): alias4.lcl:12:1
> *** Last code point: lcltokentable.c:55
> *** Previous code point: lcltokentable.c:55
> *** Please report bug to splint-bug AT splint DOT org
> 
> *** Segmentation Violation
> *** Location (not trusted): alias5.lcl:10:1
> *** Last code point: lcltokentable.c:55
> *** Previous code point: lcltokentable.c:55
> *** Please report bug to splint-bug AT splint DOT org
*** FAIL ***

And:
> *** Segmentation Violation
> *** Location (not trusted): args.lcl:8:1
> *** Last code point: lcltokentable.c:55
> *** Previous code point: lcltokentable.c:55
> *** Please report bug to splint-bug AT splint DOT org
*** FAIL ***

and some more with lcltokentable.c.

Maybe the stack is too small?
We have 2MB here.


Gerrit
-- 
$ make signature
make: *** No rule to make target `signature'.  Stop.


--
Unsubscribe info:      http://cygwin.com/ml/#unsubscribe-simple
Bug reporting:         http://cygwin.com/bugs.html
Documentation:         http://cygwin.com/docs.html
FAQ:                   http://cygwin.com/faq/

- Raw text -