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