DartVM crash

[DartBot]

This issue was originally filed by da...@google.com

---

void main() {

  try {
    print("Starting here");
    throw new StateError("Throw from here");
    try {
      print("Starting there");
    } catch (e) {
      print("Caught in there: $e");
    }
  } catch (e) {
    print("Caught in here: $e");
  }

  try {
    print("Starting here");
    try {
      print("Starting there");
      throw new StateError("Throw from there");
    } catch (e) {
      print("Caught in there: $e");
    }
  } catch (e) {
    print("Caught in here: $e");
  }
}

What is the expected output? What do you see instead?
Expected:
Starting here
Caught in here: Bad state: Throw from here
Starting here
Starting there
Caught in there: Bad state: Throw from there

Observed:
Segmentation fault (core dumped)

What version of the product are you using?
1.9.0-dev.10.4

On what operating system?
Ubuntu 14.04.2 LTS

What browser (if applicable)?
N/A

Please provide any additional information below.

[DartBot]

This comment was originally written by @mhausner

---

When I run this with a debug build, I see this assertion:

./vm/code_descriptors.h:175: error: expected: list_[i].handler_types != NULL

This is likely a regression in try-catch compilation.

---

Added this to the 1.9 milestone.
Added Area-VM, Accepted labels.

[DartBot]

This comment was originally written by @mhausner

---

I was able to repro the same assertion with this simpler example:

void main() {
  try {
    print("Starting here");
    throw 0;
    try {
    } catch (e) {
    }
  } catch (e) {
    print("Caught in here: $e");
  }
  try {
  } catch (e) {
  }
}

Each try statement in this example is necessary. If eliminated, the program compiles and runs correctly.

[iposva-google]

cc @mhausner.
Set owner to @sgmitrovic.
Removed Priority-Unassigned label.
Added Priority-High label.

[ghost]

Added Started label.

[ghost]

Fixed in r44440. Unreachable exception handlers have their handler type not computed: allow unreachable/uncomputed handlers in exception handler finalization.

---

Added Fixed label.