1e434b34fSJonathan Roelofs //===----------------- catch_member_pointer_nullptr.cpp -------------------===//
2e434b34fSJonathan Roelofs //
3e434b34fSJonathan Roelofs //                     The LLVM Compiler Infrastructure
4e434b34fSJonathan Roelofs //
5e434b34fSJonathan Roelofs // This file is dual licensed under the MIT and the University of Illinois Open
6e434b34fSJonathan Roelofs // Source Licenses. See LICENSE.TXT for details.
7e434b34fSJonathan Roelofs //
8e434b34fSJonathan Roelofs //===----------------------------------------------------------------------===//
9e434b34fSJonathan Roelofs 
10*57e446daSAsiri Rathnayake // UNSUPPORTED: libcxxabi-no-exceptions
11*57e446daSAsiri Rathnayake 
12e434b34fSJonathan Roelofs #include <cassert>
13e434b34fSJonathan Roelofs 
14e434b34fSJonathan Roelofs #if __has_feature(cxx_nullptr)
15e434b34fSJonathan Roelofs 
16e434b34fSJonathan Roelofs struct A
17e434b34fSJonathan Roelofs {
18e434b34fSJonathan Roelofs     const int i;
19e434b34fSJonathan Roelofs     int j;
20e434b34fSJonathan Roelofs };
21e434b34fSJonathan Roelofs 
22e434b34fSJonathan Roelofs typedef const int A::*md1;
23e434b34fSJonathan Roelofs typedef       int A::*md2;
24e434b34fSJonathan Roelofs 
25e434b34fSJonathan Roelofs void test1()
26e434b34fSJonathan Roelofs {
27e434b34fSJonathan Roelofs     try
28e434b34fSJonathan Roelofs     {
29e434b34fSJonathan Roelofs         throw nullptr;
30e434b34fSJonathan Roelofs         assert(false);
31e434b34fSJonathan Roelofs     }
32e434b34fSJonathan Roelofs     catch (md2)
33e434b34fSJonathan Roelofs     {
34e434b34fSJonathan Roelofs     }
35e434b34fSJonathan Roelofs     catch (md1)
36e434b34fSJonathan Roelofs     {
37e434b34fSJonathan Roelofs         assert(false);
38e434b34fSJonathan Roelofs     }
39e434b34fSJonathan Roelofs }
40e434b34fSJonathan Roelofs 
41e434b34fSJonathan Roelofs void test2()
42e434b34fSJonathan Roelofs {
43e434b34fSJonathan Roelofs     try
44e434b34fSJonathan Roelofs     {
45e434b34fSJonathan Roelofs         throw nullptr;
46e434b34fSJonathan Roelofs         assert(false);
47e434b34fSJonathan Roelofs     }
48e434b34fSJonathan Roelofs     catch (md1)
49e434b34fSJonathan Roelofs     {
50e434b34fSJonathan Roelofs     }
51e434b34fSJonathan Roelofs     catch (md2)
52e434b34fSJonathan Roelofs     {
53e434b34fSJonathan Roelofs         assert(false);
54e434b34fSJonathan Roelofs     }
55e434b34fSJonathan Roelofs }
56e434b34fSJonathan Roelofs 
57e434b34fSJonathan Roelofs #else
58e434b34fSJonathan Roelofs 
59e434b34fSJonathan Roelofs void test1()
60e434b34fSJonathan Roelofs {
61e434b34fSJonathan Roelofs }
62e434b34fSJonathan Roelofs 
63e434b34fSJonathan Roelofs void test2()
64e434b34fSJonathan Roelofs {
65e434b34fSJonathan Roelofs }
66e434b34fSJonathan Roelofs 
67e434b34fSJonathan Roelofs #endif
68e434b34fSJonathan Roelofs 
69e434b34fSJonathan Roelofs int main()
70e434b34fSJonathan Roelofs {
71e434b34fSJonathan Roelofs     test1();
72e434b34fSJonathan Roelofs     test2();
73e434b34fSJonathan Roelofs }
74