added feature detect

Author: staabm

src/Analyser/AnalysedFilesResolver.php

@@ -2,25 +2,26 @@
 
 namespace PHPStan\Analyser;
 
+use PHPStan\File\FilesystemHelper;
 use function array_fill_keys;
 use function array_map;
 use function strtolower;
-use const PHP_OS_FAMILY;
 
 final class AnalysedFilesResolver
 {
 
 	/** @var bool[] filePath(string) => bool(true) */
 	private array $analysedFiles;
 
-	private bool $caseInsensitiveFilesystem;
-
 	/**
 	 * @param string[] $files
 	 */
 	public function __construct(array $files = [])
 	{
-		$this->caseInsensitiveFilesystem = PHP_OS_FAMILY === 'Windows' || PHP_OS_FAMILY === 'Darwin';
+		if ($files === []) {
+			return;
+		}
+
 		$this->setAnalysedFiles($files);
 	}
 
@@ -29,15 +30,15 @@ public function __construct(array $files = [])
 	 */
 	public function setAnalysedFiles(array $files): void
 	{
-		if ($this->caseInsensitiveFilesystem) {
+		if (FilesystemHelper::isCaseSensitive() === false) {
 			$files = array_map(static fn (string $file): string => strtolower($file), $files);
 		}
 		$this->analysedFiles = array_fill_keys($files, true);
 	}
 
 	public function isInAnalyzedFiles(string $file): bool
 	{
-		if ($this->caseInsensitiveFilesystem) {
+		if (FilesystemHelper::isCaseSensitive() === false) {
 			$file = strtolower($file);
 		}
 

src/DependencyInjection/ContainerFactory.php

@@ -24,6 +24,7 @@
 use PHPStan\BetterReflection\SourceLocator\Type\SourceLocator;
 use PHPStan\Command\CommandHelper;
 use PHPStan\File\FileHelper;
+use PHPStan\File\FilesystemHelper;
 use PHPStan\Node\Printer\Printer;
 use PHPStan\Php\PhpVersion;
 use PHPStan\Reflection\PhpVersionStaticAccessor;
@@ -190,6 +191,7 @@ public static function postInitializeContainer(Container $container): void
 		$container->getService('typeSpecifier');
 
 		BleedingEdgeToggle::setBleedingEdge($container->getParameter('featureToggles')['bleedingEdge']);
+		FilesystemHelper::checkIsCaseSensitive($container->getParameter('tmpDir'));
 	}
 
 	public function getCurrentWorkingDirectory(): string

src/File/FilesystemHelper.php

@@ -0,0 +1,39 @@
+<?php declare(strict_types = 1);
+
+namespace PHPStan\File;
+
+use function file_get_contents;
+use function file_put_contents;
+use function strtoupper;
+
+final class FilesystemHelper
+{
+
+	private const SIGNATURE_CONTENT = 'PHPStan case-sensitivity check';
+
+	private static ?bool $isCaseSensitive = null;
+
+	public static function isCaseSensitive(): bool
+	{
+		return self::$isCaseSensitive;
+	}
+
+	public static function checkIsCaseSensitive(string $tmpDir): void
+	{
+		if (self::$isCaseSensitive !== null) {
+			return;
+		}
+
+		$fileName = 'test-file-system-case-sensitivity.tmp';
+		@file_put_contents($tmpDir . '/' . $fileName, self::SIGNATURE_CONTENT);
+
+		if (@file_get_contents($tmpDir . '/' . strtoupper($fileName)) === self::SIGNATURE_CONTENT) {
+			self::$isCaseSensitive = false;
+
+			return;
+		}
+
+		self::$isCaseSensitive = true;
+	}
+
+}