[Cgl-tickets] Re: [COIN-OR Cut Generator Library] #12: Conditional jump or move depends on uninitialised value

COIN-OR Cut Generator Library coin-trac at coin-or.org
Wed Sep 5 13:20:32 EDT 2007


#12: Conditional jump or move depends on uninitialised value
-------------------------------+--------------------------------------------
  Reporter:  tkr               |       Owner:  rlh       
      Type:  defect            |      Status:  assigned  
  Priority:  minor             |   Milestone:            
 Component:  CglKnapsackCover  |     Version:  stable 0.5
Resolution:                    |    Keywords:            
-------------------------------+--------------------------------------------
Changes (by rlh):

  * status:  new => assigned

Comment:

 Disregard the early msg. I see that the ticket refers to CglKnapsackCover
 version stable 0.5, and the line numbers match up. The line Valgrind is
 complaining about assumes the cover has 2 elements.  Someone commented out
 the code that enforced this condition, i.e.,

 // If no minimal cover was found, pack it in
 1909      //  if (!gotCover || cover.getNumElements() < 2) {
 1910      if (!gotCover) {
 1911        return -1;
 1912      }

 A fix is to re-vert this change, however it's not clear from the svn
 who/why the changed was made.  I'll check with the likly suspects & if
 there are no objections revert back.

-- 
Ticket URL: <https://projects.coin-or.org/Cgl/ticket/12#comment:3>
COIN-OR Cut Generator Library <http://projects.coin-or.org/Cgl>
A library of mixed-integer programming cutting plane generators.



More information about the Cgl-tickets mailing list