isl_map_coalesce: avoid ignoring constraints redundant wrt implicit equalities
[isl.git] / check_single_reference_templ.c
blob20970b4aa75aac89fad8059108546ddeadc11913
1 #define xFN(TYPE,NAME) TYPE ## _ ## NAME
2 #define FN(TYPE,NAME) xFN(TYPE,NAME)
4 /* Check that "obj" has a single reference.
5 * That is, check that "obj" can be changed inplace.
6 */
7 isl_stat FN(TYPE,check_single_reference)(__isl_keep TYPE *obj)
9 isl_bool single;
11 single = FN(TYPE,has_single_reference)(obj);
12 if (single < 0)
13 return isl_stat_error;
14 if (!single)
15 isl_die(FN(TYPE,get_ctx)(obj), isl_error_invalid,
16 "object should have a single reference",
17 return isl_stat_error);
18 return isl_stat_ok;