diff options
Diffstat (limited to 'Zend/zend_vm_gen.php')
-rwxr-xr-x | Zend/zend_vm_gen.php | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/Zend/zend_vm_gen.php b/Zend/zend_vm_gen.php index 60e831a954..c7a0df936d 100755 --- a/Zend/zend_vm_gen.php +++ b/Zend/zend_vm_gen.php @@ -2552,10 +2552,11 @@ function gen_vm($def, $skel) { } // Store parameters - if (ZEND_VM_KIND == ZEND_VM_KIND_GOTO + if ((ZEND_VM_KIND == ZEND_VM_KIND_GOTO || ZEND_VM_KIND == ZEND_VM_KIND_SWITCH - || (ZEND_VM_KIND == ZEND_VM_KIND_HYBRID && $hot)) { - foreach (explode(",", $param) as $p) { + || (ZEND_VM_KIND == ZEND_VM_KIND_HYBRID && $hot)) + && $param) { + foreach (explode(",", $param ) as $p) { $p = trim($p); if ($p !== "") { $params[$p] = 1; |