C中的链接:GCC是遵循C99规范,还是我不理解规范?

我试图理解C99中存储类说明符的确切行为,有些GCC行为似乎不符合规范,除非我误解了6.2.2(2)中的规范:

在一个翻译单元内,标识符的每个声明 内部连接 表示相同的对象或功能。

但是,我使用以下程序测试了GCC(powerpc-apple-darwin9-GCC-4.2.1):

#include <stdio.h>
static int f() {
    static int x = 0;
    return x++;
}
static int g() {
    static int x = 0;
    return x++;
}
int main(int argc, char *argv[]) {
    printf("g() = %i\n", g());
    printf("g() = %i\n", g());
    printf("f() = %i\n", f());
    printf("f() = %i\n", f());
    return 0;
}

编撰 -std=c99 ,它将打印以下内容:

g() = 0
g() = 1
f() = 0
f() = 1

如果我正确理解规范,它应该打印:

g() = 0
g() = 1
f() = 2
f() = 3

我理解GCC为什么会偏离这里的规范,我只是想知道对于这种行为是否有更深层的解释。