This test should be kept

diff --git a/Zend/tests/bug69871.phpt b/Zend/tests/bug69871.phpt
new file mode 100644 (file)
index 0000000..f77be25
--- /dev/null
+++ b/Zend/tests/bug69871.phpt
@@ -0,0 +1,17 @@
+--TEST--
+Bug #69871 (Short-circuiting failure with smart_branch)
+--INI--
+opcache.enable=0
+--FILE--
+<?php
+
+$a = true;
+if (isset($a) && 0) {
+       var_dump(true);
+} else {
+       var_dump(false);
+}
+
+?>
+--EXPECT--
+bool(false)