--TEST-- Duplicate labels are not allowed --FILE-- <?php foo: foo: goto foo; ?> --EXPECTF-- Fatal error: Label 'foo' already defined in %s on line %d
