This is the mail archive of the
cygwin@cygwin.com
mailing list for the Cygwin project.
Re: splint on Cygwin?
- From: "Gerrit P. Haase" <freeweb at nyckelpiga dot de>
- To: David Evans <devans at virginia dot edu>
- Cc: splint at splint dot org, cygwin at cygwin dot com
- Date: Mon, 18 Mar 2002 16:31:10 +0100
- Subject: Re: splint on Cygwin?
- Organization: don't eat dead animals
- References: <Pine.SUN.4.40.0203180932140.29448-100000@viper.cs.Virginia.EDU>
- Reply-to: "Gerrit P. Haase" <freeweb at nyckelpiga dot de>
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@splint.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@splint.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@splint.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@splint.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@splint.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@splint.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@splint.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@splint.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/