Fix false positive unreachable

Author: VincentLanglet

src/Analyser/NodeScopeResolver.php

@@ -6765,7 +6765,7 @@ private function getNextUnreachableStatements(array $nodes, bool $earlyBinding):
 				$stmts[] = $node;
 				continue;
 			}
-			if ($node instanceof Node\Stmt\Nop) {
+			if ($node instanceof Node\Stmt\Nop || $node instanceof Node\Stmt\InlineHTML) {
 				continue;
 			}
 			if (!$node instanceof Node\Stmt) {

tests/PHPStan/Rules/DeadCode/UnreachableStatementRuleTest.php

@@ -229,6 +229,17 @@ public function testBug11992(): void
 		$this->analyse([__DIR__ . '/data/bug-11992.php'], []);
 	}
 
+	public function testBug7531(): void
+	{
+		$this->treatPhpDocTypesAsCertain = false;
+		$this->analyse([__DIR__ . '/data/bug-7531.php'], [
+			[
+				'Unreachable statement - code above always terminates.',
+				22,
+			],
+		]);
+	}
+
 	public function testMultipleUnreachable(): void
 	{
 		$this->treatPhpDocTypesAsCertain = true;

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

@@ -0,0 +1,24 @@
+<?php declare(strict_types = 1);
+
+namespace Bug7531;
+
+/** @var int $compareTo */
+
+?>
+
+<?php foreach ([1,2,3] as $number) : ?>
+	<?php if ($number > $compareTo) : ?>
+		<xs:sequence>some xml data</xs:sequence>
+	<?php else : ?>
+		<?php throw new \Exception("Unexpected behavior") ?>
+    <?php endif ?>
+<?php endforeach; ?>
+
+<?php foreach ([1,2,3] as $number) : ?>
+	<?php if ($number > $compareTo) : ?>
+		<xs:sequence>some xml data</xs:sequence>
+	<?php else : ?>
+		<?php throw new \Exception("Unexpected behavior") ?>
+		<?php throw new \Exception("Unreachable") ?>
+	<?php endif ?>
+<?php endforeach; ?>