Added regression test

Author: staabm

tests/PHPStan/Rules/Arrays/NonexistentOffsetInArrayDimFetchRuleTest.php

@@ -907,4 +907,11 @@ public function testBug11602(): void
 		$this->analyse([__DIR__ . '/data/bug-11602.php'], []);
 	}
 
+	public function testBug12593(): void
+	{
+		$this->reportPossiblyNonexistentGeneralArrayOffset = true;
+
+		$this->analyse([__DIR__ . '/data/bug-12593.php'], []);
+	}
+
 }

tests/PHPStan/Rules/Arrays/data/bug-12593.php

@@ -0,0 +1,35 @@
+<?php
+
+namespace Bug12593;
+
+class HelloWorld
+{
+	/**
+	 * @param list<int> $indexes
+	 */
+	protected function removeArguments(array $indexes): void
+	{
+		if (isset($_SERVER['argv']) && is_array($_SERVER['argv'])) {
+			foreach ($indexes as $index) {
+				if (isset($_SERVER['argv'][$index])) {
+					unset($_SERVER['argv'][$index]);
+				}
+			}
+		}
+	}
+}
+
+class HelloWorld2
+{
+	/**
+	 * @param list<int> $indexes
+	 */
+	protected function removeArguments(array $indexes): void
+	{
+		foreach ($indexes as $index) {
+			if (isset($_SERVER['argv']) && is_array($_SERVER['argv']) && isset($_SERVER['argv'][$index])) {
+				unset($_SERVER['argv'][$index]);
+			}
+		}
+	}
+}