2 * Copyright 2011 Sven Verdoolaege
4 * Use of this software is governed by the MIT license
6 * Written by Sven Verdoolaege
9 /* Check that "obj1" and "obj2" live in the same space,
10 * reporting an error if they do not.
12 isl_stat
FN(TYPE_PAIR
,check_equal_space
)(__isl_keep TYPE1
*obj1
,
13 __isl_keep TYPE2
*obj2
)
17 equal
= FN(TYPE_PAIR
,has_equal_space
)(obj1
, obj2
);
19 return isl_stat_error
;
21 isl_die(FN(TYPE1
,get_ctx
)(obj1
), isl_error_invalid
,
22 "spaces don't match", return isl_stat_error
);