| 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 | */ |
| 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 |