[Cbc-tickets] [COIN-OR Branch-and-Cut MIP Solver] #16: Crash in CglProbing

[COIN-OR Branch-and-Cut MIP Solver]

#16: Crash in CglProbing
------------------------+---------------------------------------------------
 Reporter:  esben       |       Owner:  somebody
     Type:  defect      |      Status:  new     
 Priority:  major       |   Milestone:          
Component:  component1  |     Version:          
 Keywords:              |  
------------------------+---------------------------------------------------
 The attached mps crash cbc both the devel and trunk branches. The attached
 problem fixes this, but I do worry that I will be spoiling some obscure
 corner case. Essentially, it CglProbing uses numberCliques_==0 to signify
 "inactive", but the patched line instead sets it to -9999. Then it laters
 attempts to allocation -9999 integers, which unsurprisingly crashes with a
 bad_alloc.

 The patch is licensed under the GPL, CPL and LGPL :o)

-- 
Ticket URL: <https://projects.coin-or.org/Cbc/ticket/16>
COIN-OR Branch-and-Cut MIP Solver <http://projects.coin-or.org/Cbc>
An LP-based branch-and-cut MIP solver.