Merge GDB 7.5.1

gdb/corefile.c

 /* Core dump and executable file functions above target vector, for GDB.
 
    Copyright (C) 1986-1987, 1989, 1991-1994, 1996-2001, 2003, 2006-2012
    Free Software Foundation, Inc.
 
    This file is part of GDB.
 
    This program is free software; you can redistribute it and/or modify
    it under the terms of the GNU General Public License as published by
    the Free Software Foundation; either version 3 of the License, or
@@ skipping 16 matching lines @@
 #include "symtab.h"
 #include "command.h"
 #include "gdbcmd.h"
 #include "bfd.h"
 #include "target.h"
 #include "gdbcore.h"
 #include "dis-asm.h"
 #include "gdb_stat.h"
 #include "completer.h"
 #include "exceptions.h"
+#include "observer.h"
 
 /* Local function declarations.  */
 
 extern void _initialize_core (void);
 static void call_extra_exec_file_hooks (char *filename);
 
 /* You can have any number of hooks for `exec_file_command' command to
    call.  If there's only one hook, it is set in exec_file_display
    hook.  If there are two or more hooks, they are set in
    exec_file_extra_hooks[], and deprecated_exec_file_display_hook is
    set to a function that calls all of them.  This extra complexity is
    needed to preserve compatibility with old code that assumed that
    only one hook could be set, and which called
    deprecated_exec_file_display_hook directly.  */
 
 typedef void (*hook_type) (char *);
 
 hook_type deprecated_exec_file_display_hook;    /* The original hook.  */
 static hook_type *exec_file_extra_hooks;        /* Array of additional
                                                    hooks.  */
 static int exec_file_hook_count = 0;            /* Size of array.  */
 
 /* Binary file diddling handle for the core file.  */