libcxxabi/test/catch_member_data_pointer_01.pass.cpp

   1 //===----------------------------------------------------------------------===//
   2 //
   3 // Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
   4 // See https://llvm.org/LICENSE.txt for license information.
   5 // SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
   6 //
   7 //===----------------------------------------------------------------------===//
   8
   9 // UNSUPPORTED: no-exceptions
  10
  11 #include <cassert>
  12
  13 struct A
  14 {
  15     A() : i(0), j(0) {} // explicitly initialize 'i' to prevent warnings
  16     const int i;
  17     int j;
  18 };
  19
  20 typedef const int A::*md1;
  21 typedef       int A::*md2;
  22
  23 struct B : public A
  24 {
  25     B() : k(0), l(0) {} // explicitly initialize 'k' to prevent warnings.
  26     const int k;
  27     int l;
  28 };
  29
  30 typedef const int B::*der1;
  31 typedef       int B::*der2;
  32
  33 void test1()
  34 {
  35     try
  36     {
  37         throw &A::i;
  38         assert(false);
  39     }
  40     catch (md2)
  41     {
  42         assert(false);
  43     }
  44     catch (md1)
  45     {
  46     }
  47 }
  48
  49 // Check that cv qualified conversions are allowed.
  50 void test2()
  51 {
  52     try
  53     {
  54         throw &A::j;
  55     }
  56     catch (md2)
  57     {
  58     }
  59     catch (...)
  60     {
  61         assert(false);
  62     }
  63
  64     try
  65     {
  66         throw &A::j;
  67         assert(false);
  68     }
  69     catch (md1)
  70     {
  71     }
  72     catch (...)
  73     {
  74         assert(false);
  75     }
  76 }
  77
  78 // Check that Base -> Derived conversions are NOT allowed.
  79 void test3()
  80 {
  81     try
  82     {
  83         throw &A::i;
  84         assert(false);
  85     }
  86     catch (md2)
  87     {
  88         assert(false);
  89     }
  90     catch (der2)
  91     {
  92         assert(false);
  93     }
  94     catch (der1)
  95     {
  96         assert(false);
  97     }
  98     catch (md1)
  99     {
 100     }
 101 }
 102
 103 // Check that Base -> Derived conversions NOT are allowed with different cv
 104 // qualifiers.
 105 void test4()
 106 {
 107     try
 108     {
 109         throw &A::j;
 110         assert(false);
 111     }
 112     catch (der2)
 113     {
 114         assert(false);
 115     }
 116     catch (der1)
 117     {
 118         assert(false);
 119     }
 120     catch (md2)
 121     {
 122     }
 123     catch (...)
 124     {
 125         assert(false);
 126     }
 127 }
 128
 129 // Check that no Derived -> Base conversions are allowed.
 130 void test5()
 131 {
 132     try
 133     {
 134         throw &B::k;
 135         assert(false);
 136     }
 137     catch (md1)
 138     {
 139         assert(false);
 140     }
 141     catch (md2)
 142     {
 143         assert(false);
 144     }
 145     catch (der1)
 146     {
 147     }
 148
 149     try
 150     {
 151         throw &B::l;
 152         assert(false);
 153     }
 154     catch (md1)
 155     {
 156         assert(false);
 157     }
 158     catch (md2)
 159     {
 160         assert(false);
 161     }
 162     catch (der2)
 163     {
 164     }
 165 }
 166
 167 int main(int, char**)
 168 {
 169     test1();
 170     test2();
 171     test3();
 172     test4();
 173     test5();
 174
 175     return 0;
 176 }