Do not error on dead, mandated statements at end of switch cases

pkg/analyzer/test/generated/non_hint_code_test.dart

Index: pkg/analyzer/test/generated/non_hint_code_test.dart
diff --git a/pkg/analyzer/test/generated/non_hint_code_test.dart b/pkg/analyzer/test/generated/non_hint_code_test.dart
index 74760a506a11e9bc981e787303638b6ba0c818d7..13abb033c61f3ade9cce1eca22d910bf5a05c31b 100644
--- a/pkg/analyzer/test/generated/non_hint_code_test.dart
+++ b/pkg/analyzer/test/generated/non_hint_code_test.dart
@@ -190,6 +190,26 @@ f() {
     verify([source]);
   }
 
+  void test_deadCode_deadFinalBreakInCase() {
+    Source source = addSource(r'''
+f() {
+  switch (true) {
+  case true:
+    try {
+      int a = 1;
+    } finally {
+      return;
+    }
+    break;

[Paul Berry, 2016/06/14 18:39:27]

Please also add tests for the other kind of statements you're checking for
(continue, return, throw).

(Assuming you take my previous suggestion and make those statements generate
hints, then the additional tests should of course go in hint_code_test.dart).

[srawlins, 2016/06/14 21:09:55]

Acknowledged.

+  default:
+    break;
+  }
+}''');
+    computeLibrarySourceErrors(source);
+    assertNoErrors(source);
+    verify([source]);
+  }
+
   void test_deprecatedMemberUse_inDeprecatedClass() {
     Source source = addSource(r'''
 @deprecated