14 lines · cpp
1// RUN: %clang_analyze_cc1 -analyzer-checker=core,debug.ExprInspection -triple x86_64-pc-windows-msvc19.11.0 -fms-extensions -verify %s2 3void clang_analyzer_warnIfReached();4int filter();5 6void try_except_leave() {7 __try {8 __leave; // no-crash9 clang_analyzer_warnIfReached(); // no-warning10 } __except (filter()) {11 }12 clang_analyzer_warnIfReached(); // expected-warning{{REACHABLE}}13}14