#ifdef DEBUG_CONFIRM
-#define compare_iv(l_iv, r_iv, pnc) compare_iv_dbg(l_iv, r_iv, pnc)
+#define compare_iv(l_iv, r_iv, pnc) compare_iv_dbg(l_iv, r_iv, pnc)
/* forward */
static tarval *compare_iv_dbg(const interval_t *l_iv, const interval_t *r_iv, pn_Cmp pnc);
/* there might be several Confirms one after other that form an interval */
for (;;) {
- if (is_Minus(n) || is_Abs(n)) {
- /* we can safely skip Minus and Abs when checking for != 0 */
+ if (is_Minus(n)) {
+ /* we can safely skip Minus when checking for != 0 */
n = get_unop_op(n);
continue;
}