1--TEST--
2jump 17: goto into try/catch with finally
3--FILE--
4<?php
5goto b;
6try {
7 echo "1";
8a:
9 echo "2";
10 throw new Exception();
11} catch (Exception $e) {
12 echo "3";
13b:
14 echo "4";
15} finally {
16 echo "5";
17c:
18 echo "6";
19}
20echo "7\n";
21--EXPECT--
224567
23
