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