375</span>    }</div>
<div class="line"><a id="l00376" name="l00376"></a><span class="lineno">  376</span> </div>
<div class="line"><a id="l00377" name="l00377"></a><span class="lineno">  377</span>    <span class="keywordflow">if</span>(old_buffer.origin_data())</div>
<div class="line"><a id="l00378" name="l00378"></a><span class="lineno">  378</span>    {</div>
<div class="line"><a id="l00379" name="l00379"></a><span class="lineno">  379</span>        <span class="comment">// destruct on old buffer</span>