[Cbc] stack corruption / assertion failure in CBC

[John Forrest]

Modified (in stable/2.8 and trunk) to give 30 characters per variable - 
hopefully enough.

John Forrest

On 12/05/14 20:19, victor.zverovich at gmail.com wrote:
> Hi,
>
> Trying to solve the attached problem with CBC results in stack 
> corruption (if assertions disabled) or an assertion failure:
>
> $ ./cbc test.nl <http://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
>
>
> _______________________________________________
> Cbc mailing list
> Cbc at list.coin-or.org
> http://list.coin-or.org/mailman/listinfo/cbc

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://list.coin-or.org/pipermail/cbc/attachments/20140513/a8d9e179/attachment.html>