isl_test_cpp17-generic.cc

   1 /* A class that sets a boolean when an object of the class gets destroyed.
   2  */
   3 struct S {
   4         S(bool *freed) : freed(freed) {}
   5         ~S();
   6
   7         bool *freed;
   8 };
   9
  10 /* S destructor.
  11  *
  12  * Set the boolean, a pointer to which was passed to the constructor.
  13  */
  14 S::~S()
  15 {
  16         *freed = true;
  17 }
  18
  19 /* Construct an isl::id with an S object attached that sets *freed
  20  * when it gets destroyed.
  21  */
  22 static isl::id construct_id(isl::ctx ctx, bool *freed)
  23 {
  24         auto s = std::make_shared<S>(freed);
  25         isl::id id(ctx, "S", s);
  26         return id;
  27 }
  28
  29 /* Test id::try_user.
  30  *
  31  * In particular, check that the object attached to an identifier
  32  * can be retrieved again, that trying to retrieve an object of the wrong type
  33  * or trying to retrieve an object when no object was attached fails.
  34  * Furthermore, check that the object attached to an identifier
  35  * gets properly freed.
  36  */
  37 static void test_try_user(isl::ctx ctx)
  38 {
  39         isl::id id(ctx, "test", 5);
  40         isl::id id2(ctx, "test2");
  41
  42         auto maybe_int = id.try_user<int>();
  43         auto maybe_s = id.try_user<std::shared_ptr<S>>();
  44         auto maybe_int2 = id2.try_user<int>();
  45
  46         if (!maybe_int)
  47                 die("integer cannot be retrieved from isl::id");
  48         if (maybe_int.value() != 5)
  49                 die("wrong integer retrieved from isl::id");
  50         if (maybe_s)
  51                 die("structure unexpectedly retrieved from isl::id");
  52         if (maybe_int2)
  53                 die("integer unexpectedly retrieved from isl::id");
  54
  55         bool freed = false;
  56         {
  57                 isl::id id = construct_id(ctx, &freed);
  58                 if (freed)
  59                         die("data structure freed prematurely");
  60                 auto maybe_s = id.try_user<std::shared_ptr<S>>();
  61                 if (!maybe_s)
  62                         die("structure cannot be retrieved from isl::id");
  63                 if (maybe_s.value()->freed != &freed)
  64                         die("invalid structure retrieved from isl::id");
  65         }
  66         if (!freed)
  67                 die("data structure not freed");
  68 }