Add regression tests for issues also fixed by the finally exit point change

Closes phpstan/phpstan#12215
Closes phpstan/phpstan#11906
Closes phpstan/phpstan#7665

Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>

Author: phpstan-bot

tests/PHPStan/Rules/Exceptions/OverwrittenExitPointByFinallyRuleTest.php

@@ -43,6 +43,21 @@ public function testBug6670(): void
 		$this->analyse([__DIR__ . '/data/bug-6670.php'], []);
 	}
 
+	public function testBug12215(): void
+	{
+		$this->analyse([__DIR__ . '/data/bug-12215.php'], []);
+	}
+
+	public function testBug11906(): void
+	{
+		$this->analyse([__DIR__ . '/data/bug-11906.php'], []);
+	}
+
+	public function testBug7665(): void
+	{
+		$this->analyse([__DIR__ . '/data/bug-7665.php'], []);
+	}
+
 	public function testBug5627(): void
 	{
 		$this->analyse([__DIR__ . '/data/bug-5627.php'], [

tests/PHPStan/Rules/Exceptions/data/bug-11906.php

@@ -0,0 +1,15 @@
+<?php declare(strict_types = 1);
+
+namespace Bug11906;
+
+function func(): void {
+	try {
+		throw new \LogicException('test');
+	} catch (\LogicException $e) {
+		// This catch-block should cause line 7 to not be treated as an exit point
+	} finally {
+		if (getenv('FOO')) {
+			return;
+		}
+	}
+}

tests/PHPStan/Rules/Exceptions/data/bug-12215.php

@@ -0,0 +1,53 @@
+<?php declare(strict_types = 1);
+
+namespace Bug12215;
+
+abstract class Spinlock
+{
+	private float $expireTimeout;
+
+	private ?float $acquireTs = null;
+
+	private ?string $token = null;
+
+	public function __construct(float $expireTimeout = \PHP_INT_MAX)
+	{
+		$this->expireTimeout = $expireTimeout;
+
+		// acquire lock
+		$this->acquireTs = microtime(true);
+		$this->token = random_bytes(64);
+	}
+
+	protected function release(string $key): bool
+	{
+		try {
+			return $this->releaseWithToken($key, $this->token);
+		} finally {
+			$this->token = null;
+
+			$elapsedTime = microtime(true) - $this->acquireTs;
+			if ($elapsedTime >= $this->expireTimeout) {
+				throw new \Exception('Execution outside lock exception');
+			}
+		}
+	}
+
+	protected function release2(string $key): bool
+	{
+		try {
+			return $this->releaseWithToken($key, $this->token);
+		} finally {
+			try {
+				$elapsedTime = microtime(true) - $this->acquireTs;
+				if ($elapsedTime >= $this->expireTimeout) {
+					throw new \Exception('Execution outside lock exception');
+				}
+			} finally {
+				$this->token = null;
+			}
+		}
+	}
+
+	abstract protected function releaseWithToken(string $key, string $token): bool;
+}

tests/PHPStan/Rules/Exceptions/data/bug-7665.php

@@ -0,0 +1,28 @@
+<?php declare(strict_types = 1);
+
+namespace Bug7665;
+
+class HelloWorld
+{
+	public function doStuff(): string
+	{
+		try {
+			if(rand(0,1) === 1) {
+				throw new \RuntimeException('Bad luck');
+			}
+
+
+			return 'yay';
+			// other stuff
+		} catch(\Throwable $e) {
+			if (rand(0,1) === 1) {
+				exit(1);
+			}
+			// do some stuff to reset
+		} finally {
+			if(rand(0,1) === 1) {
+				exit(1);
+			}
+		}
+	}
+}