If an if or do statement always exits, following statements are dead.

pkg/analyzer/test/generated/hint_code_test.dart

Index: pkg/analyzer/test/generated/hint_code_test.dart
diff --git a/pkg/analyzer/test/generated/hint_code_test.dart b/pkg/analyzer/test/generated/hint_code_test.dart
index 39752705c06ccf3780e8a592c3452bb3a52d2117..3f0a3d9ccd525f9b6a8fc792a8bbb7da615f230b 100644
--- a/pkg/analyzer/test/generated/hint_code_test.dart
+++ b/pkg/analyzer/test/generated/hint_code_test.dart
@@ -21,7 +21,7 @@ main() {
 
 @reflectiveTest
 class HintCodeTest extends ResolverTestCase {
-  void fail_deadCode_statementAfterRehrow() {
+  void deadCode_statementAfterRethrow() {

[Brian Wilkerson, 2016/05/20 18:04:28]

nit: These method names need to start with "test_" in order to be recognized by
our "reflectiveTest" support.

[srawlins, 2016/05/23 20:07:53]

Done.

     Source source = addSource(r'''
 f() {
   try {
@@ -36,7 +36,7 @@ f() {
     verify([source]);
   }
 
-  void fail_deadCode_statementAfterThrow() {
+  void deadCode_statementAfterThrow() {
     Source source = addSource(r'''
 f() {
   var one = 1;
@@ -619,6 +619,21 @@ f() {
     verify([source]);
   }
 
+  void test_deadCode_statementAfterExitingIf_returns() {
+    Source source = addSource(r'''
+f() {
+  if (1 > 2) {
+    return;
+  } else {
+    return;
+  }
+  var one = 1;
+}''');
+    computeLibrarySourceErrors(source);
+    assertErrors(source, [HintCode.DEAD_CODE]);
+    verify([source]);
+  }
+
   void test_deprecatedAnnotationUse_assignment() {
     Source source = addSource(r'''
 class A {