diff --git a/gdb/ChangeLog b/gdb/ChangeLog
index 20a8a8b7537..a191b6232d7 100644
--- a/gdb/ChangeLog
+++ b/gdb/ChangeLog
@@ -1,3 +1,7 @@
+2014-09-25  Pedro Alves  <palves@redhat.com>
+
+	* breakpoint.c (should_be_inserted): Add debug output.
+
 2014-09-25  Pedro Alves  <palves@redhat.com>
 
 	* infrun.c (stepping_past_instruction_at)
diff --git a/gdb/breakpoint.c b/gdb/breakpoint.c
index 3675b4fd689..bec7f68f06e 100644
--- a/gdb/breakpoint.c
+++ b/gdb/breakpoint.c
@@ -2201,7 +2201,16 @@ should_be_inserted (struct bp_location *bl)
        || bl->loc_type == bp_loc_hardware_breakpoint)
       && stepping_past_instruction_at (bl->pspace->aspace,
 				       bl->address))
-    return 0;
+    {
+      if (debug_infrun)
+	{
+	  fprintf_unfiltered (gdb_stdlog,
+			      "infrun: skipping breakpoint: "
+			      "stepping past insn at: %s\n",
+			      paddress (bl->gdbarch, bl->address));
+	}
+      return 0;
+    }
 
   return 1;
 }