**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. En este caso parece que los compiladores prefieren darte algo que corra, en lugar de informarte de lo que estas haciendo mal. 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á.