SprintfFunctionDynamicReturnTypeExtension - limit combinatorial explosion

Author: ondrejmirtes

src/Type/Php/SprintfFunctionDynamicReturnTypeExtension.php

@@ -85,13 +85,20 @@ public function getTypeFromFunctionCall(
 		}
 
 		$values = [];
+		$combinationsCount = 1;
 		foreach ($args as $arg) {
 			$argType = $scope->getType($arg->value);
 			if (count($argType->getConstantScalarValues()) === 0) {
 				return $returnType;
 			}
 
-			$values[] = $argType->getConstantScalarValues();
+			$constantScalarValues = $argType->getConstantScalarValues();
+			$values[] = $constantScalarValues;
+			$combinationsCount *= count($constantScalarValues);
+		}
+
+		if ($combinationsCount > InitializerExprTypeResolver::CALCULATE_SCALARS_LIMIT) {
+			return $returnType;
 		}
 
 		$combinations = CombinationsHelper::combinations($values);

tests/PHPStan/Analyser/AnalyserIntegrationTest.php

@@ -1294,6 +1294,12 @@ public function testBug10509(): void
 		$this->assertSame('PHPDoc tag @return contains unresolvable type.', $errors[1]->getMessage());
 	}
 
+	public function testBug10538(): void
+	{
+		$errors = $this->runAnalyse(__DIR__ . '/data/bug-10538.php');
+		$this->assertNoErrors($errors);
+	}
+
 	/**
 	 * @param string[]|null $allAnalysedFiles
 	 * @return Error[]