Bug in eclipse - can't parse large term

From: Peter Baumgartner <peter_at_uni-koblenz.de>
Date: Tue 20 Mar 2001 10:51:19 PM GMT
Message-ID: <15031.57063.328429.915379@localhost.localdomain>
Dear Eclipse people,

Eclipse seems to have problems with large terms. I isolated the
problem as described below.

We would be really grateful for a solution to this problem!

Many thanks in advance for all answers,

     Peter Baumgartner

-- 
Peter Baumgartner           peter@uni-koblenz.de
Tel. +49 261 287-2777       http://www.uni-koblenz.de/~peter/


Bug report form:
----------------

The ECLiPSe banner with the version number and configuration
(unless visible in the script):

ECLiPSe Constraint Logic Programming System [kernel]
Copyright Imperial College London and ICL 1995-1999
Certain libraries copyright Parc Technologies Ltd 1999
GMP library copyright Free Software Foundation
Version 4.2.2, Wed Dec  1 20:30 1999


Machine type: 
	IBM Thinkpad with Pentium III, 128 MByte RAM, 128 MByte swap

Operating system name and version number: 
	uname -a gives
	Linux robinson 2.2.18 #8 Sun Mar 11 17:48:43 CET 2001 i686 unknown


If graphics is involved, ProTcl and Tcl/Tk release number,
X version number, X server type and window manager:

-- not involved --


Your .eclipserc and ECLIPSE... environment variables, if used:

-- unset -- 


A script which causes the bug to appear, enhanced by comments where
necessary (start from the ECLiPSe banner unless the option -e is used):

Entering

	eclipse -b crash.pl -e "halt."

at the shell prompt immediately gives the following output (the file
crash.pl is included below):


Segmentation violation - possible reasons are:
- a faulty external C function
- certain operations on circular terms
- machine stack overflow
- an internal error in ECLiPSe
Aborting execution....

*** ECLiPSe fatal error: reset/0 called
Segmentation violation - possible reasons are:
- a faulty external C function
- certain operations on circular terms
- machine stack overflow
- an internal error in ECLiPSe
Aborting execution....

*** ECLiPSe fatal error: reset/0 called
ECLiPSe: Fatal error, memory corrupted.




Received on Tue Mar 20 22:54:23 2001

This archive was generated by hypermail 2.1.8 : Wed 16 Nov 2005 06:08:05 PM GMT GMT