pc_val = gdbarch_addr_bits_remove (gdbarch, raw_val);
}
else
- internal_error (__FILE__, __LINE__,
- _("regcache_read_pc: Unable to find PC"));
+ internal_error (_("regcache_read_pc: Unable to find PC"));
return pc_val;
}
regcache_cooked_write_unsigned (regcache,
gdbarch_pc_regnum (gdbarch), pc);
else
- internal_error (__FILE__, __LINE__,
- _("regcache_write_pc: Unable to update PC"));
+ internal_error (_("regcache_write_pc: Unable to update PC"));
/* Writing the PC (for instance, from "load") invalidates the
current frame. */