(ppcobsd_init_abi): Set long_double_bit and long_double_format.
* Makefile.in (ppcobsd-tdep.o): Update dependencies.
2005-04-16 Mark Kettenis <kettenis@gnu.org>
+ * ppcobsd-tdep.c: Include "floatformat.h".
+ (ppcobsd_init_abi): Set long_double_bit and long_double_format.
+ * Makefile.in (ppcobsd-tdep.o): Update dependencies.
+
* ppcobsd-tdep.c: Fix typo in comment.
(_initialize_ppcobsd_tdep): Register GDB_OSABI_OPENBSD_ELF for
bfd_arch_rs6000 too.
#include "defs.h"
#include "arch-utils.h"
+#include "floatformat.h"
#include "osabi.h"
#include "regcache.h"
#include "regset.h"
static void
ppcobsd_init_abi (struct gdbarch_info info, struct gdbarch *gdbarch)
{
+ /* OpenBSD doesn't support the 128-bit `long double' from the psABI. */
+ set_gdbarch_long_double_bit (gdbarch, 64);
+ set_gdbarch_long_double_format (gdbarch, &floatformat_ieee_double_big);
+
/* OpenBSD uses SVR4-style shared libraries. */
set_solib_svr4_fetch_link_map_offsets
(gdbarch, svr4_ilp32_fetch_link_map_offsets);