+2018-02-20  Simon Marchi  <simon.marchi@ericsson.com>
+
+       * remote-sim.c (gdb_os_printf_filtered, gdb_os_vprintf_filtered,
+       gdb_os_evprintf_filtered, gdb_os_error): Add ATTRIBUTE_PRINTF.
+
 2018-02-20  Markus Metzger  <markus.t.metzger@intel.com>
 
        * gnulib/update-gnulib.sh (IMPORTED_GNULIB_MODULES): Add mkstemp.
 
 
 /* GDB version of printf_filtered callback.  */
 
-static void
-gdb_os_printf_filtered (host_callback * p, const char *format,...)
+static void ATTRIBUTE_PRINTF (2, 3)
+gdb_os_printf_filtered (host_callback * p, const char *format, ...)
 {
   va_list args;
 
 
 /* GDB version of error vprintf_filtered.  */
 
-static void
+static void ATTRIBUTE_PRINTF (2, 0)
 gdb_os_vprintf_filtered (host_callback * p, const char *format, va_list ap)
 {
   vfprintf_filtered (gdb_stdout, format, ap);
 
 /* GDB version of error evprintf_filtered.  */
 
-static void
+static void ATTRIBUTE_PRINTF (2, 0)
 gdb_os_evprintf_filtered (host_callback * p, const char *format, va_list ap)
 {
   vfprintf_filtered (gdb_stderr, format, ap);
 
 /* GDB version of error callback.  */
 
-static void
+static void ATTRIBUTE_PRINTF (2, 3)
 gdb_os_error (host_callback * p, const char *format, ...)
 {
   va_list args;