[RFC] Another 64 bit CORE_ADDR & 32 bit target address printing botch

[Kevin Buettner]

On Sep 7, 11:33pm, Fred Fish wrote:

> I found another place where 32 bit addresses with the MSB set are printed 
> as 0xffffffffxxxxxxxx.  I hacked around the problem with this patch,
> but it might not be the best place to do it.  Any better ideas?

Was this on MIPS?  Aren't these addresses supposed to be sign extended on
MIPS?

In any event, if the address stored in the CORE_ADDR is incorrect, I think
it'd be better to fix it at the point where it's being stored incorrectly.

Kevin