Fix removal of unreachable code in SCCP

Due to a wrongly placed check, we were only performing the
unreachable code removal if there were loop vars...

1 files changed, 38 insertions, 0 deletions

diff --git a/ext/opcache/tests/opt/sccp_026.phpt b/ext/opcache/tests/opt/sccp_026.phpt
new file mode 100644
index 0000000000..132c9ddef3
--- /dev/null
+++ b/ext/opcache/tests/opt/sccp_026.phpt
@@ -0,0 +1,38 @@
+--TEST--
+SCCP 026: Elimination of dead code due to conflicting type checks
+--INI--
+opcache.enable=1
+opcache.enable_cli=1
+opcache.optimization_level=-1
+opcache.opt_debug_level=0x20000
+opcache.preload=
+--SKIPIF--
+<?php require_once('skipif.inc'); ?>
+--FILE--
+<?php
+function test($var) {
+    if (!is_string($var) || (is_object($var) && !method_exists($var, '__toString'))) {
+        return;
+    }
+
+    var_dump($username); 
+}
+?>
+--EXPECTF--
+$_main: ; (lines=1, args=0, vars=0, tmps=0)
+    ; (after optimizer)
+    ; %s:1-10
+L0 (10):    RETURN int(1)
+
+test: ; (lines=9, args=1, vars=2, tmps=1)
+    ; (after optimizer)
+    ; %s:2-8
+L0 (2):     CV0($var) = RECV 1
+L1 (3):     T2 = TYPE_CHECK (string) CV0($var)
+L2 (3):     JMPZ T2 L4
+L3 (3):     JMP L5
+L4 (4):     RETURN null
+L5 (7):     INIT_FCALL 1 %d string("var_dump")
+L6 (7):     SEND_VAR CV1($username) 1
+L7 (7):     DO_ICALL
+L8 (8):     RETURN null