Re: [eclipse-clp-users] Segmentation fault — Cygwin + win10

From: Manu goswami <manugoswami_at_...32...>
Date: Sat, 31 Jul 2021 04:45:24 +0000
Hi Mr Schimpf,

Many thanks for the reply.

I could resolve this problem through your advice. Got a scare when things started to fall apart.

Thanks again !

Warm regards
Manu

Get Outlook for iOS<https://aka.ms/o0ukef>
________________________________
From: Joachim Schimpf <jschimpf_at_...311...>
Sent: Friday, July 30, 2021 9:59:49 PM
To: eclipse-clp-users_at_lists.sourceforge.net <eclipse-clp-users_at_...418...forge.net>
Subject: Re: [eclipse-clp-users] Segmentation fault — Cygwin + win10

On 29/07/2021 11:51, Manu goswami wrote:
> Hi developers,
>
> I have been building and using eclipse clp in Cygwin win 10 but suddenly
> eclipse.exe has started to return ‘segmentation fault’
>
> On checking with gdb error is at ec_mark_did (d=0xffffffff00000000) at
> /src//dict.c:1088
>
> This is extremely surprising and came from nowhere. There was no change in code
> or the Cygwin environment. Also build is successful each time but execution fails.


Hi, this looks like a bug that was fixed recently.  If you are building
ECLiPSe yourself, change in Kernel/src/database.h the old line

extern vmcode   *allocate_code_block();

to

Extern vmcode *allocate_code_block(word size, uword btablepos, uword link, uword
bid, uword fid, uword btype, uword cid);


Cheers,
Joachim


>
>
> Kindly help to resolve most urgently.
>
>
> Warm regards,
>
> Manu
>
> Get Outlook for iOS <https://aka.ms/o0ukef>
>
>
> _______________________________________________
> ECLiPSe-CLP-Users mailing list
> ECLiPSe-CLP-Users_at_lists.sourceforge.net
> https://lists.sourceforge.net/lists/listinfo/eclipse-clp-users
>



_______________________________________________
ECLiPSe-CLP-Users mailing list
ECLiPSe-CLP-Users_at_lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/eclipse-clp-users
Received on Sat Jul 31 2021 - 04:45:53 CEST

This archive was generated by hypermail 2.3.0 : Tue Apr 16 2024 - 09:13:20 CEST