isl_type_check_equal_space_templ.c

   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 }