clang/test/Analysis/unreachable-code-exceptions.cpp

   1 // RUN: %clang_analyze_cc1 -verify %s -fcxx-exceptions -fexceptions -analyzer-checker=core,alpha.deadcode.UnreachableCode
   2
   3 // expected-no-diagnostics
   4
   5 void foo();
   6
   7 void fp_90162() {
   8   try { // no-warning: The TryStmt shouldn't be unreachable.
   9     foo();
  10   } catch (int) {
  11     foo(); // We assume that catch handlers are reachable.
  12   }
  13 }