[gecode-users] Segmentation fault while creating an expression

[Christian Schulte]

Sorry, but that is not enough information for us to even give an idea.

 

It could be a bug in Gecode but also a bug in how you use expressions,
whether you have initialized all variables, etc.

 

Can you provide more detail?

 

Best

Christian

 

--

Christian Schulte, Professor of Computer Science, KTH,
www.ict.kth.se/~cschulte/

 

From: users-bounces at gecode.org [mailto:users-bounces at gecode.org] On Behalf
Of kTorpi
Sent: Tuesday, December 03, 2013 2:20 PM
To: users at gecode.org
Subject: [gecode-users] Segmentation fault while creating an expression

 

Image removed by sender.Dear all,

I'm building a model in which I create lot of Vars, and also complex
expressions (that actually Vars too) using the minimodel module.
Unfortunately after a while I get a segmentation fault from Gecode.

The line that causes the fault is
   Gecode::expr(solver, left + right)

where solver is my Space, and left and right are IntVars (IntVar
references), which can be also a result of a similar line above, or just
simple "leaf" IntVars.

And the line from which the segafult comes is support/heap.hpp:554, in which
the d pointer seems to be NULL or a wrong address
(http://kepfeltoltes.hu/131203/fault_www.kepfeltoltes.hu_.png).

Please, could you tell me something about this errors? What could cause it?
Am I using Gecode in a wrong way?

I use Gecode version 4.2.1 (same thing happens with 4.1.0), g++ 4.7.2, 64
bit linux.

Thank you for your help!

Steve

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.gecode.org/pipermail/users/attachments/20131203/f6c598d5/attachment-0001.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: ~WRD000.jpg
Type: image/jpeg
Size: 823 bytes
Desc: not available
URL: <http://www.gecode.org/pipermail/users/attachments/20131203/f6c598d5/attachment-0001.jpg>