blob: 9ddec0b601da24406b879baba240e2e9c6c3425f [file] [log] [blame]
/* { 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;
}