34 lines · cpp
1// RUN: %clang_cc1 -fcxx-exceptions -fexceptions -fsyntax-only -verify %s2 3class BaseEx {};4class Ex1: public BaseEx {};5typedef Ex1 Ex2;6 7void f();8 9void test()10try {}11catch (BaseEx &e) { f(); } // expected-note 2{{for type 'BaseEx &'}}12catch (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 instead15// of two. We get two diagnostics because the first one is noticing that there16// is a class hierarchy inversion where the earlier base class handler will17// catch throwing the derived class and the second one is because Ex2 and Ex118// are the same type after canonicalization.19catch (Ex2 &e) { f(); } // expected-warning 2{{exception of type 'Ex2 &' (aka 'Ex1 &') will be caught by earlier handler}}20 21namespace GH61177 {22void 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} // GH6117734