coin-or / Cbc.old

This is a mirror of the subversion repository on COIN-OR
https://projects.coin-or.org/Cbc
Other
88 stars 30 forks source link

[Trac #106] Array index out of bounds (CBC 2.6) #98

Open s-c-e opened 5 years ago

s-c-e commented 5 years ago

image

Attachment: https://github.com/s-c-e/cbc-trac-migration-attachments/blob/master/trac-ticket-106.zip

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 at 0xA4D6851: subst_constraint_action::presolve(CoinPresolveMatrix?, int const, int const, int, CoinPresolveAction? const, int&) (CoinPresolveSubst?.cpp:541) by 0xA4CD7F8: implied_free_action::presolve(CoinPresolveMatrix?, CoinPresolveAction? const, int&) (CoinPresolveImpliedFree?.cpp:1233) by 0xA26D705: ClpPresolve::presolve(CoinPresolveMatrix?) (ClpPresolve?.cpp:577) by 0xA2723DF: ClpPresolve::gutsOfPresolvedModel(ClpSimplex?, double, bool, int, bool, bool) (ClpPresolve?.cpp:1582) by 0xA26CCD9: ClpPresolve::presolvedModel(ClpSimplex?&, double, bool, int, bool, bool) (ClpPresolve?.cpp:105) by 0xA2ECAAA: ClpSimplex::initialSolve(ClpSolve?&) (ClpSolve?.cpp:479) by 0xA15C0E7: CbcMain1(int, char const, CbcModel?&, int ()(CbcModel?, int)) (CbcSolver?.cpp:2547) by 0xA16B754: CbcMain1(int, char const, CbcModel?&) (CbcSolver?.cpp:1092) Thanks,

Marcel

======

This issue seems to be resolved with CBC 2.7 revision 1708.

Marcel