**TLDR:** Eso es comportamiento indefinido.

Puedes ir a [wg14.link](https://wg14.link/) y verificarlo con los otros
estándares, yo usare C99.

Primero que nada, definamos lo que es un prototipo de funcion:

> 6.2.1 al final del párrafo 2
>
> A function prototype is a declaration of a function that declares the types
> of its parameters.

Ahora vamos al Anexo J, y veamos lo que tiene que decir sobre lo que estas
haciendo:

> The behavior is undefined in the following circumstances:
>
> - [...]
>
> - For a call to a function without a function prototype in scope, the number
>   of arguments does not equal the number of parameters (6.5.2.2).

En este caso:

```c
void f();
```

No es un prototipo de función, ya que según el estándar:

> 6.7.5.3 al final del párrafo 14
>
> The empty list in a function declarator that is not part of a
> definition of that function specifies that no information about the number or
> types of the parameters is supplied.

No estas declarando los tipos de los parámetros (De hecho no das ninguna
información sobre ellos). Así que esto no cuenta como un prototipo de función.

Así que las siguientes llamadas:

```C
    f(1, 2);    // Llamamos a la función, aún sin definir, con dos parámetros.
    f(1);       // Llamamos a la función, aún sin definir, con un parámetro.
    f();        // Llamamos a la función, aún sin definir, sin parámetros.
    f(1, 2, 3, 4, 5, 6, 7, 8, 9, 0); // Llamamos a la función con diez parámetros!!
```

Son comportamiento indefinido, ya que `f` no tiene un prototipo, y la cantidad
de argumentos con la que la llamas no coincide con la cantidad de parámetros
con la que la defines.

---

> ¿Qué es lo que está pasando? ¿No debería el compilador comparar la llamada
> a la función con la definición de la función y provocar error de compilación?

Al ser comportamiento indefinido, todo puede pasar. Como es usual en C y C++,
supogo que el compilador asume que sabes lo que estas haciendo, y hace lo
posible por darte algo que funcione.

En este caso, para que el compilador te de un aviso de los errores que estas
cometiendo, puedes habilitar: `-Wstrict-prototypes -Wmissing-prototypes`.  Estos
no te explican que estas incurriendo en comportamiento indefinido, pero es lo
mas cercano que pude encontrar.

Y con respecto a esto:

> [...] No debería el compilador comparar la llamada
> a la función con la definición de la función [...]?

Parece ser que `clang` si lo hace. Se ves el assembler generado para la llamada
con parametros de mas:

```
; Elimina los parametros que no se usaran
mov     edi, 1
mov     esi, 2
mov     edx, 3
call    f      
```

Comparado con `gcc`, que cuando tenias parámetros de mas lo lleno como si la
funcion los aceptara todos:

```c 
mov     r9d, 6
mov     r8d, 5
mov     ecx, 4
mov     edx, 3
mov     esi, 2
mov     edi, 1
mov     eax, 0
call    f
```

[Link a godbolt](https://godbolt.org/z/Ksr9YPGPc).

Pero no te preocupes, ya que según el estándar:

> 6.11.6
>
> The use of function declarators with empty parentheses (not prototype-format
> parameter type declarators) is an obsolescent feature.

Ya que se esta volviendo obsoleta, supongo que en un futuro se removerá.