<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">
<style type="text/css" style="display:none;"><!-- P {margin-top:0;margin-bottom:0;} --></style>
</head>
<body dir="ltr">
<div id="divtagdefaultwrapper" style="font-size:12pt;color:#000000;font-family:Calibri,Helvetica,sans-serif;" dir="ltr">
<p>Hello,</p>
<p><br>
</p>
<p>I have found a bug in <span style="font-size: 12pt;">branch_multaggr.c: <span style="color: rgb(51, 51, 51); font-family: monospace, fixed; font-size: 13px; text-indent: -53px; white-space: pre-wrap; background-color: rgb(251, 252, 253);">branchruledata->ratioggain
is allocated as block memory but is tried to be freed as normal memory (line 716) which results in an error.</span></span></p>
<p><span style="font-size: 12pt;"><span style="color: rgb(51, 51, 51); font-family: monospace, fixed; font-size: 13px; text-indent: -53px; white-space: pre-wrap; background-color: rgb(251, 252, 253);"><br>
</span></span></p>
<p><span style="font-size: 12pt;"><span style="color: rgb(51, 51, 51); font-family: monospace, fixed; font-size: 13px; text-indent: -53px; white-space: pre-wrap; background-color: rgb(251, 252, 253);">Additionally I have a question about the use of
<span>SCIPallocBuffer. The documentation suggest, that buffer memory should only be used when the memory is allocated and freed in the same function. Thus I am wondering, why some structures have "constructors" that use Buffer memory instead of normal memory
(e.g. <span> createConstantAssignment(), createNodedata(), createTcliqueGraph(), initializeMatrix()).</span></span></span></span></p>
<p><span style="font-size: 12pt;"><span style="color: rgb(51, 51, 51); font-family: monospace, fixed; font-size: 13px; text-indent: -53px; white-space: pre-wrap; background-color: rgb(251, 252, 253);"><span><span><br>
</span></span></span></span></p>
<p><span style="font-size: 12pt;"><span style="color: rgb(51, 51, 51); font-family: monospace, fixed; font-size: 13px; text-indent: -53px; white-space: pre-wrap; background-color: rgb(251, 252, 253);"><span><span>Best Regards,</span></span></span></span></p>
<p><span style="font-size: 12pt;"><span style="color: rgb(51, 51, 51); font-family: monospace, fixed; font-size: 13px; text-indent: -53px; white-space: pre-wrap; background-color: rgb(251, 252, 253);"><span><span>Tony</span></span></span></span></p>
<p></p>
<div style="text-indent: -53px;"><font color="#333333" face="monospace, fixed"><span style="font-size: 13px; white-space: pre-wrap;"><br>
</span></font></div>
<div style="text-indent: -53px;"><font color="#333333" face="monospace, fixed"><span style="font-size: 13px; white-space: pre-wrap;">A</span></font></div>
<span style="font-size: 12pt;"><span style="color: rgb(51, 51, 51); font-family: monospace, fixed; font-size: 13px; text-indent: -53px; white-space: pre-wrap; background-color: rgb(251, 252, 253);"></span></span>
<div><br>
</div>
<p></p>
</div>
</body>
</html>