From 510989ada89fd7a67b392c612a0bde8f96eacfec Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Boris=20Mom=C4=8Dilovi=C4=87?= <boris@firstbeatmedia.com>
Date: Fri, 14 Jul 2023 00:56:19 +0200
Subject: [PATCH] tests: skip if not PHP 8.1 #172

---
 tests/bugs/gh172.phpt  | 8 +++++---
 tests/bugs/gh172a.phpt | 7 ++++---
 2 files changed, 9 insertions(+), 6 deletions(-)

diff --git a/tests/bugs/gh172.phpt b/tests/bugs/gh172.phpt
index 72d6d35..7aab6a6 100644
--- a/tests/bugs/gh172.phpt
+++ b/tests/bugs/gh172.phpt
@@ -1,12 +1,13 @@
 --TEST--
 handle ZEND_VERIFY_NEVER_TYPE when uopz.exit disabled
+--EXTENSIONS--
+uopz
 --SKIPIF--
 <?php
+uopz_allow_exit(true);
 if (version_compare(PHP_VERSION, '8.1.0', '<')) {
-  die("skip: PHP 8.1+ only");
+  die("skip PHP 8.1+ only");
 }
---EXTENSIONS--
-uopz
 --INI--
 uopz.disable=0
 uopz.exit=0
@@ -15,6 +16,7 @@ xdebug.enable=0
 --FILE--
 <?php
 
+uopz_allow_exit(false);
 function x(): never {
   exit(10);
 }
diff --git a/tests/bugs/gh172a.phpt b/tests/bugs/gh172a.phpt
index d08b241..5c557ba 100644
--- a/tests/bugs/gh172a.phpt
+++ b/tests/bugs/gh172a.phpt
@@ -1,12 +1,13 @@
 --TEST--
 do not handle ZEND_VERIFY_NEVER_TYPE if not uopz_allow_exit
+--EXTENSIONS--
+uopz
 --SKIPIF--
 <?php
+uopz_allow_exit(true);
 if (version_compare(PHP_VERSION, '8.1.0', '<')) {
-  die("skip: PHP 8.1+ only");
+  die("skip PHP 8.1+ only");
 }
---EXTENSIONS--
-uopz
 --INI--
 uopz.disable=0
 uopz.exit=1