isl_test_cpp17-checked.cc

Go to the documentation of this file.

#include <stdlib.h>
 
#include <exception>
#include <iostream>
 
#include <isl/options.h>
#include <isl/cpp-checked.h>
 
/* Select the "checked" interface.
 */
namespace isl { using namespace checked; }
 
/* Print an error message and abort.
 */
static void die_impl(const char *file, int line, const char *message)
{
  std::cerr << file << ":" << line << ": " << message << "\n";
  exit(EXIT_FAILURE);
}
 
#define die(msg) die_impl(__FILE__, __LINE__, msg)
 
#include "isl_test_cpp17-generic.cc"
 
/* Test the C++17 specific features of the isl checked C++ interface
 *
 * In particular, test
 *  - id::try_user
 */
int main()
{
  isl_ctx *ctx = isl_ctx_alloc();
 
  isl_options_set_on_error(ctx, ISL_ON_ERROR_ABORT);
 
  test_try_user(ctx);
 
  isl_ctx_free(ctx);
 
  return EXIT_SUCCESS;
}