Re: [eclipse-clp-users] Strange Behaviour / Bug in eclipse

From: Hendrik Skubch <skubch_at_vs.uni-kassel.de>
Date: Wed, 11 May 2011 20:08:44 +0200
Hi again,

here is some additional information;
I could recreate the problem with bags, shelves, non-logical variables, 
and dynamic predicates. Global references seem to work, but obviously 
have different semantics.

cheers,
	Hendrik Skubch.

On 05/11/2011 07:25 PM, Hendrik Skubch wrote:
> Hi all!
>
> I ran across a segmentation fault in eclipse when trying to store an
> atom passed through the C embedding interface in a named store.
>
> I could reproduce the behaviour on:
> - Eclipse 6.0#177 running on Linux 2.6.38-8-generic #42-Ubuntu SMP
> x86_64 GNU/Linux
> - Eclipse 6.0#182 running on Linux 2.6.32-31-generic #61-Ubuntu SMP i686
> GNU/Linux
>
> Attached are a c++ and a prolog file to reproduce the behaviour.
>
> Expected Output is:
>
> Eclipse Initialised
> dummy()
> done setting
> Ret is 0
>
> Actual Output:
>
> Eclipse Initialised
> dummy()
> Segmentation fault
>
>
> A gdb backtrace done on the 64 bit system is also attached.
>
>
> Can you give me any advise on what to avoid or what to use instead? In
> the actual program I am storing queries to generate and compare
> different solutions. At this point it is not known which terms
> originated in the C-code, and which purely exist within eclipse.
>
> Cheers,
> Hendrik Skubch.
>
>
>
> ------------------------------------------------------------------------------
> Achieve unprecedented app performance and reliability
> What every C/C++ and Fortran developer should know.
> Learn how Intel has extended the reach of its next-generation tools
> to help boost performance applications - inlcuding clusters.
> http://p.sf.net/sfu/intel-dev2devmay
>
>
>
> _______________________________________________
> ECLiPSe-CLP-Users mailing list
> ECLiPSe-CLP-Users_at_lists.sourceforge.net
> https://lists.sourceforge.net/lists/listinfo/eclipse-clp-users
Received on Wed May 11 2011 - 18:08:56 CEST

This archive was generated by hypermail 2.2.0 : Thu Feb 02 2012 - 02:31:58 CET