Definiciones provisionales en C99 y enlaces

Considere el programa C compuesto de dos archivos,

F1.c:

int x;

F2.c:

int x=2;

Mi lectura del párrafo 6.9.2 de el estándar C99 es que este programa debe ser rechazado. En mi interpretación de 6.9.2, variable x se define tentativamente en f1.c, pero esta definición tentativa se convierte en una definición real al final de la unidad de traducción, y (en mi opinión), por lo tanto, debe comportarse como si f1.c contuviera la definición int x=0;.

Con todos los compiladores (y, lo que es más importante, los enlazadores) pude probar, esto no es lo que sucede. Todas las plataformas de compilación que probé enlazan los dos archivos anteriores, y el valor de x es 2 en ambos archivos.

Dudo que esto suceda por accidente, o simplemente como una característica "fácil" de proporcionar además de lo que requiere el estándar. Si lo piensas, significa que hay un soporte especial en el enlazador para aquellas variables globales que no tienen un inicializador, en oposición a aquellas explícitamente inicializado a cero. Alguien me dijo que la función de enlazador puede ser necesaria para compilar Fortran de todos modos. Esa sería una explicación razonable.

¿Alguna idea sobre esto? ¿Otras interpretaciones del estándar? ¿Nombres de plataformas en las que los archivos f1.c y f2.c se niegan a vincularse?

Nota: esto es importante porque la pregunta ocurre en el contexto del análisis estático. Si los dos archivos pueden negarse a vincularse en alguna plataforma, el analizador debe quejarse, pero si cada plataforma de compilación lo acepta, entonces no hay razón para advertir al respecto.