253 lines
4.6 KiB
C
253 lines
4.6 KiB
C
/* { dg-do assemble } */
|
|
|
|
class exception
|
|
{
|
|
};
|
|
class bad_alloc:exception
|
|
{
|
|
};
|
|
class logic_error:exception
|
|
{
|
|
};
|
|
class domain_error:logic_error
|
|
{
|
|
};
|
|
class invalid_argument:logic_error
|
|
{
|
|
};
|
|
class length_error:logic_error
|
|
{
|
|
};
|
|
class overflow_error:exception
|
|
{
|
|
};
|
|
typedef int mpz_t[];
|
|
template < class > class __gmp_expr;
|
|
template <> class __gmp_expr < mpz_t >
|
|
{
|
|
~__gmp_expr ();
|
|
};
|
|
|
|
class PIP_Solution_Node;
|
|
class internal_exception
|
|
{
|
|
~internal_exception ();
|
|
};
|
|
class not_an_integer:internal_exception
|
|
{
|
|
};
|
|
class not_a_variable:internal_exception
|
|
{
|
|
};
|
|
class not_an_optimization_mode:internal_exception
|
|
{
|
|
};
|
|
class not_a_bounded_integer_type_width:internal_exception
|
|
{
|
|
};
|
|
class not_a_bounded_integer_type_representation:internal_exception
|
|
{
|
|
};
|
|
class not_a_bounded_integer_type_overflow:internal_exception
|
|
{
|
|
};
|
|
class not_a_complexity_class:internal_exception
|
|
{
|
|
};
|
|
class not_a_control_parameter_name:internal_exception
|
|
{
|
|
};
|
|
class not_a_control_parameter_value:internal_exception
|
|
{
|
|
};
|
|
class not_a_pip_problem_control_parameter_name:internal_exception
|
|
{
|
|
};
|
|
class not_a_pip_problem_control_parameter_value:internal_exception
|
|
{
|
|
};
|
|
class not_a_relation:internal_exception
|
|
{
|
|
};
|
|
class ppl_handle_mismatch:internal_exception
|
|
{
|
|
};
|
|
class timeout_exception
|
|
{
|
|
~timeout_exception ();
|
|
};
|
|
class deterministic_timeout_exception:timeout_exception
|
|
{
|
|
};
|
|
void __assert_fail (const char *, const char *, int, int *)
|
|
__attribute__ ((__noreturn__));
|
|
void PL_get_pointer (void *);
|
|
int Prolog_is_address ();
|
|
inline int
|
|
Prolog_get_address (void **p1)
|
|
{
|
|
Prolog_is_address ()? static_cast <
|
|
void >(0) : __assert_fail ("Prolog_is_address", "./swi_cfli.hh", 0, 0);
|
|
PL_get_pointer (p1);
|
|
return 0;
|
|
}
|
|
|
|
class non_linear:internal_exception
|
|
{
|
|
};
|
|
class not_unsigned_integer:internal_exception
|
|
{
|
|
};
|
|
class not_universe_or_empty:internal_exception
|
|
{
|
|
};
|
|
class not_a_nil_terminated_list:internal_exception
|
|
{
|
|
};
|
|
class PPL_integer_out_of_range
|
|
{
|
|
__gmp_expr < mpz_t > n;
|
|
};
|
|
void handle_exception ();
|
|
template < typename T > T * term_to_handle (int, const char *)
|
|
{
|
|
if (Prolog_is_address ())
|
|
{
|
|
void *p;
|
|
Prolog_get_address (&p);
|
|
return static_cast < T * >(0);
|
|
}
|
|
throw;
|
|
}
|
|
|
|
void
|
|
ppl_new_MIP_Problem_from_MIP_Problem ()
|
|
try
|
|
{
|
|
term_to_handle < int >(0, "ppl_new_MIP_Problem_from_MIP_Problem/2");
|
|
}
|
|
|
|
catch (exception &)
|
|
{
|
|
}
|
|
|
|
int
|
|
ppl_PIP_Tree_Node_parametric_values ()
|
|
{
|
|
try
|
|
{
|
|
PIP_Solution_Node *a = term_to_handle < PIP_Solution_Node > (0, 0);
|
|
(void)a;
|
|
return 1;
|
|
}
|
|
catch (internal_exception &)
|
|
{
|
|
}
|
|
catch (not_unsigned_integer &)
|
|
{
|
|
handle_exception ();
|
|
}
|
|
catch (non_linear &)
|
|
{
|
|
handle_exception ();
|
|
}
|
|
catch (not_a_variable &)
|
|
{
|
|
handle_exception ();
|
|
}
|
|
catch (not_an_integer &)
|
|
{
|
|
handle_exception ();
|
|
}
|
|
catch (ppl_handle_mismatch &)
|
|
{
|
|
handle_exception ();
|
|
}
|
|
catch (not_an_optimization_mode &)
|
|
{
|
|
handle_exception ();
|
|
}
|
|
catch (not_a_complexity_class &)
|
|
{
|
|
handle_exception ();
|
|
}
|
|
catch (not_a_bounded_integer_type_width &)
|
|
{
|
|
handle_exception ();
|
|
}
|
|
catch (not_a_bounded_integer_type_representation &)
|
|
{
|
|
handle_exception ();
|
|
}
|
|
catch (not_a_bounded_integer_type_overflow &)
|
|
{
|
|
handle_exception ();
|
|
}
|
|
catch (not_a_control_parameter_name &)
|
|
{
|
|
handle_exception ();
|
|
}
|
|
catch (not_a_control_parameter_value &)
|
|
{
|
|
handle_exception ();
|
|
}
|
|
catch (not_a_pip_problem_control_parameter_name &)
|
|
{
|
|
handle_exception ();
|
|
}
|
|
catch (not_a_pip_problem_control_parameter_value &)
|
|
{
|
|
handle_exception ();
|
|
}
|
|
catch (not_universe_or_empty &)
|
|
{
|
|
handle_exception ();
|
|
}
|
|
catch (not_a_relation &)
|
|
{
|
|
handle_exception ();
|
|
}
|
|
catch (not_a_nil_terminated_list &)
|
|
{
|
|
handle_exception ();
|
|
}
|
|
catch (PPL_integer_out_of_range &)
|
|
{
|
|
handle_exception ();
|
|
}
|
|
catch (int &)
|
|
{
|
|
} catch (timeout_exception &)
|
|
{
|
|
handle_exception ();
|
|
} catch (deterministic_timeout_exception &)
|
|
{
|
|
handle_exception ();
|
|
} catch (overflow_error &)
|
|
{
|
|
handle_exception ();
|
|
} catch (domain_error &)
|
|
{
|
|
handle_exception ();
|
|
} catch (length_error &)
|
|
{
|
|
handle_exception ();
|
|
} catch (invalid_argument &)
|
|
{
|
|
handle_exception ();
|
|
} catch (logic_error &)
|
|
{
|
|
handle_exception ();
|
|
} catch (bad_alloc &)
|
|
{
|
|
handle_exception ();
|
|
} catch (exception &)
|
|
{
|
|
handle_exception ();
|
|
} catch ( ...)
|
|
{
|
|
handle_exception ();
|
|
}
|
|
return 0;
|
|
}
|