* ppc-sysv-tdep.c (ppc64_sysv_abi_return_value): Assert that

the given architecture has floating-point registers.

gdb/ChangeLog

@@ -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

gdb/ppc-sysv-tdep.c

@@ -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)
     {