[eclipse-clp-users] Eclipse fatal error with eplex

From: Kostas Oikonomou <ko_at_research.att.com>
Date: Thu, 27 Sep 2012 14:43:47 -0400
Hi,

I have a piece of eclipse code that uses eplex, and some 
associated data.
This is what happens when I run it with 6.0.194 on Linux:

caligula.research.att.com$ eclipse
ECLiPSe Constraint Logic Programming System [kernel]
Kernel and basic libraries copyright Cisco Systems, Inc.
and subject to the Cisco-style Mozilla Public Licence 1.1
(see legal/cmpl.txt or http://eclipseclp.org/licence)
Source available at www.sourceforge.org/projects/eclipse-clp
GMP library copyright Free Software Foundation, see 
legal/lgpl.txt
For other libraries see their individual copyright notices
Version 6.0 #194 (x86_64_linux), Thu Jul  5 03:40 2012
[eclipse 1]: compile("cells-eplex2.ecl").
source_processor.eco loaded in 0.01 seconds
hash.eco   loaded in 0.00 seconds
compiler_common.eco loaded in 0.01 seconds
compiler_normalise.eco loaded in 0.01 seconds
compiler_map.eco loaded in 0.01 seconds
compiler_analysis.eco loaded in 0.01 seconds
compiler_peephole.eco loaded in 0.01 seconds
compiler_codegen.eco loaded in 0.02 seconds
compiler_varclass.eco loaded in 0.01 seconds
compiler_indexing.eco loaded in 0.01 seconds
compiler_regassign.eco loaded in 0.01 seconds
asm.eco    loaded in 0.02 seconds
module_options.eco loaded in 0.01 seconds
ecl_compiler.eco loaded in 0.12 seconds
linearize.eco loaded in 0.01 seconds
constraint_pools.eco loaded in 0.00 seconds
loading OSI clpcbc ... done
empty_language.eco loaded in 0.00 seconds
eplex_standalone.eco loaded in 0.06 seconds
eplex.eco  loaded in 0.07 seconds
cells-eplex2.ecl compiled 147272 bytes in 0.13 seconds

Yes (0.25s cpu)
[eclipse 2]: cells(S).
split ratio = 4

S = [](0, 0, 1, 1, 1, 1, 1, 0, 1, 1, 0, 1, 0, 0, 0, 0, 1, 0, 
0, 0, 0, 0, 0, 0, 0, 1, 0, 0, 0, 0, 0, 0, 0, 1, 1, 1, 0, 1, 
0, 2, 1)
Yes (13.81s cpu)
Fatal signal (signal=11, si_code=1, si_addr=00000018)
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


This code also produces essentially the same error on 
Solaris x86 (OpenIndiana), with Eclipse 6.0.185 and OSI/CBC.

Do you have any suggestions on where to go from here?  (I 
can supply the code and data.)

                                         Kostas
Received on Thu Sep 27 2012 - 18:43:53 CEST

This archive was generated by hypermail 2.2.0 : Sat Sep 29 2012 - 06:14:12 CEST