1--TEST--
2There must be a difference between label: try { ... } and try { label: ... }
3--FILE--
4<?php
5
6label: try {
7    goto label;
8} finally {
9    print "success";
10    return; // don't loop
11}
12
13?>
14--EXPECT--
15success
16