The only type of identifier with function scope is a label name. A label is implicitly declared by its appearance in the program text and is visible throughout the function that declares it.
A label can be used in a goto statement before the actual label is seen.