// RUN: %clang_analyze_cc1 -analyzer-checker=core,debug.ExprInspection -triple x86_64-pc-windows-msvc19.11.0 -fms-extensions -verify %s | |
void clang_analyzer_warnIfReached(); | |
int filter(); | |
void try_except_leave() { | |
__try { | |
__leave; // no-crash | |
clang_analyzer_warnIfReached(); // no-warning | |
} __except (filter()) { | |
} | |
clang_analyzer_warnIfReached(); // expected-warning{{REACHABLE}} | |
} |