Yep, GCC a aussi un __builtin_printf pour faire ce genre de trucs, mais je ne pense pas que les "%d" constants sont implémentés actuellement.
C'est bizarre que GCC 4 n'ait pas réussi à remplacer ça par des constantes, parce que normalement la forward propagation y est.