From 5fb3f75fc7dbd6844b70a67a2283e2c93c0a824f Mon Sep 17 00:00:00 2001
From: Martin Herndl <martin@herndl.org>
Date: Mon, 9 Dec 2024 10:38:29 +0100
Subject: [PATCH] Add regression test for array self-append

---
 .../Analyser/AnalyserIntegrationTest.php      |  6 ++
 tests/PHPStan/Analyser/data/bug-6948.php      | 64 +++++++++++++++++++
 2 files changed, 70 insertions(+)
 create mode 100644 tests/PHPStan/Analyser/data/bug-6948.php

diff --git a/tests/PHPStan/Analyser/AnalyserIntegrationTest.php b/tests/PHPStan/Analyser/AnalyserIntegrationTest.php
index ebdf3a03e4..a4ee70e41f 100644
--- a/tests/PHPStan/Analyser/AnalyserIntegrationTest.php
+++ b/tests/PHPStan/Analyser/AnalyserIntegrationTest.php
@@ -981,6 +981,12 @@ public function testArrayUnion(): void
 		$this->assertNoErrors($errors);
 	}
 
+	public function testBug6948(): void
+	{
+		$errors = $this->runAnalyse(__DIR__ . '/data/bug-6948.php');
+		$this->assertNoErrors($errors);
+	}
+
 	public function testBug7963(): void
 	{
 		$errors = $this->runAnalyse(__DIR__ . '/data/bug-7963.php');
diff --git a/tests/PHPStan/Analyser/data/bug-6948.php b/tests/PHPStan/Analyser/data/bug-6948.php
new file mode 100644
index 0000000000..592f0af752
--- /dev/null
+++ b/tests/PHPStan/Analyser/data/bug-6948.php
@@ -0,0 +1,64 @@
+<?php declare(strict_types = 1);
+
+namespace Bug6948;
+
+$row = [1];
+if (rand()) {
+	$row[] = $row;
+}
+if (rand()) {
+	$row[] = $row;
+}
+if (rand()) {
+	$row[] = $row;
+}
+
+if (rand()) {
+	$row[] = $row;
+}
+if (rand()) {
+	$row[] = $row;
+}
+if (rand()) {
+	$row[] = $row;
+}
+
+if (rand()) {
+	$row[] = $row;
+}
+if (rand()) {
+	$row[] = $row;
+}
+if (rand()) {
+	$row[] = $row;
+}
+
+if (rand()) {
+	$row[] = $row;
+}
+if (rand()) {
+	$row[] = $row;
+}
+if (rand()) {
+	$row[] = $row;
+}
+
+if (rand()) {
+	$row[] = $row;
+}
+if (rand()) {
+	$row[] = $row;
+}
+if (rand()) {
+	$row[] = $row;
+}
+
+if (rand()) {
+	$row[] = $row;
+}
+if (rand()) {
+	$row[] = $row;
+}
+if (rand()) {
+	$row[] = $row;
+}