isl_map_subtract.c: tab_add_constraints: avoid NULL pointer dereference

[isl.git] / isl_range.h

#include <isl_bound.h>

int isl_qpolynomial_bound_on_domain_range(__isl_take isl_basic_set *bset,
        __isl_take isl_qpolynomial *poly, struct isl_bound *bound);