14 lines · cpp
1// RUN: %clang_analyze_cc1 -verify %s -fcxx-exceptions -fexceptions -analyzer-checker=core,alpha.deadcode.UnreachableCode2 3// expected-no-diagnostics4 5void foo();6 7void 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}14