On Friday 05 December 2008 20:43:28, Daniel Jacobowitz wrote:
> On Fri, Dec 05, 2008 at 09:30:38PM +0100, Ulrich Weigand wrote:
> > > I think it's obvious after the discussion, but I'd still like to
> > > have your approval.  OK?  Any objections?
> > 
> > It might be better to use get_frame_pc (frame) instead of read_pc (),
> 
> Yes, please.
> 

Good idea.  I wonder if this I've checked this in then.  There are two
other instances of read_pc in infcmd.c that could use the same idiom --- I
guess these calls predate the sentinel frame.

-- 
Pedro Alves