Re: error.c triggers -Wformat-extra-args

[Paul Eggert]

Daniel E. Macks wrote:

   if (file_name != NULL)
     fprintf (stderr, "%s:%d: ", file_name, line_number)
   else
     fprintf (stderr, " ");

Isn't that bigger and slower than the code it would replace?