Oh, add a test too!

Author: A5rocks

mypy/checker.py

@@ -613,7 +613,11 @@ def check_first_pass(self, recurse_into_functions: bool = True) -> None:
                                 marked_unreachable = True
                             if not self.should_report_unreachable_issues():
                                 finish = True
-                            if not self.is_noop_for_reachability(d) and not reported_unreachable:
+                            if (
+                                not self.is_noop_for_reachability(d)
+                                and not reported_unreachable
+                                and not finish
+                            ):
                                 self.msg.unreachable_statement(d)
                                 finish = True
                                 reported_unreachable = True
@@ -3321,7 +3325,11 @@ def visit_block(self, b: Block) -> None:
                     marked_unreachable = True
                 if not self.should_report_unreachable_issues():
                     finish = True
-                if not self.is_noop_for_reachability(s) and not reported_unreachable:
+                if (
+                    not self.is_noop_for_reachability(s)
+                    and not reported_unreachable
+                    and not finish
+                ):
                     self.msg.unreachable_statement(s)
                     finish = True
                     reported_unreachable = True

test-data/unit/check-unreachable-code.test

@@ -1744,3 +1744,10 @@ assert sys.platform == "win32"
 
 42 + "no way"  # type: ignore[operator]
 [builtins fixtures/isinstancelist.pyi]
+
+
+[case testCheckUnreachableBasics]
+# flags: --check-unreachable --warn-unreachable
+if False:
+    reveal_type(5)  # E: Statement is unreachable \
+                    # N: Revealed type is "Literal[5]?"