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 // Can you have a catch clause of array type that catches anything? 10 11 // UNSUPPORTED: no-exceptions 12 13 // GCC incorrectly allows function pointer to be caught by reference. 14 // See https://gcc.gnu.org/bugzilla/show_bug.cgi?id=69372 15 // XFAIL: gcc 16 17 #include <cassert> 18 19 template <class Tp> can_convert(Tp)20bool can_convert(Tp) { return true; } 21 22 template <class> can_convert(...)23bool can_convert(...) { return false; } 24 f()25void f() {} 26 main(int,char **)27int main(int, char**) 28 { 29 typedef void Function(); 30 assert(!can_convert<Function&>(&f)); 31 assert(!can_convert<void*>(&f)); 32 try 33 { 34 throw f; // converts to void (*)() 35 assert(false); 36 } 37 catch (Function& b) // can't catch void (*)() 38 { 39 assert(false); 40 } 41 catch (void*) // can't catch as void* 42 { 43 assert(false); 44 } 45 catch(Function*) 46 { 47 } 48 catch (...) 49 { 50 assert(false); 51 } 52 53 return 0; 54 } 55