> Labels' scope is limited to the enclosing function. Any developer editing a function is expected to at least look through the function body before making his modifications. I don't believe name clashing within the function body is a big problem that is difficult to avoid.

Well, it's a problem that doesn't need to exist to begin with.
In any case it would only depend on the complexity of the function.