reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
980 if (!v1 || !v2) 982 if (!isl_val_is_int(v1) || !isl_val_is_int(v2)) 983 isl_die(isl_val_get_ctx(v1), isl_error_invalid, 985 if (isl_val_is_nonneg(v1) && isl_val_lt(v1, v2)) { 985 if (isl_val_is_nonneg(v1) && isl_val_lt(v1, v2)) { 987 return v1; 989 v1 = isl_val_cow(v1); 989 v1 = isl_val_cow(v1); 990 if (!v1) 992 isl_int_fdiv_r(v1->n, v1->n, v2->n); 992 isl_int_fdiv_r(v1->n, v1->n, v2->n); 994 return v1; 996 isl_val_free(v1);