srcval &= 0xffff;
- if ((srcval >= 0x0000 && srcval <= 0xd7ff) ||
+ if ((srcval <= 0xd7ff) ||
(srcval >= 0xdc00 && srcval <= 0xffff)) {
retval = srcval;
} else {
void useBeforeDef_Temp ( const IRSB* bb, const IRStmt* stmt, IRTemp tmp,
Int* def_counts )
{
- if (tmp < 0 || tmp >= bb->tyenv->types_used)
+ if (tmp >= bb->tyenv->types_used)
sanityCheckFail(bb,stmt, "out of range Temp in IRExpr");
if (def_counts[tmp] < 1)
sanityCheckFail(bb,stmt, "IRTemp use before def in IRExpr");
const HChar *err_msg_out_of_range,
const HChar *err_msg_assigned_more_than_once)
{
- if (tmp < 0 || tmp >= n_def_counts) {
+ if (tmp >= n_def_counts) {
sanityCheckFail(bb, stmt, err_msg_out_of_range);
}
while (min <= max) {
Superblock * sb;
SizeT pos = min + (max - min)/2;
- if (pos < 0 || pos >= a->sblocks_used)
+ if (pos >= a->sblocks_used)
return NULL;
sb = a->sblocks[pos];
if ((Addr)&sb->payload_bytes[0] <= ad
POST(sys_poll)
{
- // RES is UWord so always >= 0
- if (SUCCESS && RES >= 0) {
+ if (SUCCESS) {
UInt i;
struct vki_pollfd* ufds = (struct vki_pollfd *)(Addr)ARG1;
for (i = 0; i < ARG2; i++)
&& tteC->tte2ec_ec[k] >= tteC->tte2ec_ec[k+1])
BAD("tteC->tte2ec_ec[..] out of order");
ec_num = tteC->tte2ec_ec[k];
- if (ec_num < 0 || ec_num >= ECLASS_N)
+ if (ec_num >= ECLASS_N)
BAD("tteC->tte2ec_ec[..] out of range");
if (ec_num != i)
continue;
wv = do_ix2vec( wsu, ws );
/* can never happen .. do_ix2vec will assert instead. Oh well. */
if (wv->owner != wsu) return False;
- if (wv->size < 0) return False;
if (wv->size > 0) {
for (i = 0; i < wv->size-1; i++) {
if (wv->words[i] >= wv->words[i+1])