* ppc-sysv-tdep.c (ppc64_sysv_abi_return_value): Assert that
authorJim Blandy <jimb@codesourcery.com>
Fri, 7 May 2004 20:48:43 +0000 (20:48 +0000)
committerJim Blandy <jimb@codesourcery.com>
Fri, 7 May 2004 20:48:43 +0000 (20:48 +0000)
the given architecture has floating-point registers.

gdb/ChangeLog
gdb/ppc-sysv-tdep.c

index 2a52700..3b25992 100644 (file)
@@ -1,3 +1,8 @@
+2004-05-07  Jim Blandy  <jimb@redhat.com>
+
+       * ppc-sysv-tdep.c (ppc64_sysv_abi_return_value): Assert that
+       the given architecture has floating-point registers. 
+
 2004-05-07  Andrew Cagney  <cagney@redhat.com>
 
        * gdbarch.sh (DEPRECATED_USE_GENERIC_DUMMY_FRAMES): Replace with
index 2d48ed5..7da5ce2 100644 (file)
@@ -850,6 +850,12 @@ ppc64_sysv_abi_return_value (struct gdbarch *gdbarch, struct type *valtype,
                             const void *writebuf)
 {
   struct gdbarch_tdep *tdep = gdbarch_tdep (gdbarch);
+
+  /* This function exists to support a calling convention that
+     requires floating-point registers.  It shouldn't be used on
+     processors that lack them.  */
+  gdb_assert (ppc_floating_point_unit_p (gdbarch));
+
   /* Floats and doubles in F1.  */
   if (TYPE_CODE (valtype) == TYPE_CODE_FLT && TYPE_LENGTH (valtype) <= 8)
     {