Daniel Jacobowitz wrote:
> On Mon, Feb 04, 2008 at 09:58:42PM +0000, Greg Law wrote:
>> Should it be just flushregs that invalidates the frame cache, or should  
>> it happen from registers_changed()?
> 
> Good question :-)  Probably registers_changed, but I suspect that
> makes a lot of other reinit_frame_cache calls redundant.
> 

Well, calling reinit_frame_cache() from registers_changed() does indeed 
fix the problem.  It doesn't seem that a few redundant calls to 
reinit_frame_cache() is a big issue: if it's already NULL then there 
isn't much work for that function to do.  OTOH, not calling it where it 
should be called clearly is pretty serious.

The attached patch does this.  I guess copyright assignment etc is 
rather over the top for such a small change, but if you prefer we go 
through those hoops then I'm happy to do so.

g

-- 
Greg Law, Undo Software                       http://undo-software.com/