Une fonction de retour à vide g peut-elle renvoyer f (); quand f retourne vide?

Considérez l’extrait suivant:

void f(void); void g(…) { … return f(); … } 

Est-ce que return f(); valide selon C11?

Je ne préconise pas l’utilisation de ce modèle: si cela fonctionne, il est évidemment équivalent à f(); return; f(); return; (où le return; lui-même serait redondant s’il se trouvait à la fin de la fonction g() ). Je pose cette question dans le contexte de l’parsing statique des programmes C, où le code C a déjà été écrit par quelqu’un d’autre et la question est de décider s’il est valide ou non conformément à la norme.

J’interpréterais C11 6.8.6.4:1 comme signifiant qu’il est non standard et qu’il devrait être rejeté de manière statique. Est-il possible de l’interpréter différemment (j’ai trouvé ce modèle dans un code source réel et sinon de haute qualité)?

• Comment calculer la longueur d’une chaîne en C efficacement?
• Expliquer la différence entre les pointeurs proche, lointain et énorme en c
• Comment passer un tableau de caractères 3D à une fonction
• Choisir un élément aléatoire en fonction de probabilités
• Stocker un nombre supérieur à 20! (factoriel)

Contraintes

Une instruction de retour avec une expression ne doit pas apparaître dans une fonction dont le type de retour est void. Une instruction de retour sans expression ne doit apparaître que dans une fonction dont le type de retour est void.

• Quel est l’avantage d’utiliser memset () en C
• Un #define en C avec trois points
• Adresse du premier élément dans la déclaration statique de tableau
• Multiplier deux ints 128 bits
• Opérations atomiques et génération de code pour gcc

 Syntaxe  

    ...
    retourne une expression opt ; 

 [Warning] ISO C forbids 'return' with expression, in function returning void [-pedantic] 

 void g() { return; // does not return any expression at all } void f() { return g(); } int main(void) { f(); return 0; }