1 // RUN: %clang_cc1 -fcxx-exceptions -fexceptions -fsyntax-only -verify %s
2
3 class BaseEx {};
4 class Ex1: public BaseEx {};
5 typedef Ex1 Ex2;
6
7 void f();
8
test()9 void test()
10 try {}
11 catch (BaseEx &e) { f(); } // expected-note 2{{for type 'BaseEx &'}}
12 catch (Ex1 &e) { f(); } // expected-warning {{exception of type 'Ex1 &' will be caught by earlier handler}} \
13 expected-note {{for type 'Ex1 &'}}
14 // FIXME: It would be nicer to only issue one warning on the below line instead
15 // of two. We get two diagnostics because the first one is noticing that there
16 // is a class hierarchy inversion where the earlier base class handler will
17 // catch throwing the derived class and the second one is because Ex2 and Ex1
18 // are the same type after canonicalization.
19 catch (Ex2 &e) { f(); } // expected-warning 2{{exception of type 'Ex2 &' (aka 'Ex1 &') will be caught by earlier handler}}
20
21 namespace GH61177 {
func()22 void func() {
23 const char arr[4] = "abc";
24
25 // We should not issue an "exception will be caught by earlier handler"
26 // diagnostic, as that is a lie.
27 try {
28 throw arr;
29 } catch (char *p) {
30 } catch (const char *p) {
31 }
32 }
33 } // GH61177
34