Fixed bug #80900

SCCP optimization marks the wrong target feasible when the constant is of the incorrect type.

Author: twose

Zend/Optimizer/sccp.c

@@ -1942,7 +1942,7 @@ static void sccp_mark_feasible_successors(
 				scdf_mark_edge_feasible(scdf, block_num, target);
 				return;
 			}
-			s = 0;
+			s = block->successors_count - 1;
 			break;
 		}
 		default:

ext/opcache/tests/bug80900.phpt

@@ -0,0 +1,49 @@
+--TEST--
+Bug 80900: Switch constant with incorrect type
+--INI--
+opcache.enable=1
+opcache.enable_cli=1
+opcache.optimization_level=-1
+opcache.opt_debug_level=0x20000
+--EXTENSIONS--
+opcache
+--FILE--
+<?php
+function testWithVar() {
+    $booleanVar = false;
+    switch ($booleanVar) {
+        case 'a_test_case':
+            echo 'inside testWithVar - "a_test_case"';
+            break;
+        case 'b_test_case':
+            echo 'inside testWithVar - "b_test_case"';
+            break;
+        case 'c_test_case':
+            echo 'inside testWithVar - "c_test_case"';
+            break;
+        default:
+            echo 'inside testWithVar - "default"';
+            break;
+    }
+    echo PHP_EOL;
+}
+testWithVar();
+?>
+--EXPECTF--
+$_main:
+     ; (lines=3, args=0, vars=0, tmps=0)
+     ; (after optimizer)
+     ; %sbug80900.php:1-22
+0000 INIT_FCALL 0 80 string("testwithvar")
+0001 DO_UCALL
+0002 RETURN int(1)
+
+testWithVar:
+     ; (lines=3, args=0, vars=0, tmps=0)
+     ; (after optimizer)
+     ; %sbug80900.php:2-19
+0000 ECHO string("inside testWithVar - "default"")
+0001 ECHO string("
+")
+0002 RETURN null
+inside testWithVar - "default"