Assert-and-throws-are-side-effects

Author: jack-worman

src/Rules/Pure/FunctionPurityCheck.php

@@ -66,7 +66,12 @@ public function check(
 				))->identifier(sprintf('pure%s.parameterByRef', $identifier))->build();
 			}
 
-			if ($returnType->isVoid()->yes() && !$isConstructor) {
+			if (
+				$returnType->isVoid()->yes()
+				&& !$isConstructor
+				&& $functionReflection->getThrowType() === null
+				&& $functionReflection->getAsserts()->getAll() === []
+			) {
 				$errors[] = RuleErrorBuilder::message(sprintf(
 					'%s is marked as pure but returns void.',
 					$functionDescription,

tests/PHPStan/Rules/Pure/PureFunctionRuleTest.php

@@ -167,4 +167,9 @@ public function testBug11361(): void
 		]);
 	}
 
+	public function testBug12224(): void
+	{
+		$this->analyse([__DIR__ . '/data/bug-12224.php'], []);
+	}
+
 }

tests/PHPStan/Rules/Pure/PureMethodRuleTest.php

@@ -194,4 +194,10 @@ public function dataBug11207(): array
 		];
 	}
 
+	public function testBug12224(): void
+	{
+		$this->treatPhpDocTypesAsCertain = true;
+		$this->analyse([__DIR__ . '/data/bug-12224.php'], []);
+	}
+
 }

tests/PHPStan/Rules/Pure/data/bug-12224.php

@@ -0,0 +1,101 @@
+<?php declare(strict_types=1);
+
+/**
+ * @phpstan-pure
+ * @throws \Exception
+ */
+function pureWithThrows(): void
+{
+	throw new \Exception();
+}
+
+/**
+ * @phpstan-pure
+ * @phpstan-assert int $a
+ */
+function pureWithAssert(mixed $a): void
+{
+	if (!is_int($a)) {
+		throw new \Exception();
+	}
+}
+
+/**
+ * @phpstan-pure
+ * @phpstan-assert int $a
+ */
+function pureWithAssertAndReturn(mixed $a): int
+{
+	if (!is_int($a)) {
+		throw new \Exception();
+	}
+	return $a;
+}
+
+class A {
+	/**
+	 * @phpstan-pure
+	 * @throws \Exception
+	 */
+	public function pureWithThrows(): void
+	{
+		throw new \Exception();
+	}
+
+	/**
+	 * @phpstan-pure
+	 * @phpstan-assert int $a
+	 */
+	public function pureWithAssert(mixed $a): void
+	{
+		if (!is_int($a)) {
+			throw new \Exception();
+		}
+	}
+
+	/**
+	 * @phpstan-pure
+	 * @phpstan-assert int $a
+	 */
+	public function pureWithAssertAndReturn(mixed $a): int
+	{
+		if (!is_int($a)) {
+			throw new \Exception();
+		}
+		return $a;
+	}
+}
+
+class B {
+	/**
+	 * @phpstan-pure
+	 * @throws \Exception
+	 */
+	public static function pureWithThrows(): void
+	{
+		throw new \Exception();
+	}
+
+	/**
+	 * @phpstan-pure
+	 * @phpstan-assert int $a
+	 */
+	public static function pureWithAssert(mixed $a): void
+	{
+		if (!is_int($a)) {
+			throw new \Exception();
+		}
+	}
+
+	/**
+	 * @phpstan-pure
+	 * @phpstan-assert int $a
+	 */
+	public static function pureWithAssertAndReturn(mixed $a): int
+	{
+		if (!is_int($a)) {
+			throw new \Exception();
+		}
+		return $a;
+	}
+}