d></td>
  <td colspan="2"><code class="code">output = scarry(input0,input1);</code></td>
</tr>
</tfoot>
</table>
</div></div>
<p>
This operation checks for signed addition overflow or carry
conditions. If the result of adding input0 and input1 as signed
integers overflows the size of the varnodes, output is
assigned <span class="emphasis"><em>true</em></span>. Both inputs must be the same size,
and output must be size 1.
</p>
</div>
<div class="sect2">
<div class="titlepage"><div><div><h3 class="title">
<a 