Fonction declaree sans aucun paramètre

Bonjour,

Soit le code suivant :

/* -- */
#include <stdio.h>

void test()
{
printf("test");
}

int main ( void )
{

test(421);

return 0;
}
/* -- */

Je n'arrive pas à savoir si ce code est valide. Quand je le compile avec les
options -W -Wall -stdÉ9 -pedantic , il ne me renvoie aucun warning. Est-ce à
dire que gcc considère la définition donnée de la fonction test() comme une
définition pré-normalisation (dite "classique") sans prototype ? Je dirais que
oui vu que la Norme dit assez laconiquement :

-
6.2.7 Compatible type and composite type
§1 ()
If only one type is a function type with a parameter type list (a function
prototype)
-


Franchement, placer une définition entre parenthèses, c'est quand même un peu
fort, non ?

Bon, si c'est ça, gcc aurait pu faire un petit effort d'avertissement.


Maintenant si la fonction admet un prototype :

-
6.7.5.3 Function declarators (including prototypes)
()
An empty list in a function declarator that is part of a definition of that
function specifies that the function has no parameters. 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.
-



je dirais que ma liste vide fait partie de la définition de la fonction et donc
que je dois considérer que ma fonction n'admet aucun paramètre. Et donc il
s'agirait d'un UB vu que :


-
6.5.2.2 Function calls
()
If the expression that denotes the called function has a type that includes a
prototype, the number of arguments shall agree with the number of parameters.
-




Qu'en pensez-vous ?


Enfin, il me semble que si la définition

void test()
{
printf("test");
}


avait été écrite :

void test(void)
{
printf("test");
}

il n'y aurait plus aucune ambiguïté, non ?