/* Intel 387 floating point stuff.
Copyright (C) 1988, 1989, 1991, 1992, 1993, 1994, 1998, 1999, 2000, 2001,
- 2002, 2003, 2004, 2005, 2007, 2008, 2009, 2010
+ 2002, 2003, 2004, 2005, 2007, 2008, 2009, 2010, 2011
Free Software Foundation, Inc.
This file is part of GDB.
struct frame_info *frame, const char *args)
{
struct gdbarch_tdep *tdep = gdbarch_tdep (get_frame_arch (frame));
- gdb_byte buf[4];
ULONGEST fctrl;
ULONGEST fstat;
ULONGEST ftag;
switch (regclass)
{
default:
- abort ();
+ internal_error (__FILE__, __LINE__,
+ _("invalid i387 regclass"));
case avxh:
/* This is an upper YMM register. */
switch (regclass)
{
default:
- abort ();
+ internal_error (__FILE__, __LINE__,
+ _("invalid i387 regclass"));
case all:
break;