1
0
mirror of https://github.com/php/php-src.git synced 2026-03-27 17:52:16 +01:00

Merge branch 'PHP-7.0'

This commit is contained in:
Xinchen Hui
2016-01-01 13:46:44 +08:00

View File

@@ -34,22 +34,24 @@ prompt> [L10 %s ECHO "ok"
00011: } finally {
00012: echo " ... ok";
prompt> ok
[L10 %s FAST_CALL J8 ~%d %s]
[L12 %s ECHO " ... ok" %s]
[L11 %s FAST_CALL J8 ~%d %s]
>00011: } finally {
00012: echo " ... ok";
00013: }
prompt> [L12 %s ECHO " ... ok" %s]
>00012: echo " ... ok";
00013: }
00014:
prompt> ... ok
[L12 %s FAST_RET ~%d %s]
[L10 %s JMP J10 %s]
>00010: echo "ok";
00011: } finally {
[L11 %s JMP J10 %s]
>00011: } finally {
00012: echo " ... ok";
00013: }
prompt> [L12 %s RETURN 1 %s]
>00012: echo " ... ok";
00013: }
00014:
prompt> [Script ended normally]
prompt>
--FILE--
<?php