+#if defined VA_START && defined __STDC__
+warn_at (location_t location, const char *message, ...)
+#else
+warn_at (location, message, va_alist)
+ location_t location
+ char *message;
+ va_dcl
+#endif
+{
+#ifdef VA_START
+ va_list args;
+#endif
+
+ if (error_one_per_line)
+ {
+ static const char *old_infile;
+ static int old_lineno;
+
+ if (old_lineno == location.first_line &&
+ (infile == old_infile || !strcmp (old_infile, infile)))
+ /* Simply return and print nothing. */
+ return;
+
+ old_infile = infile;
+ old_lineno = location.first_line;
+ }
+
+ fflush (stdout);
+ LOCATION_PRINT (stderr, location);
+ fputs (": ", stderr);
+ fputs (_("warning: "), stderr);
+
+#ifdef VA_START
+ VA_START (args, message);
+ vfprintf (stderr, message, args);
+ va_end (args);
+#else
+ fprintf (stderr, message, a1, a2, a3, a4, a5, a6, a7, a8);
+#endif
+
+ ++warn_message_count;
+ putc ('\n', stderr);
+ fflush (stderr);
+}
+
+
+void
+#if defined VA_START && defined __STDC__