From 3b66d7f8ddbd45dafad3366d336f1c1e67cfecde Mon Sep 17 00:00:00 2001
From: Daniil Gentili <daniil@daniil.it>
Date: Tue, 14 Nov 2023 18:00:37 +0100
Subject: [PATCH] Add reproducer

---
 README.md        | 11 +++++++----
 bugs/11_react.sh | 23 +++++++++++++++++++++++
 bugs/12_amp.sh   | 23 +++++++++++++++++++++++
 3 files changed, 53 insertions(+), 4 deletions(-)
 create mode 100755 bugs/11_react.sh
 create mode 100755 bugs/12_amp.sh

diff --git a/README.md b/README.md
index 0ea6b7d..e6b66af 100755
--- a/README.md
+++ b/README.md
@@ -9,11 +9,14 @@ Edit the branch in `Dockerfile:33`
 Tested on fa218eab4a9b5304afb871a4405546068cb65008
 
 1. Composer: Fixed
-2. Psalm: always fails
+2. Psalm: Fixed
 3. MadelineProto: Fixed
 4. Infection (patched): Fixed
 5. Psalm (unit): ?
 6. php-parser (unit): Fixed
-7. Psalm (master, unit): always fails
-8. Psalm (patched master, unit): always fails
-9. Composer: always fails
+7. Psalm (master, unit): Fixed
+8. Psalm (patched master, unit): Fixed
+9. Composer: Fixed
+10. Amphp: Always fails
+11. Reactphp: Always fails
+12. Amphp: Always fails
diff --git a/bugs/11_react.sh b/bugs/11_react.sh
new file mode 100755
index 0000000..2313236
--- /dev/null
+++ b/bugs/11_react.sh
@@ -0,0 +1,23 @@
+#!/bin/bash -e
+
+composer update
+
+standalone=$PWD/bugs/wrap.php
+refactor=$PWD/refactor.php
+
+cd /tmp
+
+rm -rf promise
+
+git clone https://github.com/reactphp/promise
+cd promise
+
+cp $standalone .
+
+composer i --ignore-platform-reqs
+
+sleep 3
+
+docker run -v $PWD:/app --rm --privileged -it asan_tests bash -c 'export USE_ZEND_ALLOC=1; /usr/bin/php -d opcache.jit=0 --repeat 2 -f /app/wrap.php /app/vendor/bin/phpunit'
+
+echo "OK, no bugs!"
diff --git a/bugs/12_amp.sh b/bugs/12_amp.sh
new file mode 100755
index 0000000..7627cbe
--- /dev/null
+++ b/bugs/12_amp.sh
@@ -0,0 +1,23 @@
+#!/bin/bash -e
+
+composer update
+
+standalone=$PWD/bugs/wrap.php
+refactor=$PWD/refactor.php
+
+cd /tmp
+
+rm -rf file
+
+git clone https://github.com/amphp/file
+cd file
+
+cp $standalone .
+
+composer i --ignore-platform-reqs
+
+sleep 3
+
+docker run -v $PWD:/app --rm --privileged -it asan_tests bash -c 'export USE_ZEND_ALLOC=1; /usr/bin/php -d opcache.jit=0 --repeat 2 -f /app/wrap.php /app/vendor/bin/phpunit'
+
+echo "OK, no bugs!"