On Tue, Jun 12, 2007 at 04:53:40PM +0200, Andreas Schwab wrote: > In this case the base cache was never used, so there is nothing to > deallocate. Oh, I see how it works. Patch OK. -- Daniel Jacobowitz CodeSourcery