From 1df23bfda2d9e0b8b0a73be6a572f77fb4a05526 Mon Sep 17 00:00:00 2001
From: Daniil Gentili <daniil@daniil.it>
Date: Tue, 24 Oct 2023 17:04:37 +0200
Subject: [PATCH] Add php-parser reproducer

---
 bugs/6_phpparser.sh | 23 +++++++++++++++++++++++
 1 file changed, 23 insertions(+)
 create mode 100755 bugs/6_phpparser.sh

diff --git a/bugs/6_phpparser.sh b/bugs/6_phpparser.sh
new file mode 100755
index 0000000..26ba59d
--- /dev/null
+++ b/bugs/6_phpparser.sh
@@ -0,0 +1,23 @@
+#!/bin/bash -e
+
+standalone=$PWD/bugs/wrap.php
+
+cd /tmp
+
+rm -rf php-parser
+
+git clone https://github.com/nikic/php-parser
+cd php-parser
+git checkout 8d50e9d066fd857dc4d6354047bda9111f179b46
+
+cp $standalone .
+
+export PSALM_ALLOW_XDEBUG=1
+
+composer i --ignore-platform-reqs
+
+echo "About to run phpunit"
+
+docker run -v $PWD:/app --rm --privileged -it asan_tests /usr/bin/php --repeat 2 -f /app/wrap.php /app/vendor/bin/phpunit
+
+echo "OK, no bugs!"