On Thursday 20 November 2008 14:28:24, Ulrich Weigand wrote:

> I guess the "regcache" and "gdbarch" variables now also contain stale
> information.  That's not an actual problem right now, as regcache is
> (currently) not used after this point, and gdbarch (today) will never
> actually change -- but in order to reduce potential future problems,
> I think those should also be reset.

Right, how about the attached?

-- 
Pedro Alves