1 /*
2 * Copyright 2011 Sven Verdoolaege
3 *
4 * Use of this software is governed by the MIT license
5 *
6 * Written by Sven Verdoolaege
7 */
8
9 /* Check that "obj1" and "obj2" live in the same space,
10 * reporting an error if they do not.
11 */
FN(TYPE_PAIR,check_equal_space)12 isl_stat FN(TYPE_PAIR,check_equal_space)(__isl_keep TYPE1 *obj1,
13 __isl_keep TYPE2 *obj2)
14 {
15 isl_bool equal;
16
17 equal = FN(TYPE_PAIR,has_equal_space)(obj1, obj2);
18 if (equal < 0)
19 return isl_stat_error;
20 if (!equal)
21 isl_die(FN(TYPE1,get_ctx)(obj1), isl_error_invalid,
22 "spaces don't match", return isl_stat_error);
23
24 return isl_stat_ok;
25 }
26