Hi Daniel, Any chance this patch (or its equivalent) could get applied? (Attached again for the sake of convenience.) Cheers, Greg Greg Law wrote: > 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/