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 
1057e446daSAsiri Rathnayake // UNSUPPORTED: libcxxabi-no-exceptions
1157e446daSAsiri 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     }
32*2f984cabSRichard Smith     catch (md2 p)
33e434b34fSJonathan Roelofs     {
34*2f984cabSRichard Smith         assert(!p);
35e434b34fSJonathan Roelofs     }
36e434b34fSJonathan Roelofs     catch (md1)
37e434b34fSJonathan Roelofs     {
38e434b34fSJonathan Roelofs         assert(false);
39e434b34fSJonathan Roelofs     }
40e434b34fSJonathan Roelofs }
41e434b34fSJonathan Roelofs 
42e434b34fSJonathan Roelofs void test2()
43e434b34fSJonathan Roelofs {
44e434b34fSJonathan Roelofs     try
45e434b34fSJonathan Roelofs     {
46e434b34fSJonathan Roelofs         throw nullptr;
47e434b34fSJonathan Roelofs         assert(false);
48e434b34fSJonathan Roelofs     }
49*2f984cabSRichard Smith     catch (md1 p)
50e434b34fSJonathan Roelofs     {
51*2f984cabSRichard Smith         assert(!p);
52e434b34fSJonathan Roelofs     }
53e434b34fSJonathan Roelofs     catch (md2)
54e434b34fSJonathan Roelofs     {
55e434b34fSJonathan Roelofs         assert(false);
56e434b34fSJonathan Roelofs     }
57e434b34fSJonathan Roelofs }
58e434b34fSJonathan Roelofs 
59e434b34fSJonathan Roelofs #else
60e434b34fSJonathan Roelofs 
61e434b34fSJonathan Roelofs void test1()
62e434b34fSJonathan Roelofs {
63e434b34fSJonathan Roelofs }
64e434b34fSJonathan Roelofs 
65e434b34fSJonathan Roelofs void test2()
66e434b34fSJonathan Roelofs {
67e434b34fSJonathan Roelofs }
68e434b34fSJonathan Roelofs 
69e434b34fSJonathan Roelofs #endif
70e434b34fSJonathan Roelofs 
71e434b34fSJonathan Roelofs int main()
72e434b34fSJonathan Roelofs {
73e434b34fSJonathan Roelofs     test1();
74e434b34fSJonathan Roelofs     test2();
75e434b34fSJonathan Roelofs }
76