default :
/* xgettext:c-format */
- fprintf (stderr, _("Unrecognized field %d while building insn.\n"),
- opindex);
+ opcodes_error_handler
+ (_("internal error: unrecognized field %d while building insn"),
+ opindex);
abort ();
}
default :
/* xgettext:c-format */
- fprintf (stderr, _("Unrecognized field %d while decoding insn.\n"),
- opindex);
+ opcodes_error_handler
+ (_("internal error: unrecognized field %d while decoding insn"),
+ opindex);
abort ();
}
default :
/* xgettext:c-format */
- fprintf (stderr, _("Unrecognized field %d while getting int operand.\n"),
- opindex);
+ opcodes_error_handler
+ (_("internal error: unrecognized field %d while getting int operand"),
+ opindex);
abort ();
}
default :
/* xgettext:c-format */
- fprintf (stderr, _("Unrecognized field %d while getting vma operand.\n"),
- opindex);
+ opcodes_error_handler
+ (_("internal error: unrecognized field %d while getting vma operand"),
+ opindex);
abort ();
}
default :
/* xgettext:c-format */
- fprintf (stderr, _("Unrecognized field %d while setting int operand.\n"),
- opindex);
+ opcodes_error_handler
+ (_("internal error: unrecognized field %d while setting int operand"),
+ opindex);
abort ();
}
}
default :
/* xgettext:c-format */
- fprintf (stderr, _("Unrecognized field %d while setting vma operand.\n"),
- opindex);
+ opcodes_error_handler
+ (_("internal error: unrecognized field %d while setting vma operand"),
+ opindex);
abort ();
}
}