[Cbc] Segfault on current cbc trunk

[John Forrest]

Tracked down problem.

clapack defines variables as "integer" and uses f2c.h where it has

#typedef long int integer

The number of rows is passed to dgetrf by pointer to an int, but dgetrf 
picks it up as a pointer to a long int - which is quite a large number.

The solution is not to use clapack or to modify all copies of f2c.h.

John Forrest


On 13/01/17 07:32, ycollette.nospam at free.fr wrote:
> Hello,
>
> After all the changes commited to cbc, the following tests still make cbc hangs.
>
> exmip1, nw460, scOneInt, p0033, pack1 (from samples), lseu (from miplib3
>
> Best regards,
>
> YC
>
> ----- Mail original -----
> De: "ycollette nospam" <ycollette.nospam at free.fr>
> À: "cbc" <cbc at list.coin-or.org>
> Envoyé: Vendredi 6 Janvier 2017 13:27:13
> Objet: [Cbc] Segfault on current cbc trunk
>
> Hello,
>
> I found some segfault on the current trunk of cbc.
> The command I used to launch these tests:
>
> cbc exmip1.mps -solution exmip1.out -solve
>
> cbc has been compiled using cmake under linux fedora 64.
>
> exmip1, nw460, scOneInt, p0033, pack1 (from samples), lseu (from miplib3):
>
> #0  0x0000000000abdc18 in idamax_ (n=0x7fffffff1e90, dx=0xe344b8, incx=0xdd4de0 <c__1>) at /home/artelys/repository/coin/Cbc/build/Dependencies/Lapack/src/EP_Lapack/BLAS/SRC/idamax.c:84
> #1  0x0000000000abc01d in dgetf2_ (m=0xe4fc6c, n=0xe4fc6c, a=0xfffffff800e344b0, lda=0xe4fc6c, ipiv=0xe34728, info=0x7fffffff1fa8) at /home/artelys/repository/coin/Cbc/build/Dependencies/Lapack/src/EP_Lapack/SRC/dgetf2.c:147
> #2  0x0000000000ab8d2d in dgetrf_ (m=0xe4fc6c, n=0xe4fc6c, a=0xfffffff800e344b0, lda=0xe4fc6c, ipiv=0xe34728, info=0x7fffffff1fa8) at /home/artelys/repository/coin/Cbc/build/Dependencies/Lapack/src/EP_Lapack/SRC/dgetrf.c:148
> #3  0x00000000009e90a9 in CoinDenseFactorization::factor (this=0xe4fc40) at /home/artelys/repository/coin/Cbc/CoinUtils/src/CoinDenseFactorization.cpp:204
> #4  0x0000000000817b59 in ClpFactorization::factorize (this=0xe4fbe0, model=0xe60550, solveType=0, valuesPass=false) at /home/artelys/repository/coin/Cbc/Clp/src/ClpFactorization.cpp:1898
> #5  0x000000000088fef7 in ClpSimplex::internalFactorize (this=0xe60550, solveType=0) at /home/artelys/repository/coin/Cbc/Clp/src/ClpSimplex.cpp:2010
> #6  0x00000000008b0171 in ClpSimplex::startup (this=0xe60550, ifValuesPass=0, startFinishOptions=7) at /home/artelys/repository/coin/Cbc/Clp/src/ClpSimplex.cpp:8949
> #7  0x00000000008bfe4b in ClpSimplexDual::startupSolve (this=0xe60550, ifValuesPass=0, saveDuals=0x0, startFinishOptions=7) at /home/artelys/repository/coin/Cbc/Clp/src/ClpSimplexDual.cpp:243
> #8  0x00000000008c10ba in ClpSimplexDual::dual (this=0xe60550, ifValuesPass=0, startFinishOptions=7) at /home/artelys/repository/coin/Cbc/Clp/src/ClpSimplexDual.cpp:626
> #9  0x00000000008a215c in ClpSimplex::dual (this=0xe60550, ifValuesPass=0, startFinishOptions=7) at /home/artelys/repository/coin/Cbc/Clp/src/ClpSimplex.cpp:5572
> #10 0x00000000007ccb28 in OsiClpSolverInterface::crunch (this=0xe4ef70) at /home/artelys/repository/coin/Cbc/Clp/src/OsiClp/OsiClpSolverInterface.cpp:7725
> #11 0x00000000007b05ff in OsiClpSolverInterface::resolve (this=0xe4ef70) at /home/artelys/repository/coin/Cbc/Clp/src/OsiClp/OsiClpSolverInterface.cpp:1137
> #12 0x000000000053bca8 in CbcModel::resolve (this=0xe250a0, solver=0xe4f218) at /home/artelys/repository/coin/Cbc/Cbc/src/CbcModel.cpp:14479
> #13 0x000000000052cdbf in CbcModel::resolve (this=0xe250a0, parent=0x0, whereFrom=0, saveSolution=0x0, saveLower=0x0, saveUpper=0x0) at /home/artelys/repository/coin/Cbc/Cbc/src/CbcModel.cpp:10327
> #14 0x000000000050b0e9 in CbcModel::branchAndBound (this=0xe250a0, doStatistics=0) at /home/artelys/repository/coin/Cbc/Cbc/src/CbcModel.cpp:2063
> #15 0x0000000000592da1 in CbcMain1 (argc=3, argv=0x7fffffffdc08, model=..., callBack=0x57856f <dummyCallBack(CbcModel*, int)>, parameterData=...) at /home/artelys/repository/coin/Cbc/Cbc/src/CbcSolver.cpp:7020
> #16 0x0000000000578f9b in CbcMain1 (argc=3, argv=0x7fffffffdc08, model=..., callBack=0x57856f <dummyCallBack(CbcModel*, int)>) at /home/artelys/repository/coin/Cbc/Cbc/src/CbcSolver.cpp:1300
> #17 0x0000000000578c72 in CbcMain1 (argc=3, argv=0x7fffffffdc08, model=...) at /home/artelys/repository/coin/Cbc/Cbc/src/CbcSolver.cpp:1168
> #18 0x00000000005031ee in main (argc=3, argv=0x7fffffffdc08) at /home/artelys/repository/coin/Cbc/Cbc/src/CoinSolve.cpp:336
>
> Best regards,
>
> YC
> _______________________________________________
> Cbc mailing list
> Cbc at list.coin-or.org
> https://urldefense.proofpoint.com/v2/url?u=http-3A__list.coin-2Dor.org_mailman_listinfo_cbc&d=CwICAg&c=Ngd-ta5yRYsqeUsEDgxhcqsYYY1Xs5ogLxWPA_2Wlc4&r=kY-tTJAFuHScYZHjojaaKVZZOEYVVkPpGiWUPr3h80U&m=En5ppX63vfqVB7XrRERZ2kp3g9OMQasXSoXhtWwqKz4&s=Bi6SrerJ2KkPxJM8zE6jwHSizFyAIixyaQelp15YCo4&e=
>
> _______________________________________________
> Cbc mailing list
> Cbc at list.coin-or.org
> https://urldefense.proofpoint.com/v2/url?u=http-3A__list.coin-2Dor.org_mailman_listinfo_cbc&d=CwIGaQ&c=Ngd-ta5yRYsqeUsEDgxhcqsYYY1Xs5ogLxWPA_2Wlc4&r=js2M0T-3OIMIVDvokcKjokJbk0F8QOCd0mT4FsVFE88&m=5yR_Z6GoRwFR0QUFqSbD2jUPdBC1UtWqJKW8yPikkzY&s=9G1_FE0SMt8E2cwBofCCpfBCoAgcY7E-sUnUh4Sr1lk&e=
>
>