neno">  277</span> </div>
<div class="line"><a id="l00278" name="l00278"></a><span class="lineno">  278</span>                         <span class="keywordflow">if</span>(new_buffer.origin_data() != old_buffer.origin_data())</div>
<div class="line"><a id="l00279" name="l00279"></a><span class="lineno">  279</span>                         {</div>
<div class="line"><a id="l00280" name="l00280"></a><span class="lineno">  280</span>                             <span class="comment">// if new_buffer is allocated