Opened 8 years ago

Closed 7 weeks ago

#106 closed defect (migrated)

Array index out of bounds (CBC 2.6)

Reported by: marcelh Owned by:
Priority: major Component: Cbc
Version: Keywords:
Cc:

Description

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

Attachments (1)

it058.lp (34.9 KB) - added by marcelh 8 years ago.

Download all attachments as: .zip

Change History (3)

Changed 8 years ago by marcelh

comment:1 Changed 7 years ago by marcelh

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

Marcel

comment:2 Changed 7 weeks ago by stefan

  • Component set to Cbc
  • Resolution set to migrated
  • Status changed from new to closed

This ticket has been migrated to GitHub and will be resolved there: https://github.com/coin-or/Cbc/issues/106

Note: See TracTickets for help on using tickets.