Fix unreachable statement after switch with conditional break

src/Analyser/NodeScopeResolver.php

@@ -1011,6 +1011,7 @@ private function processStmtNode(
 				$branchFinalScopeResult = $branchScopeResult->filterOutLoopExitPoints();
 				$hasYield = $hasYield || $branchFinalScopeResult->hasYield();
 				foreach ($branchScopeResult->getExitPointsByType(Break_::class) as $breakExitPoint) {
+					$alwaysTerminating = false;
 					$finalScope = $breakExitPoint->getScope()->mergeWith($finalScope);
 				}
 				foreach ($branchScopeResult->getExitPointsByType(Continue_::class) as $continueExitPoint) {

tests/PHPStan/Rules/DeadCode/UnreachableStatementRuleTest.php

@@ -92,4 +92,10 @@ public function testBug4070Two(): void
 		$this->analyse([__DIR__ . '/data/bug-4070_2.php'], []);
 	}
 
+	public function testBug4076(): void
+	{
+		$this->treatPhpDocTypesAsCertain = true;
+		$this->analyse([__DIR__ . '/data/bug-4076.php'], []);
+	}
+
 }

tests/PHPStan/Rules/DeadCode/data/bug-4076.php

@@ -0,0 +1,25 @@
+<?php
+
+namespace Bug4076;
+
+class Foo
+{
+
+	function test(int $x, int $y): int
+	{
+		switch($x) {
+			case 0:
+				return 0;
+			case 1:
+				if ($y == 2) {
+					// continue after the switch
+					break;
+				}
+			default:
+				return 99;
+		}
+
+		return -1;
+	}
+
+}