lclint-interest message 142

From janjaap@wit381304.student.utwente.nl Thu Jul  3 12:43:09 1997
Date: Wed, 2 Jul 1997 22:57:05 +0100 (WET DST)
From: Jan-Jaap van der Heijden 
Reply-To: Jan-Jaap van der Heijden 
To: lclint list 
Subject: out of memory
Mime-Version: 1.0
Content-Type: TEXT/PLAIN; charset=US-ASCII

Hello all,

I am Jan-Jaap van der Heijden, member of the GNU Pascal project.
I intend to use lclint for bug-hunting and syntax purifying of the GNU
Pascal compiler (GPC).

My first attempt, on my Linux based home system failed, because it used up
all virtual memory.

So, I moved to an R10000 based SGI irix6.2 system. I built lclint using
GCC (irix5.3 targeting configuration)

`lclint -help version' reports:
LCLint 2.2a --- 04 Sep 96

Maintainer: lclint-bug@larch.lcs.mit.edu
Compiled using gcc -DSTDC_HEADERS=1 -DSYSIRIX64 on IRIX64 cuthbert 6.2 06101031
IP28 by janjaap

Running lclint on GPC sources:

lclint -weak +posixlib +gnuextensions +trytorecover -I. -I.. -I../../gcc-2.7.2.2/p -I../../gcc-2.7.2.2/p/.. -I../../gcc-2.7.2.2/p/../config \
	../../gcc-2.7.2.2/p/gpc-cccp.c \
	../../gcc-2.7.2.2/p/gpc-common.c \
	../../gcc-2.7.2.2/p/gpc-convert.c \
	../../gcc-2.7.2.2/p/gpc-decl.c \
	../../gcc-2.7.2.2/p/gpc-lang.c \
	../../gcc-2.7.2.2/p/gpc-lex.c \
	../../gcc-2.7.2.2/p/gpc-typeck.c \
	../../gcc-2.7.2.2/p/gpc.c \
	../../gcc-2.7.2.2/p/module.c \
	../../gcc-2.7.2.2/p/parse.c \
	../../gcc-2.7.2.2/p/setop.c \
	../../gcc-2.7.2.2/p/util.c \
	../../gcc-2.7.2.2/p/version.c
LCLint 2.2a --- 04 Sep 96

../../gcc-2.7.2.2/p/gpc-cccp.c:212: Include file  is inconsistent with
                                       ANSI library (should use )
  Header  is not part of ANSI Standard. Should use 
  instead. (-usevarargs will suppress message)

[more complaints snipped]

../../gcc-2.7.2.2/p/module.c:62,21: Function declaration with non-function type
                                       (likely parse error): module_t : int
../../gcc-2.7.2.2/p/module.c: (in function module_t)
../../gcc-2.7.2.2/p/module.c:62,21: Parse Error. Attempting to continue.
../../gcc-2.7.2.2/p/module.c:62,23: Function declared inside function (likely
                                       parse error): module_list : int
../../gcc-2.7.2.2/p/module.c:62,36: Function declaration with non-function type
                                       (likely parse error): NULL_MODULE : int
../../gcc-2.7.2.2/p/module.c: (in function NULL_MODULE)
../../gcc-2.7.2.2/p/module.c:63,24: Function declared inside function (likely
                                       parse error): module_t : int
../../gcc-2.7.2.2/p/module.c:63,24: Out of memory.  Allocating 1079831748 bytes
                                       at sRefSet.c:545.
*** Cannot continue.
gmake: *** [lint] Error 1


I'm not surpised it cannot allocate a gig. Is this behaviour the result of
a failed attempt to recover from a parse error or a bug in lclint?

greetings,
JanJaap

---
With sufficient thrust, pigs fly just fine. However, this is not
necessarily a good idea. It is hard to be sure where they are going
to land, and it could be dangerous sitting under them as they fly
overhead.  -- RFC1925.





Previous Message Next Message Archive Summary LCLint Home Page David Evans
University of Virginia, Computer Science
evans@cs.virginia.edu