set_prev (struct et_occ *occ, struct et_occ *t)
{
#ifdef DEBUG_ET
- if (occ == t)
- abort ();
+ gcc_assert (occ != t);
#endif
occ->prev = t;
set_next (struct et_occ *occ, struct et_occ *t)
{
#ifdef DEBUG_ET
- if (occ == t)
- abort ();
+ gcc_assert (occ != t);
#endif
occ->next = t;
if (!occ)
return;
- if (occ->parent == occ)
- abort ();
-
- if (occ->prev == occ)
- abort ();
-
- if (occ->next == occ)
- abort ();
-
- if (occ->next && occ->next == occ->prev)
- abort ();
+ gcc_assert (occ->parent != occ);
+ gcc_assert (occ->prev != occ);
+ gcc_assert (occ->next != occ);
+ gcc_assert (!occ->next || occ->next != occ->prev);
if (occ->next)
{
- if (occ->next == occ->parent)
- abort ();
-
- if (occ->next->parent != occ)
- abort ();
+ gcc_assert (occ->next != occ->parent);
+ gcc_assert (occ->next->parent == occ);
}
if (occ->prev)
{
- if (occ->prev == occ->parent)
- abort ();
-
- if (occ->prev->parent != occ)
- abort ();
+ gcc_assert (occ->prev != occ->parent);
+ gcc_assert (occ->prev->parent == occ);
}
- if (occ->parent
- && occ->parent->prev != occ
- && occ->parent->next != occ)
- abort ();
+ gcc_assert (!occ->parent
+ || occ->parent->prev == occ
+ || occ->parent->next == occ);
}
/* Checks whether tree rooted at OCC is sane. */
fprintf (stderr, "%d (%d); ", ((basic_block) occ->of->data)->index, depth);
- if (len >= MAX_NODES)
- abort ();
+ gcc_assert (len < MAX_NODES);
depths[len] = depth;
datas[len] = occ->of;
mn = m;
}
- if (mn != occ->min + depth - occ->depth)
- abort ();
+ gcc_assert (mn == occ->min + depth - occ->depth);
return mn;
}
}
len--;
- if (depths[len] != depth
- || datas[len] != occ->of)
- abort ();
+ gcc_assert (depths[len] == depth && datas[len] == occ->of);
if (occ->prev)
{
mn = m;
}
- if (mn != occ->min + depth - occ->depth)
- abort ();
+ gcc_assert (mn == occ->min + depth - occ->depth);
return mn;
}
occ = occ->parent;
check_path_after_1 (occ, 0);
- if (len != 0)
- abort ();
+ gcc_assert (!len);
}
#endif