关于标识符的作用域

最近在看c89的标准，对里面关于标识符作用域的表述有疑问，以下是标准原文：
  (1)当前仅当两个标识符的作用域在同一位置终结时，它们才具有相同的作用域。
  (2)结构、联合和枚举标记的作用域在声明该标记的类型区分符中该标记出现后即开始。枚举常量的作用域在枚举符表中定义该常量的枚举符出现后即开始。所有其他标识符的作用域在其声明符结束后开始。

  对于(1)，文卷作用域、块作用域以及函数原型作用域这三者应该不会在同一位置终结。我的疑问是函数作用域和块作用域。我知道标号名(label)是唯一具有函数作用域的标识符，而且标号名有其独立的名字空间，不会跟其他标识符冲突。以下面代码片段为例：
C/C++ code

void abc(void)
{
    int a;
    /* ... */
    goto b;
    /* ... */
b:
    /* ... */
}

  标识符a和标号名b具有相同的作用域吗？貌似a和b的作用域都在末尾的}处终结。

  对于(2)，标号名b的作用域从b:处开始？因为它也是(2)里说的"所有其他标识符"之一。如果是的话，前面的goto b;为什么是合法的呢？
  当然，标准前文也提过，标号名可被用在(在goto语句中)它所出现的函数的任意位置。
  只是以标准的严肃性，不应该有这个漏洞，还是我的理解有问题？

摘自ISO/IEC 9899：1999 section 6.2.1
C/C++ code

3 A label name is the only kind of identifier that has function scope. It can be used (in a
  goto statement) anywhere in the function in which it appears, and is declared implicitly
  by its syntactic appearance (followed by a : and a statement).
4 Every other identifier has scope determined by the placement of its declaration (in a
  declarator or type specifier). 

前文已经交代了goto的作用域，这里在谈“所有其他标识符”显然应该排除goto，goto是否是“标识符”？还是叫做“标号”？个人感觉标准中说的没什么问题

xxyxxb：
  c99的文档我也看了，你列的条目3和条目4是一组。下面还有与其并列的条目7，也就是这里的(2)。

nuaazdh:
  goto不是标识符，标号名b才是标识符。