1--TEST--
2Duplicate labels are not allowed
3--FILE--
4<?php
5
6foo:
7foo:
8goto foo;
9
10?>
11--EXPECTF--
12Fatal error: Label 'foo' already defined in %s on line %d
13