781a782 > gdb/value.c:3677: deprecated: deprecated set_value_type: Do not use deprecated set_value_type, see declaration for details gdb/value.c:3677: deprecated_set_value_type (value, TYPE_TARGET_TYPE (original_type));