From b36914b85dfab17ce7386a5b9df50beae01bc67c Mon Sep 17 00:00:00 2001
From: Markus Staab <markus.staab@redaxo.de>
Date: Fri, 28 Mar 2025 11:41:24 +0100
Subject: [PATCH] Added regression test

---
 ...nexistentOffsetInArrayDimFetchRuleTest.php |  7 ++++
 tests/PHPStan/Rules/Arrays/data/bug-12593.php | 35 +++++++++++++++++++
 2 files changed, 42 insertions(+)
 create mode 100644 tests/PHPStan/Rules/Arrays/data/bug-12593.php

diff --git a/tests/PHPStan/Rules/Arrays/NonexistentOffsetInArrayDimFetchRuleTest.php b/tests/PHPStan/Rules/Arrays/NonexistentOffsetInArrayDimFetchRuleTest.php
index 58806979a6..52305f8c6f 100644
--- a/tests/PHPStan/Rules/Arrays/NonexistentOffsetInArrayDimFetchRuleTest.php
+++ b/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'], []);
+	}
+
 }
diff --git a/tests/PHPStan/Rules/Arrays/data/bug-12593.php b/tests/PHPStan/Rules/Arrays/data/bug-12593.php
new file mode 100644
index 0000000000..b5ba2616cf
--- /dev/null
+++ b/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]);
+			}
+		}
+	}
+}