reference, declaration → definition
definition → references, declarations, derived classes, virtual overrides
reference to multiple definitions → definitions
unreferenced

    1
    2
    3
    4
    5
    6
    7
    8
    9
   10
   11
   12
   13
   14
   15
   16
   17
   18
   19
   20
   21
   22
   23
   24
   25
   26
   27
   28
   29
   30
   31
   32
   33
   34
   35
   36
   37
   38
   39
   40
   41
   42
   43
   44
   45
   46
   47
   48
   49
   50
   51
   52
   53
   54
   55

// RUN: %clang_cc1 %s -triple=i686-pc-win32 -fsyntax-only -verify -fms-extensions -Wunreachable-code

void f();

void g1() {
  __try {
    f();
    __leave;
    f();  // expected-warning{{will never be executed}}
  } __except(1) {
    f();
  }

  // Completely empty.
  __try {
  } __except(1) {
  }

  __try {
    f();
    return;
  } __except(1) {  // Filter expression should not be marked as unreachable.
    // Empty __except body.
  }
}

void g2() {
  __try {
    // Nested __try.
    __try {
      f();
      __leave;
      f(); // expected-warning{{will never be executed}}
    } __except(2) {
    }
    f();
    __leave;
    f(); // expected-warning{{will never be executed}}
  } __except(1) {
    f();
  }
}

void g3() {
  __try {
    __try {
      f();
    } __except (1) {
      __leave; // should exit outer try
    }
    __leave;
    f(); // expected-warning{{never be executed}}
  } __except (1) {
  }
}