Print registers not saved in the frame as "<not saved>" instead of "<optimized out>".

[thirdparty/binutils-gdb.git] / gdb / valprint.h

diff --git a/gdb/valprint.h b/gdb/valprint.h
index e7073b6dfb410319e461a6bc3f7fb10b386a2fd4..1d86ed73da801ae43e594202dbbbf3bcee64e4e6 100644 (file)
--- a/gdb/valprint.h
+++ b/gdb/valprint.h
@@ -160,7 +160,8 @@ extern int read_string (CORE_ADDR addr, int len, int width,
                        enum bfd_endian byte_order, gdb_byte **buffer,
                        int *bytes_read);
 
-extern void val_print_optimized_out (struct ui_file *stream);
+extern void val_print_optimized_out (const struct value *val,
+                                    struct ui_file *stream);
 
 extern void val_print_unavailable (struct ui_file *stream);