polly/lib/External/isl/isl_test_cpp17.cc

   1 #include <stdlib.h>
   2
   3 #include <exception>
   4 #include <sstream>
   5
   6 #include <isl/options.h>
   7 #include <isl/cpp.h>
   8
   9 /* Throw a runtime exception.
  10  */
  11 static void die_impl(const char *file, int line, const char *message)
  12 {
  13         std::ostringstream ss;
  14         ss << file << ":" << line << ": " << message;
  15         throw std::runtime_error(ss.str());
  16 }
  17
  18 #define die(msg) die_impl(__FILE__, __LINE__, msg)
  19
  20 #include "isl_test_cpp17-generic.cc"
  21
  22 /* Check that an isl::exception_invalid gets thrown by "fn".
  23  */
  24 static void check_invalid(const std::function<void(void)> &fn)
  25 {
  26         bool caught = false;
  27         try {
  28                 fn();
  29         } catch (const isl::exception_invalid &e) {
  30                 caught = true;
  31         }
  32         if (!caught)
  33                 die("no invalid exception was generated");
  34 }
  35
  36 /* Test id::user.
  37  *
  38  * In particular, check that the object attached to an identifier
  39  * can be retrieved again and that retrieving an object of the wrong type
  40  * or retrieving an object when no object was attached results in an exception.
  41  */
  42 static void test_user(isl::ctx ctx)
  43 {
  44         isl::id id(ctx, "test", 5);
  45         isl::id id2(ctx, "test2");
  46         isl::id id3(ctx, "test3", std::string("s"));
  47
  48         auto int_user = id.user<int>();
  49         if (int_user != 5)
  50                 die("wrong integer retrieved from isl::id");
  51         auto s_user = id3.user<std::string>();
  52         if (s_user != "s")
  53                 die("wrong string retrieved from isl::id");
  54         check_invalid([&id] () { id.user<std::string>(); });
  55         check_invalid([&id2] () { id2.user<int>(); });
  56         check_invalid([&id2] () { id2.user<std::string>(); });
  57         check_invalid([&id3] () { id3.user<int>(); });
  58 }
  59
  60 /* Test the C++17 specific features of the (unchecked) isl C++ interface
  61  *
  62  * In particular, test
  63  *  - id::try_user
  64  *  - id::user
  65  */
  66 int main()
  67 {
  68         isl_ctx *ctx = isl_ctx_alloc();
  69
  70         isl_options_set_on_error(ctx, ISL_ON_ERROR_ABORT);
  71
  72         test_try_user(ctx);
  73         test_user(ctx);
  74
  75         isl_ctx_free(ctx);
  76
  77         return EXIT_SUCCESS;
  78 }