test impurePoints

Author: staabm

tests/PHPStan/Rules/Pure/PureFunctionRuleTest.php

@@ -104,6 +104,10 @@ public function testRule(): void
 				'Impure output between PHP opening and closing tags in pure function PureFunction\justContainsInlineHtml().',
 				160,
 			],
+			[
+				'Impure call to function array_push() in pure function PureFunction\bug13288().',
+				171,
+			],
 		]);
 	}
 

tests/PHPStan/Rules/Pure/data/pure-function.php

@@ -164,3 +164,11 @@ function justContainsInlineHtml()
 	</table>
 	<?php
 }
+
+/** @phpstan-pure */
+function bug13288(array $a)
+{
+	array_push($a, function() { // error because by ref arg
+		exit(); // ok, as array_push() will not invoke the function
+	});
+}