clang/test/SemaCXX/unreachable-catch-clauses.cpp

   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
   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 {
  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