[Cbc] stack corruption / assertion failure in CBC

[victor.zverovich at gmail.com]

Hi,

Trying to solve the attached problem with CBC results in stack corruption
(if assertions disabled) or an assertion failure:

$ ./cbc test.nl -AMPL
cbc: .../Cbc/src/Cbc_ampl.cpp:1439: void CoinModel::gdb(int, const char*,
const void*): Assertion `strlen(temp) < 1000' failed.
CBC 2.8.8: Aborted (core dumped)

Here's the stack trace:

__GI_raise() at raise.c:56 0x7ffff6bf0f77
__GI_abort() at abort.c:90 0x7ffff6bf45e8
__assert_fail_base() at assert.c:92 0x7ffff6be9d43
__GI___assert_fail() at assert.c:101 0x7ffff6be9df2
CoinModel::gdb() at Cbc_ampl.cpp:1,439 0x56a5a5
CoinModel::CoinModel() at Cbc_ampl.cpp:785 0x5673f8
readAmpl() at Cbc_ampl.cpp:539 0x56636b
CbcMain1() at CbcSolver.cpp:1,320 0x4e747d
CbcMain1() at CbcSolver.cpp:1,143 0x4e6bf2
main() at CoinSolve.cpp:336 0x4e05f5

Best regards,
Victor
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://list.coin-or.org/pipermail/cbc/attachments/20140512/cb7bc838/attachment-0001.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: test.nl
Type: application/octet-stream
Size: 136726 bytes
Desc: not available
URL: <http://list.coin-or.org/pipermail/cbc/attachments/20140512/cb7bc838/attachment-0001.obj>