ckd_add
ATF_TC_WITHOUT_HEAD(ckd_add);
ATF_TC_BODY(ckd_add, tc)
ATF_CHECK(!ckd_add(&result, INT_MAX, 0));
ATF_CHECK(ckd_add(&result, INT_MAX, 1));
ATF_TP_ADD_TC(tp, ckd_add);
if (ckd_add(&result, a, b))
} else if (!ckd_add(&dist, diff_context, diff_context) &&
if (ckd_add(&upb, context_vec_ptr->b, diff_context) || upb > (int)len[0])
if (ckd_add(&upd, context_vec_ptr->d, diff_context) || upd > (int)len[1])
if (ckd_add(&upb, context_vec_ptr->b, diff_context) || upb > (int)len[0])
if (ckd_add(&upd, context_vec_ptr->d, diff_context) || upd > (int)len[1])
ckd_add(&size, size, *cp - '0'))
ckd_add(&size, size, *cp - '0'))