Index: gdb/corefile.c
===================================================================
RCS file: /cvs/src/src/gdb/corefile.c,v
retrieving revision 1.71
diff -u -p -r1.71 corefile.c
--- gdb/corefile.c	14 Jan 2013 21:03:54 -0000	1.71
+++ gdb/corefile.c	30 Jan 2013 22:25:14 -0000
@@ -136,7 +136,7 @@ void
 reopen_exec_file (void)
 {
   char *filename;
-  int res;
+  int res __attribute__ ((unused));
   struct stat st;
   struct cleanup *cleanups;
 
@@ -149,6 +149,8 @@ reopen_exec_file (void)
   cleanups = make_cleanup (xfree, filename);
   res = stat (filename, &st);
 
+  /* FIXME: error checking using 'res' (and remove attribute unused).  */
+
   if (exec_bfd_mtime && exec_bfd_mtime != st.st_mtime)
     exec_file_attach (filename, 0);
   else