Implement IniGetReturnTypeExtension

conf/config.neon

@@ -1502,6 +1502,11 @@ services:
 		tags:
 			- phpstan.dynamicFunctionThrowTypeExtension
 
+	-
+		class: PHPStan\Type\Php\IniGetReturnTypeExtension
+		tags:
+			- phpstan.broker.dynamicFunctionReturnTypeExtension
+
 	-
 		class: PHPStan\Type\Php\JsonThrowTypeExtension
 		tags:

phpstan-baseline.neon

@@ -141,11 +141,6 @@ parameters:
 			count: 1
 			path: src/Command/FixerApplication.php
 
-		-
-			message: "#^Parameter \\#1 \\$arg of function escapeshellarg expects string, string\\|false given\\.$#"
-			count: 1
-			path: src/Command/FixerApplication.php
-
 		-
 			message: "#^Call to an undefined method React\\\\Promise\\\\PromiseInterface\\:\\:done\\(\\)\\.$#"
 			count: 1

src/Type/Php/IniGetReturnTypeExtension.php

@@ -0,0 +1,62 @@
+<?php declare(strict_types = 1);
+
+namespace PHPStan\Type\Php;
+
+use PhpParser\Node\Expr\FuncCall;
+use PHPStan\Analyser\Scope;
+use PHPStan\Reflection\FunctionReflection;
+use PHPStan\Type\Accessory\AccessoryNumericStringType;
+use PHPStan\Type\DynamicFunctionReturnTypeExtension;
+use PHPStan\Type\StringType;
+use PHPStan\Type\Type;
+use PHPStan\Type\TypeCombinator;
+use function array_key_exists;
+use function count;
+
+class IniGetReturnTypeExtension implements DynamicFunctionReturnTypeExtension
+{
+
+	public function isFunctionSupported(FunctionReflection $functionReflection): bool
+	{
+		return $functionReflection->getName() === 'ini_get';
+	}
+
+	public function getTypeFromFunctionCall(
+		FunctionReflection $functionReflection,
+		FuncCall $functionCall,
+		Scope $scope,
+	): ?Type
+	{
+		$args = $functionCall->getArgs();
+		if (count($args) < 1) {
+			return null;
+		}
+
+		$numericString = TypeCombinator::intersect(
+			new StringType(),
+			new AccessoryNumericStringType(),
+		);
+		$types = [
+			'date.timezone' => new StringType(),
+			'memory_limit' => new StringType(),
+			'max_execution_time' => $numericString,
+			'max_input_time' => $numericString,
+		];
+
+		$argType = $scope->getType($args[0]->value);
+		$results = [];
+		foreach ($argType->getConstantStrings() as $constantString) {
+			if (!array_key_exists($constantString->getValue(), $types)) {
+				return null;
+			}
+			$results[] = $types[$constantString->getValue()];
+		}
+
+		if (count($results) > 0) {
+			return TypeCombinator::union(...$results);
+		}
+
+		return null;
+	}
+
+}

tests/PHPStan/Analyser/NodeScopeResolverTest.php

@@ -1245,6 +1245,7 @@ public function dataFileAsserts(): iterable
 		yield from $this->gatherAssertTypes(__DIR__ . '/data/object-shape.php');
 		yield from $this->gatherAssertTypes(__DIR__ . '/data/memcache-get.php');
 		yield from $this->gatherAssertTypes(__DIR__ . '/data/bug-4302b.php');
+		yield from $this->gatherAssertTypes(__DIR__ . '/data/ini-get.php');
 	}
 
 	/**

tests/PHPStan/Analyser/data/ini-get.php

@@ -0,0 +1,27 @@
+<?php
+
+namespace IniGet;
+
+use function PHPStan\Testing\assertType;
+
+function doFoo() {
+	assertType('string', ini_get("date.timezone"));
+	assertType('string', ini_get("memory_limit"));
+	assertType('numeric-string', ini_get("max_execution_time"));
+	assertType('numeric-string', ini_get("max_input_time"));
+
+	if (rand(1, 0)) {
+		$x = ini_get("date.timezone");
+	} else {
+		$x = ini_get("max_execution_time");
+	}
+	assertType('string', $x);
+
+	if (rand(1, 0)) {
+		$key = 'unknown';
+	} else {
+		$key = "max_execution_time";
+	}
+	assertType('string|false', ini_get($key));
+	assertType('string|false', ini_get('unknown'));
+}