[Coin-discuss] crash in CbcModel::branchAndBound

[John J Forrest]

Esben,

I could not get it to crash with branches/devel, but it did immediately 
with trunk  and I think the bug applies to branches/devel version.

Is it OK now? (trunk and branches/devel)

John Forrest



Esben Mose Hansen <esben at ange.dk> 
Sent by: coin-discuss-bounces at list.coin-or.org
01/09/2007 11:14 AM
Please respond to
Discussions about open source software for Operations Research 
<coin-discuss at list.coin-or.org>


To
coin-discuss at list.coin-or.org
cc

Subject
[Coin-discuss] crash in CbcModel::branchAndBound






Hi,

the problem in this mps file

http://ange.dk/public/crash-job1245.mps.bz2

crashes cbc on both trunk and devel. 

>From my analysis, a new CbcNode is created (named newNode), and then 
later its 
newNode->objectiveValue()->nullParent() is called ... (a member "parent_" 
is 
set to 0, or NULL ) but this info is never set, so we get a segmentation 
fault.

I'm not quite sure what is suppose to happen in this case... but I think 
that 
the code should just check if the info is null, and avoid setting that 
member 
if so. In fact, I can't quite see how that newNode->objectiveValue() can 
be 
other than NULL, but it is so easy to miss a codepath in unfamiliar code.

-- 
kind regards, Esben

_______________________________________________
Coin-discuss mailing list
Coin-discuss at list.coin-or.org
http://list.coin-or.org/mailman/listinfo/coin-discuss

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://list.coin-or.org/pipermail/coin-discuss/attachments/20070111/faec7004/attachment.html>