On Thu, Sep 25, 2014 at 5:23 PM, Paul Eggert <eggert@cs.ucla.edu> wrote:
> Thanks for looking into that.  The attached patches solve those performance
> problems for me.

I've pushed this follow-up patch to suppress a new warning: