From 89fda08473dd7df85b30cbdd7c9e6e1a1d516b90 Mon Sep 17 00:00:00 2001
From: Xinchen Hui <laruence@php.net>
Date: Fri, 19 Jun 2015 23:13:23 +0800
Subject: [PATCH] This test should be kept

---
 Zend/tests/bug69871.phpt | 17 +++++++++++++++++
 1 file changed, 17 insertions(+)
 create mode 100644 Zend/tests/bug69871.phpt

diff --git a/Zend/tests/bug69871.phpt b/Zend/tests/bug69871.phpt
new file mode 100644
index 0000000000..f77be25885
--- /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)
-- 
2.50.1