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