clang/test/Analysis/ms-seh.cpp

   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
   6 void 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 }