foot>
</table>
</div></div>
<p>
This operation checks for signed subtraction overflow or borrow
conditions. If the result of subtracting input1 from input0 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.  Note that the equivalent unsigned
subtraction overflow condition
is <span class="bold"><strong>INT_LESS</strong></span>.
</p>
</div>
<div class="sect2">
<div class="titlepage