[Cbc-tickets] [COIN-OR Branch-and-Cut MIP Solver] #106: Array index out of bounds (CBC 2.6)

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

#106: Array index out of bounds (CBC 2.6)
--------------------+-------------------------------------------------------
Reporter:  marcelh  |       Type:  defect
  Status:  new      |   Priority:  major 
 Version:           |   Keywords:        
--------------------+-------------------------------------------------------
 When running the attached small MIP model with Valgrind I get an invalid
 write error with CBC 2.6 (SVN revision 1535):

 Invalid write of size 4 [[BR]] at 0xA4D6851:
 subst_constraint_action::presolve(CoinPresolveMatrix*, int const*, int
 const*, int, CoinPresolveAction const*, int&) (CoinPresolveSubst.cpp:541)
 [[BR]] by 0xA4CD7F8: implied_free_action::presolve(CoinPresolveMatrix*,
 CoinPresolveAction const*, int&) (CoinPresolveImpliedFree.cpp:1233) [[BR]]
 by 0xA26D705: ClpPresolve::presolve(CoinPresolveMatrix*)
 (ClpPresolve.cpp:577) [[BR]] by 0xA2723DF:
 ClpPresolve::gutsOfPresolvedModel(ClpSimplex*, double, bool, int, bool,
 bool) (ClpPresolve.cpp:1582) [[BR]] by 0xA26CCD9:
 ClpPresolve::presolvedModel(ClpSimplex&, double, bool, int, bool, bool)
 (ClpPresolve.cpp:105) [[BR]] by 0xA2ECAAA:
 ClpSimplex::initialSolve(ClpSolve&) (ClpSolve.cpp:479) [[BR]] by
 0xA15C0E7: CbcMain1(int, char const**, CbcModel&, int (*)(CbcModel*, int))
 (CbcSolver.cpp:2547) [[BR]] by 0xA16B754: CbcMain1(int, char const**,
 CbcModel&) (CbcSolver.cpp:1092) [[BR]]

 Thanks,

 Marcel

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