From ec88bbc4c621b385e79b1475606883a5834403a5 Mon Sep 17 00:00:00 2001
From: Benjamin Eberlei <kontakt@beberlei.de>
Date: Wed, 15 Apr 2020 15:58:03 +0200
Subject: [PATCH] Enhance test failure SH script to allow gdb, valgrind, rr as
 alternative modes.

---
 run-tests.php | 22 ++++++++++++++++++----
 1 file changed, 18 insertions(+), 4 deletions(-)

diff --git a/run-tests.php b/run-tests.php
index 822850af71..b708f73c72 100755
--- a/run-tests.php
+++ b/run-tests.php
@@ -2748,10 +2748,24 @@ COMMAND $cmd
         }
 
         // write .sh
-        if (strpos($log_format, 'S') !== false && file_put_contents($sh_filename, "#!/bin/sh
-
-{$cmd}
-", FILE_BINARY) === false) {
+        if (strpos($log_format, 'S') !== false && file_put_contents($sh_filename, <<<SH
+#!/bin/sh
+
+case "$1" in
+"gdb")
+    gdb --args {$cmd}
+    ;;
+"valgrind")
+    USE_ZEND_ALLOC=0 valgrind $2 ${cmd}
+    ;;
+"rr")
+    rr record $2 ${cmd}
+    ;;
+*)
+    {$cmd}
+    ;;
+esac
+SH, FILE_BINARY) === false) {
             error("Cannot create test shell script - $sh_filename");
         }
         chmod($sh_filename, 0755);
-- 
2.40.0