isl_type_check_equal_space_templ.c

Go to the documentation of this file.

/*
 * Copyright 2011      Sven Verdoolaege
 *
 * Use of this software is governed by the MIT license
 *
 * Written by Sven Verdoolaege
 */
 
/* Check that "obj1" and "obj2" live in the same space,
 * reporting an error if they do not.
 */
isl_stat FN(TYPE_PAIR,check_equal_space)(__isl_keep TYPE1 *obj1,
  __isl_keep TYPE2 *obj2)
{
  isl_bool equal;
 
  equal = FN(TYPE_PAIR,has_equal_space)(obj1, obj2);
  if (equal < 0)
    return isl_stat_error;
  if (!equal)
    isl_die(FN(TYPE1,get_ctx)(obj1), isl_error_invalid,
      "spaces don't match", return isl_stat_error);
 
  return isl_stat_ok;
}