[SCIP] About valgrind error in finding a primal solution

[Brent Kimberley]

Candidate strawman

// test for vector overlap
Inline int vec_overlap_test(v1base, v2base, length) {
 If(v2base>= v1base && v2base <= v1base+length)|| (v2base>= v1base+length && v2base<= v1base+2*length)|| (v1base>= v2base && v1base <= v2base+length)|| (v1base >= v2base+length && v1base >= v2base+2*length){
     Return ~0
}
Return 0
}

// safe copy?
If vec_overlap(src,dest,length) {
    memcpy(src,dst,size)
} else {
  //todo align+reconcile philosophy+spec+reqt+design 😉
  //memove(src,dst,size) || datahazarddetected()
}

From: Scip <scip-bounces at zib.de> On Behalf Of Bayramoglu, Selin
Sent: Tuesday, January 30, 2024 9:09 AM
To: scip at zib.de
Subject: [SCIP] About valgrind error in finding a primal solution

You don't often get email from sbayramoglu3 at gatech.edu<mailto:sbayramoglu3 at gatech.edu>. Learn why this is important<https://aka.ms/LearnAboutSenderIdentification>
Hello everyone,

I am solving an MINLP with SCIP 8.0.0 with default options. I ran my code in Valgrind and just before the first primal solution is found, I get the following Valgrind error:

==72859== Source and destination overlap in memcpy(0xce52388, 0xce52388, 4696)
==72859==    at 0x4C320AD: memcpy@@GLIBC_2.14 (vg_replace_strmem.c:1119)
==72859==    by 0x4EF09C7: BMScopyMemory_call (memory.c:552)
==72859==    by 0x536D0CB: nlpiSetInitialGuessIpopt(Scip*, SCIP_Nlpi*, SCIP_NlpiProblem*, double*, double*, double*, double*) (nlpi_ipopt.cpp:1393)
==72859==    by 0x58A4A73: SCIPnlpiSetInitialGuess (nlpi.c:517)
==72859==    by 0x5943627: SCIPsetNlpiInitialGuess (scip_nlpi.c:356)
==72859==    by 0x52B0B35: heurExec (heur_mpec.c:471)
==72859==    by 0x52B15E6: heurExecMpec (heur_mpec.c:663)
==72859==    by 0x56FFC19: SCIPheurExec (heur.c:1303)
==72859==    by 0x59DF058: SCIPprimalHeuristics (solve.c:354)
==72859==    by 0x59ED9C4: solveNode (solve.c:4215)
==72859==    by 0x59F126E: SCIPsolveCIP (solve.c:4982)
==72859==    by 0x59773CE: SCIPsolve (scip_solve.c:2745)
==72859==    by 0x400DB9: runShell (cmain.c:50)
==72859==    by 0x400E6E: main (cmain.c:71)
==72859==

Please find attached the instance file. Many thanks for your help in advance.

Selin Bayramoglu
THIS MESSAGE IS FOR THE USE OF THE INTENDED RECIPIENT(S) ONLY AND MAY CONTAIN INFORMATION THAT IS PRIVILEGED, PROPRIETARY, CONFIDENTIAL, AND/OR EXEMPT FROM DISCLOSURE UNDER ANY RELEVANT PRIVACY LEGISLATION. No rights to any privilege have been waived. If you are not the intended recipient, you are hereby notified that any review, re-transmission, dissemination, distribution, copying, conversion to hard copy, taking of action in reliance on or other use of this communication is strictly prohibited. If you are not the intended recipient and have received this message in error, please notify me by return e-mail and delete or destroy all copies of this message.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://listserv.zib.de/pipermail/scip/attachments/20240130/83af38ca/attachment.html>