lclint-interest message 142

From 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

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- -I../../gcc- -I../../gcc- \
	../../gcc- \
	../../gcc- \
	../../gcc- \
	../../gcc- \
	../../gcc- \
	../../gcc- \
	../../gcc- \
	../../gcc- \
	../../gcc- \
	../../gcc- \
	../../gcc- \
	../../gcc- \
LCLint 2.2a --- 04 Sep 96

../../gcc- 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-,21: Function declaration with non-function type
                                       (likely parse error): module_t : int
../../gcc- (in function module_t)
../../gcc-,21: Parse Error. Attempting to continue.
../../gcc-,23: Function declared inside function (likely
                                       parse error): module_list : int
../../gcc-,36: Function declaration with non-function type
                                       (likely parse error): NULL_MODULE : int
../../gcc- (in function NULL_MODULE)
../../gcc-,24: Function declared inside function (likely
                                       parse error): module_t : int
../../gcc-,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?


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