Mailing-List: contact cygwin-help AT sourceware DOT cygnus DOT com; run by ezmlm
List-Subscribe: <mailto:cygwin-subscribe AT sources DOT redhat DOT com>
List-Archive: <http://sources.redhat.com/ml/cygwin/>
List-Post: <mailto:cygwin AT sources DOT redhat DOT com>
List-Help: <mailto:cygwin-help AT sources DOT redhat DOT com>, <http://sources.redhat.com/ml/#faqs>
Sender: cygwin-owner AT sources DOT redhat DOT com
Delivered-To: mailing list cygwin AT sources DOT redhat DOT com
X-Authentication-Warning: viper.cs.Virginia.EDU: evans owned process doing -bs
Date: Mon, 27 Aug 2001 22:00:52 -0400 (EDT)
From: David Evans <devans AT virginia DOT edu>
X-X-Sender:  <nobody AT viper DOT cs DOT Virginia DOT EDU>
To: <cygwin AT cygwin DOT com>
cc: <lclint-bug AT cs DOT virginia DOT edu>
Subject: Re: getting huge amount of errors during tests
In-Reply-To: <3B8A92C4.9355.1B00057@localhost>
Message-ID: <Pine.SUN.4.33.0108272159450.2142-100000@viper.cs.Virginia.EDU>
MIME-Version: 1.0
Content-Type: TEXT/PLAIN; charset=US-ASCII


Hmmm...don't know what's going on here.  I don't have a cygwin machine to
try this on.  If you can use a debugger to try and track this down, that
would be great, otherwise we don't have much chance of fixing it unless we
can reproduce it on some other platform.

--- Dave

On Mon, 27 Aug 2001, Gerrit P. Haase wrote:

> This is one of them:
> ====================
>  Cannot find standard library: ansi.lcd
>       Check LARCH_PATH environment variable.
>  *** Segmentation Violation
>  *** Location (not trusted): Command Line
>  *** Last code point: llmain.c:1051
>  *** Previous code point: llmain.c:806
>  *** Please report bug to lclint-bug AT cs DOT virginia DOT edu
> ====================
> I have both set LARCH_PATH and LCLIMPORTDIR plus CPATH set.
> In bash as in tcsh.
> ansi.lcd is there where it should be.
>
> What went wrong?
>
> It seems my environment settings have no effect on lclint:
> ==========================================================
> 2001-05-20 23:28 i686 unknown by Gerrit
>
> LCLint 3.0.0.13 ---
>
> LARCH_PATH = <not set> (default = .:/usr/lib)
>    --- path used to find larch initialization files and LSL traits
> LCLIMPORTDIR = <not set, default: /usr/imports>
>    --- directory containing lcl standard library files (import with < ... >)
> include path = <no include path> (set by environment variable CPATH and -I
> flags)
>    --- path used to find #include'd files
> systemdirs = /usr/ (set by -systemdirs or envirnoment variable CPATH)
>    --- if file is found on this path, it is treated as a system file for error
> reporting
> ==========================================================
>
> A lot of correct test are there, i assume those where ansi.lcd is not needed
> went correct.
> Another log.file excerpt:
> =========================
>
> Unit Tests:
>
> Checking fileio...
> 0a1
> > /c/lclint/lclint-3.0.0.13/bin/lclint.exe -nof -hints -booltype "bool" -mts
> file -mts filerw filerw.c -expect 3
> 2,31c3,11
> < filerw.c: (in function f)
> < filerw.c:6:14: Invalid transfer from rw_write f2 to rw_read (Must reset file
> <                   between write and read.): fgetc(..., f2, ...)
> <    filerw.c:1:72: f2 becomes rw_write
> <    ./filerw.xh:3:38: f1 becomes rw_read
> < filerw.c:8:22: Invalid transfer from rw_read f1 to rw_write (Must reset file
> <                   between read and write.): fputc(..., f1, ...)
> <    filerw.c:1:39: f1 becomes rw_read
> <    ./filerw.xh:4:44: f1 becomes rw_write
> < filerw.c:12:14: Invalid transfer from rw_write f1 to rw_read (Must reset file
> <                    between write and read.): fgetc(..., f1, ...)
> <    filerw.c:10:22: f1 becomes rw_write
> <    ./filerw.xh:3:38: f1 becomes rw_read
> <
> < Finished LCLint checking --- 3 code errors found, as expected
> <
> < file.c: (in function f)
> < file.c:14:5: Control branches merge with incompatible states for fout (closed
> <                 and open)
> <    file.c:3:27: fout becomes implicitly open
> <    file.c:13:14: fout becomes closed
> < file.c:23:5: Control branches merge with incompatible states for fin (closed
> <                 and open)
> <    file.c:3:16: fin becomes implicitly open
> <    file.c:22:14: fin becomes closed
> < file.c:25:10: Variable res used before definition
> <
> < Finished LCLint checking --- 3 code errors found, as expected
> <
> < Finished LCLint checking --- no code errors found
> ---
> > Cannot find standard library: ansi.lcd
> >      Check LARCH_PATH environment variable.
> > Metastate definition: can't find file file.mts
> > Metastate definition: can't find file filerw.mts
> > *** Segmentation Violation
> > *** Location (not trusted): filerw.mts:1:1
> > *** Last code point: llmain.c:1051
> > *** Previous code point: llmain.c:806
> > *** Please report bug to lclint-bug AT cs DOT virginia DOT edu
> *** FAIL ***
> =========================
> Thanks in advance,
>
> Gerrit
>
> --
> $ uname -a
> CYGWIN_NT-4.0 ISMENE 1.3.2(0.39/3/2) 2001-05-20 23:28 i686 unknown
>
>
>


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