another test

Author: staabm

tests/PHPStan/Rules/Arrays/NonexistentOffsetInArrayDimFetchRuleTest.php

@@ -1007,6 +1007,11 @@ public function testBug10492(): void
 		]);
 	}
 
+	public function testBug12574a(): void
+	{
+		$this->analyse([__DIR__ . '/data/bug-12574a.php'], []);
+	}
+
 	public function testBug12926(): void
 	{
 		$this->reportPossiblyNonexistentGeneralArrayOffset = true;

tests/PHPStan/Rules/Arrays/data/bug-12574a.php

@@ -0,0 +1,15 @@
+<?php declare(strict_types=1);
+
+namespace Bug12574a;
+
+function doFoo() {
+	$i = 10;
+	$x = [];
+	while ($i-- > 0) {
+		$r = rand(1, 10);
+		if (!isset($x[$r])) {
+			$x[$r] = 1;
+		}
+		var_dump($x[$r]);
+	}
+}