If a rethrow is encountered in the catch block, then its handler must be marked that it needs stack…

runtime/vm/code_descriptors.h

Index: runtime/vm/code_descriptors.h
===================================================================
--- runtime/vm/code_descriptors.h	(revision 26933)
+++ runtime/vm/code_descriptors.h	(working copy)
@@ -5,6 +5,7 @@
 #ifndef VM_CODE_DESCRIPTORS_H_
 #define VM_CODE_DESCRIPTORS_H_
 
+#include "vm/ast.h"
 #include "vm/code_generator.h"
 #include "vm/globals.h"
 #include "vm/growable_array.h"
@@ -135,6 +136,18 @@
     list_[try_index].needs_stacktrace = needs_stacktrace;
   }
 
+
+  // Called by rethrows, to mark their enclosing handlers.
+  void SetNeedsStacktrace(intptr_t try_index) {
+    // Rethrows can be generated outside a try by the compiler.
+    if (try_index == CatchClauseNode::kInvalidTryIndex) {
+      return;
+    }
+    ASSERT((0 <= try_index) && (try_index < Length()));
+    list_[try_index].needs_stacktrace = true;
+  }
+
+
   RawExceptionHandlers* FinalizeExceptionHandlers(uword entry_point) {
     intptr_t num_handlers = Length();
     const ExceptionHandlers& handlers =