+2012-07-02  Doug Evans  <dje@google.com>
+
+       * mem-break.c (gdb_no_commands_at_breakpoint): Fix cast from
+       pointer to int.
+
 2012-07-02  Stan Shebs  <stan@codesourcery.com>
 
        * Makefile.in (WARN_CFLAGS_NO_FORMAT): Define.
 
 #include "server.h"
 #include "regcache.h"
 #include "ax.h"
+#include <stdint.h>
 
 const unsigned char *breakpoint_data;
 int breakpoint_len;
     return 0;
 
   if (debug_threads)
-    fprintf (stderr, "at 0x%s, bp command_list is 0x%x\n",
-            paddress (where), (int) bp->command_list);
+    fprintf (stderr, "at 0x%s, bp command_list is 0x%lx\n",
+            paddress (where), (long) (uintptr_t) bp->command_list);
   return (bp->command_list == NULL);
 }