gdb/arm-tdep.c: Use filtered output in arm_print_float_info.

gdb/ChangeLog:

2013-11-05  Will Newton  <will.newton@linaro.org>

	PR gdb/7670
	* arm-tdep.c (print_fpu_flags): Use filtered output routines.
	(arm_print_float_info): Likewise.
This commit is contained in:
Will Newton 2013-11-01 17:44:19 -07:00
parent dba6fa9bce
commit 12b272760b
2 changed files with 19 additions and 13 deletions

View file

@ -1,3 +1,9 @@
2013-11-05 Will Newton <will.newton@linaro.org>
PR gdb/7670
* arm-tdep.c (print_fpu_flags): Use filtered output routines.
(arm_print_float_info): Likewise.
2013-11-04 Anton Blanchard <anton@samba.org> 2013-11-04 Anton Blanchard <anton@samba.org>
* target.c (memory_xfer_partial): Cap write to 4KB. * target.c (memory_xfer_partial): Cap write to 4KB.

View file

@ -3889,19 +3889,19 @@ arm_frame_align (struct gdbarch *gdbarch, CORE_ADDR sp)
} }
static void static void
print_fpu_flags (int flags) print_fpu_flags (struct ui_file *file, int flags)
{ {
if (flags & (1 << 0)) if (flags & (1 << 0))
fputs ("IVO ", stdout); fputs_filtered ("IVO ", file);
if (flags & (1 << 1)) if (flags & (1 << 1))
fputs ("DVZ ", stdout); fputs_filtered ("DVZ ", file);
if (flags & (1 << 2)) if (flags & (1 << 2))
fputs ("OFL ", stdout); fputs_filtered ("OFL ", file);
if (flags & (1 << 3)) if (flags & (1 << 3))
fputs ("UFL ", stdout); fputs_filtered ("UFL ", file);
if (flags & (1 << 4)) if (flags & (1 << 4))
fputs ("INX ", stdout); fputs_filtered ("INX ", file);
putchar ('\n'); fputc_filtered ('\n', file);
} }
/* Print interesting information about the floating point processor /* Print interesting information about the floating point processor
@ -3915,15 +3915,15 @@ arm_print_float_info (struct gdbarch *gdbarch, struct ui_file *file,
type = (status >> 24) & 127; type = (status >> 24) & 127;
if (status & (1 << 31)) if (status & (1 << 31))
printf (_("Hardware FPU type %d\n"), type); fprintf_filtered (file, _("Hardware FPU type %d\n"), type);
else else
printf (_("Software FPU type %d\n"), type); fprintf_filtered (file, _("Software FPU type %d\n"), type);
/* i18n: [floating point unit] mask */ /* i18n: [floating point unit] mask */
fputs (_("mask: "), stdout); fputs_filtered (_("mask: "), file);
print_fpu_flags (status >> 16); print_fpu_flags (file, status >> 16);
/* i18n: [floating point unit] flags */ /* i18n: [floating point unit] flags */
fputs (_("flags: "), stdout); fputs_filtered (_("flags: "), file);
print_fpu_flags (status); print_fpu_flags (file, status);
} }
/* Construct the ARM extended floating point type. */ /* Construct the ARM extended floating point type. */