diff --git a/src/Analyser/NodeScopeResolver.php b/src/Analyser/NodeScopeResolver.php
index 868f77f1f6..dbceccc51a 100644
--- a/src/Analyser/NodeScopeResolver.php
+++ b/src/Analyser/NodeScopeResolver.php
@@ -809,7 +809,7 @@ private function processStmtNode(
 				$finalScope,
 				$finalScopeResult->hasYield() || $condResult->hasYield(),
 				$isIterableAtLeastOnce->yes() && $finalScopeResult->isAlwaysTerminating(),
-				[]
+				$finalScopeResult->getExitPointsForOuterLoop()
 			);
 		} elseif ($stmt instanceof While_) {
 			$condResult = $this->processExprNode($stmt->cond, $scope, static function (): void {
@@ -875,7 +875,7 @@ private function processStmtNode(
 				$finalScope,
 				$finalScopeResult->hasYield() || $condResult->hasYield(),
 				$isAlwaysTerminating,
-				[]
+				$finalScopeResult->getExitPointsForOuterLoop()
 			);
 		} elseif ($stmt instanceof Do_) {
 			$finalScope = null;
@@ -940,7 +940,7 @@ private function processStmtNode(
 				$finalScope,
 				$bodyScopeResult->hasYield() || $hasYield,
 				$alwaysTerminating,
-				[]
+				$bodyScopeResult->getExitPointsForOuterLoop()
 			);
 		} elseif ($stmt instanceof For_) {
 			$initScope = $scope;
@@ -1014,7 +1014,7 @@ private function processStmtNode(
 				$finalScope,
 				$finalScopeResult->hasYield() || $hasYield,
 				false/* $finalScopeResult->isAlwaysTerminating() && $isAlwaysIterable*/,
-				[]
+				$finalScopeResult->getExitPointsForOuterLoop()
 			);
 		} elseif ($stmt instanceof Switch_) {
 			$condResult = $this->processExprNode($stmt->cond, $scope, $nodeCallback, ExpressionContext::createDeep());
@@ -1025,6 +1025,7 @@ private function processStmtNode(
 			$hasDefaultCase = false;
 			$alwaysTerminating = true;
 			$hasYield = $condResult->hasYield();
+			$exitPointsForOuterLoop = [];
 			foreach ($stmt->cases as $caseNode) {
 				if ($caseNode->cond !== null) {
 					$condExpr = new BinaryOp\Equal($stmt->cond, $caseNode->cond);
@@ -1047,6 +1048,7 @@ private function processStmtNode(
 				foreach ($branchScopeResult->getExitPointsByType(Continue_::class) as $continueExitPoint) {
 					$finalScope = $continueExitPoint->getScope()->mergeWith($finalScope);
 				}
+				$exitPointsForOuterLoop = array_merge($exitPointsForOuterLoop, $branchFinalScopeResult->getExitPointsForOuterLoop());
 				if ($branchScopeResult->isAlwaysTerminating()) {
 					$alwaysTerminating = $alwaysTerminating && $branchFinalScopeResult->isAlwaysTerminating();
 					$prevScope = null;
@@ -1074,7 +1076,7 @@ private function processStmtNode(
 				$finalScope = $scope->mergeWith($finalScope);
 			}
 
-			return new StatementResult($finalScope, $hasYield, $alwaysTerminating, []);
+			return new StatementResult($finalScope, $hasYield, $alwaysTerminating, $exitPointsForOuterLoop);
 		} elseif ($stmt instanceof TryCatch) {
 			$branchScopeResult = $this->processStmtNodes($stmt, $stmt->stmts, $scope, $nodeCallback);
 			$branchScope = $branchScopeResult->getScope();
diff --git a/src/Analyser/StatementResult.php b/src/Analyser/StatementResult.php
index e589fb9434..8e6f3c1d6c 100644
--- a/src/Analyser/StatementResult.php
+++ b/src/Analyser/StatementResult.php
@@ -2,6 +2,7 @@
 
 namespace PHPStan\Analyser;
 
+use PhpParser\Node\Scalar\LNumber;
 use PhpParser\Node\Stmt;
 
 class StatementResult
@@ -58,12 +59,20 @@ public function filterOutLoopExitPoints(): self
 
 		foreach ($this->exitPoints as $exitPoint) {
 			$statement = $exitPoint->getStatement();
-			if (
-				$statement instanceof Stmt\Break_
-				|| $statement instanceof Stmt\Continue_
-			) {
+			if (!$statement instanceof Stmt\Break_ && !$statement instanceof Stmt\Continue_) {
+				continue;
+			}
+
+			$num = $statement->num;
+			if (!$num instanceof LNumber) {
 				return new self($this->scope, $this->hasYield, false, $this->exitPoints);
 			}
+
+			if ($num->value !== 1) {
+				continue;
+			}
+
+			return new self($this->scope, $this->hasYield, false, $this->exitPoints);
 		}
 
 		return $this;
@@ -78,14 +87,31 @@ public function getExitPoints(): array
 	}
 
 	/**
-	 * @param string $stmtClass
+	 * @param class-string<Stmt\Continue_>|class-string<Stmt\Break_> $stmtClass
 	 * @return StatementExitPoint[]
 	 */
 	public function getExitPointsByType(string $stmtClass): array
 	{
 		$exitPoints = [];
 		foreach ($this->exitPoints as $exitPoint) {
-			if (!$exitPoint->getStatement() instanceof $stmtClass) {
+			$statement = $exitPoint->getStatement();
+			if (!$statement instanceof $stmtClass) {
+				continue;
+			}
+
+			$value = $statement->num;
+			if ($value === null) {
+				$exitPoints[] = $exitPoint;
+				continue;
+			}
+
+			if (!$value instanceof LNumber) {
+				$exitPoints[] = $exitPoint;
+				continue;
+			}
+
+			$value = $value->value;
+			if ($value !== 1) {
 				continue;
 			}
 
@@ -95,4 +121,42 @@ public function getExitPointsByType(string $stmtClass): array
 		return $exitPoints;
 	}
 
+	/**
+	 * @return StatementExitPoint[]
+	 */
+	public function getExitPointsForOuterLoop(): array
+	{
+		$exitPoints = [];
+		foreach ($this->exitPoints as $exitPoint) {
+			$statement = $exitPoint->getStatement();
+			if (!$statement instanceof Stmt\Continue_ && !$statement instanceof Stmt\Break_) {
+				continue;
+			}
+			if ($statement->num === null) {
+				continue;
+			}
+			if (!$statement->num instanceof LNumber) {
+				continue;
+			}
+			$value = $statement->num->value;
+			if ($value === 1) {
+				continue;
+			}
+
+			$newNode = null;
+			if ($value > 2) {
+				$newNode = new LNumber($value - 1);
+			}
+			if ($statement instanceof Stmt\Continue_) {
+				$newStatement = new Stmt\Continue_($newNode);
+			} else {
+				$newStatement = new Stmt\Break_($newNode);
+			}
+
+			$exitPoints[] = new StatementExitPoint($newStatement, $exitPoint->getScope());
+		}
+
+		return $exitPoints;
+	}
+
 }
diff --git a/tests/PHPStan/Analyser/NodeScopeResolverTest.php b/tests/PHPStan/Analyser/NodeScopeResolverTest.php
index 0ace2ff0c1..eebb2f7066 100644
--- a/tests/PHPStan/Analyser/NodeScopeResolverTest.php
+++ b/tests/PHPStan/Analyser/NodeScopeResolverTest.php
@@ -10777,6 +10777,31 @@ public function dataBug3777(): array
 		return $this->gatherAssertTypes(__DIR__ . '/../Rules/Properties/data/bug-3777.php');
 	}
 
+	public function dataBug2549(): array
+	{
+		return $this->gatherAssertTypes(__DIR__ . '/data/bug-2549.php');
+	}
+
+	public function dataBug1945(): array
+	{
+		return $this->gatherAssertTypes(__DIR__ . '/data/bug-1945.php');
+	}
+
+	public function dataBug2003(): array
+	{
+		return $this->gatherAssertTypes(__DIR__ . '/data/bug-2003.php');
+	}
+
+	public function dataBug651(): array
+	{
+		return $this->gatherAssertTypes(__DIR__ . '/data/bug-651.php');
+	}
+
+	public function dataBug1283(): array
+	{
+		return $this->gatherAssertTypes(__DIR__ . '/data/bug-1283.php');
+	}
+
 	/**
 	 * @param string $file
 	 * @return array<string, mixed[]>
@@ -10994,6 +11019,11 @@ private function gatherAssertTypes(string $file): array
 	 * @dataProvider dataBug4504
 	 * @dataProvider dataBug4436
 	 * @dataProvider dataBug3777
+	 * @dataProvider dataBug2549
+	 * @dataProvider dataBug1945
+	 * @dataProvider dataBug2003
+	 * @dataProvider dataBug651
+	 * @dataProvider dataBug1283
 	 * @param string $assertType
 	 * @param string $file
 	 * @param mixed ...$args
diff --git a/tests/PHPStan/Analyser/data/bug-1283.php b/tests/PHPStan/Analyser/data/bug-1283.php
new file mode 100644
index 0000000000..f124e47c98
--- /dev/null
+++ b/tests/PHPStan/Analyser/data/bug-1283.php
@@ -0,0 +1,27 @@
+<?php
+
+namespace Bug1283;
+
+use PHPStan\TrinaryLogic;
+use function PHPStan\Analyser\assertType;
+use function PHPStan\Analyser\assertVariableCertainty;
+
+function (array $levels): void {
+	foreach ($levels as $level) {
+		switch ($level) {
+			case 'all':
+				continue 2;
+			case 'some':
+				$allowedElements = array(1, 3);
+				break;
+			case 'one':
+				$allowedElements = array(1);
+				break;
+			default:
+				throw new \UnexpectedValueException(sprintf('Unsupported level `%s`', $level));
+		}
+
+		assertType('array(0 => 1, ?1 => 3)', $allowedElements);
+		assertVariableCertainty(TrinaryLogic::createYes(), $allowedElements);
+	}
+};
diff --git a/tests/PHPStan/Analyser/data/bug-1945.php b/tests/PHPStan/Analyser/data/bug-1945.php
new file mode 100644
index 0000000000..17b29940b7
--- /dev/null
+++ b/tests/PHPStan/Analyser/data/bug-1945.php
@@ -0,0 +1,106 @@
+<?php
+
+namespace Bug1945;
+
+use PHPStan\TrinaryLogic;
+use function PHPStan\Analyser\assertType;
+use function PHPStan\Analyser\assertVariableCertainty;
+
+function (): void {
+	foreach (["a", "b", "c"] as $letter) {
+		switch ($letter) {
+			case "b":
+				$foo = 1;
+				break;
+			case "c":
+				$foo = 2;
+				break;
+			default:
+				continue 2;
+		}
+
+		assertType('1|2', $foo);
+		assertVariableCertainty(TrinaryLogic::createYes(), $foo);
+	}
+};
+
+function (): void {
+	foreach (["a", "b", "c"] as $letter) {
+		switch ($letter) {
+			case "a":
+				if (rand(0, 10) === 1) {
+					continue 2;
+				}
+				$foo = 1;
+				break;
+			case "b":
+				if (rand(0, 10) === 1) {
+					continue 2;
+				}
+				$foo = 2;
+				break;
+			default:
+				continue 2;
+		}
+
+		assertType('1|2', $foo);
+		assertVariableCertainty(TrinaryLogic::createYes(), $foo);
+	}
+};
+
+function (array $docs): void {
+	foreach ($docs as $doc) {
+		switch (true) {
+			case 'bar':
+				continue 2;
+				break;
+			default:
+				$foo = $doc;
+				break;
+		}
+
+		assertVariableCertainty(TrinaryLogic::createYes(), $foo);
+		if (!$foo) {
+			return;
+		}
+	}
+};
+
+function (array $docs): void {
+	foreach ($docs as $doc) {
+		switch (true) {
+			case 'bar':
+				continue 2;
+			default:
+				$foo = $doc;
+				break;
+		}
+
+		assertVariableCertainty(TrinaryLogic::createYes(), $foo);
+		if (!$foo) {
+			return;
+		}
+	}
+};
+
+function (array $items): string {
+	foreach ($items as $item) {
+		switch ($item) {
+			case 1:
+				$string = 'a';
+				break;
+			case 2:
+				$string = 'b';
+				break;
+			default:
+				continue 2;
+		}
+
+		assertType('\'a\'|\'b\'', $string);
+		assertVariableCertainty(TrinaryLogic::createYes(), $string);
+
+		return 'result: ' . $string;
+	}
+
+	return 'ok';
+};
diff --git a/tests/PHPStan/Analyser/data/bug-2003.php b/tests/PHPStan/Analyser/data/bug-2003.php
new file mode 100644
index 0000000000..ebcd709198
--- /dev/null
+++ b/tests/PHPStan/Analyser/data/bug-2003.php
@@ -0,0 +1,25 @@
+<?php declare(strict_types=1);
+
+namespace Bug2003;
+
+use PHPStan\TrinaryLogic;
+use function PHPStan\Analyser\assertType;
+use function PHPStan\Analyser\assertVariableCertainty;
+
+function (array $list): void {
+	foreach ($list as $part) {
+		switch (true) {
+			case isset($list['magic']):
+				$key = 'to-success';
+				break;
+
+			default:
+				continue 2;
+		}
+
+		assertType('\'to-success\'', $key);
+		assertVariableCertainty(TrinaryLogic::createYes(), $key);
+
+		echo $key;
+	}
+};
diff --git a/tests/PHPStan/Analyser/data/bug-2549.php b/tests/PHPStan/Analyser/data/bug-2549.php
new file mode 100644
index 0000000000..6a2cccc7c6
--- /dev/null
+++ b/tests/PHPStan/Analyser/data/bug-2549.php
@@ -0,0 +1,53 @@
+<?php
+
+namespace Bug2549;
+
+use PHPStan\TrinaryLogic;
+use function PHPStan\Analyser\assertType;
+use function PHPStan\Analyser\assertVariableCertainty;
+
+class Pear
+{
+
+	public function doFoo(): void
+	{
+		$apples = [1, 2, 3];
+
+		foreach($apples as $apple) {
+			$pear = null;
+
+			switch(true) {
+				case true:
+					$pear = new self();
+
+					break;
+
+				default:
+					continue 2;
+			}
+
+			assertType('Bug2549\Pear', $pear);
+		}
+	}
+
+	public function sayHello(): void
+	{
+		$array = [1,2,3];
+
+		foreach($array as $value) {
+			switch ($value) {
+				case 1:
+					$a = 2;
+					break;
+				case 2:
+					$a = 3;
+					break;
+				default:
+					continue 2;
+			}
+
+			assertType('2|3', $a);
+			assertVariableCertainty(TrinaryLogic::createYes(), $a);
+		}
+	}
+}
diff --git a/tests/PHPStan/Analyser/data/bug-651.php b/tests/PHPStan/Analyser/data/bug-651.php
new file mode 100644
index 0000000000..5c4cb69c50
--- /dev/null
+++ b/tests/PHPStan/Analyser/data/bug-651.php
@@ -0,0 +1,27 @@
+<?php
+
+namespace Bug651;
+
+use PHPStan\TrinaryLogic;
+use function PHPStan\Analyser\assertType;
+use function PHPStan\Analyser\assertVariableCertainty;
+
+function (): void {
+	foreach (['foo', 'bar'] as $loopValue) {
+		switch ($loopValue) {
+			case 'foo':
+				continue 2;
+
+			case 'bar':
+				$variableDefinedWithinForeach = 23;
+				break;
+
+			default:
+				throw new \LogicException();
+		}
+
+		assertType('23', $variableDefinedWithinForeach);
+		assertVariableCertainty(TrinaryLogic::createYes(), $variableDefinedWithinForeach);
+		echo $variableDefinedWithinForeach;
+	}
+};
diff --git a/tests/PHPStan/Rules/DeadCode/UnreachableStatementRuleTest.php b/tests/PHPStan/Rules/DeadCode/UnreachableStatementRuleTest.php
index 43270e54a4..16692000ca 100644
--- a/tests/PHPStan/Rules/DeadCode/UnreachableStatementRuleTest.php
+++ b/tests/PHPStan/Rules/DeadCode/UnreachableStatementRuleTest.php
@@ -98,4 +98,22 @@ public function testBug4076(): void
 		$this->analyse([__DIR__ . '/data/bug-4076.php'], []);
 	}
 
+	public function testBug4535(): void
+	{
+		$this->treatPhpDocTypesAsCertain = true;
+		$this->analyse([__DIR__ . '/data/bug-4535.php'], []);
+	}
+
+	public function testBug4346(): void
+	{
+		$this->treatPhpDocTypesAsCertain = true;
+		$this->analyse([__DIR__ . '/data/bug-4346.php'], []);
+	}
+
+	public function testBug2913(): void
+	{
+		$this->treatPhpDocTypesAsCertain = true;
+		$this->analyse([__DIR__ . '/data/bug-2913.php'], []);
+	}
+
 }
diff --git a/tests/PHPStan/Rules/DeadCode/data/bug-2913.php b/tests/PHPStan/Rules/DeadCode/data/bug-2913.php
new file mode 100644
index 0000000000..de3055094f
--- /dev/null
+++ b/tests/PHPStan/Rules/DeadCode/data/bug-2913.php
@@ -0,0 +1,19 @@
+<?php
+
+namespace Bug2913;
+
+function (): int {
+	do {
+		$tier = mt_rand(1, 6); // generate random tier
+		switch ($tier) {
+			case 6:
+				// tier 6 too high for weapons, try generating
+				// another random tier value.
+				break;
+			default:
+				break 2;
+		}
+	} while (true);
+
+	return $tier;
+};
diff --git a/tests/PHPStan/Rules/DeadCode/data/bug-4346.php b/tests/PHPStan/Rules/DeadCode/data/bug-4346.php
new file mode 100644
index 0000000000..1bfeab950e
--- /dev/null
+++ b/tests/PHPStan/Rules/DeadCode/data/bug-4346.php
@@ -0,0 +1,12 @@
+<?php
+
+namespace Bug4346;
+
+function (): void {
+	while (true) {
+		while (true) {
+			break 2;
+		}
+	}
+	echo 2;
+};
diff --git a/tests/PHPStan/Rules/DeadCode/data/bug-4535.php b/tests/PHPStan/Rules/DeadCode/data/bug-4535.php
new file mode 100644
index 0000000000..c0feb30378
--- /dev/null
+++ b/tests/PHPStan/Rules/DeadCode/data/bug-4535.php
@@ -0,0 +1,16 @@
+<?php declare(strict_types=1);
+
+namespace Bug4535;
+
+function (): void {
+	$Str = '"';
+
+	while (true) {
+		switch ($Str) {
+			case '"':
+				break 2;
+		}
+	}
+
+	echo "Unreachable?\n";
+};