Merge GDB 7.5.1

gdb/valprint.c

 /* Print values for GDB, the GNU debugger.
 
    Copyright (C) 1986, 1988-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
    (at your option) any later version.
@@ skipping 67 matching lines @@
   10,                           /* repeat_count_threshold */
   0,                            /* output_format */
   0,                            /* format */
   0,                            /* stop_print_at_null */
   0,                            /* inspect_it */
   0,                            /* print_array_indexes */
   0,                            /* deref_ref */
   1,                            /* static_field_print */
   1,                            /* pascal_static_field_print */
   0,                            /* raw */
-  0                             /* summary */
+  0,                            /* summary */
+  1                             /* symbol_print */
 };
 
 /* Initialize *OPTS to be a copy of the user print options.  */
 void
 get_user_print_options (struct value_print_options *opts)
 {
   *opts = user_print_options;
 }
 
 /* Initialize *OPTS to be a copy of the user print options, but with
@@ skipping 110 matching lines @@
   fprintf_filtered (file,
                     _("Printing of unions interior to structures is %s.\n"),
                     value);
 }
 
 /* If nonzero, causes machine addresses to be printed in certain contexts.  */
 
 static void
 show_addressprint (struct ui_file *file, int from_tty,
                    struct cmd_list_element *c, const char *value)