Si votre GCC est suffisamment récent, vous pouvez utiliser __builtin_unreachable(); à la place de while (1); à la fin de vos fonctions noreturn, ça économisera la taille d'une boucle infinie à chaque fois.

De plus, GCC propose aussi des builtins pour les va_* qu'il faudrait normalement utiliser. (TIGCC ne le fait pas à l'heure actuelle parce que ça donne du code à vomir sur 68k, mais les macros hack style TIGCC ne sont pas supportés par les développeurs de GCC, ils disent que ça peut causer toutes formes de cassage.)

Je précise que même avec -fno-builtin, les __builtin_* fonctionnent toujours, ça ne désactive que les builtins sans ce préfixe (cf. la doc).