bug#17013: [PATCH] grep: optimization by using the Galil rule for Boyer-Moore algorithm in KWSet

[Paul Eggert]

Norihiro Tanaka wrote:
> In second patch, I changed so that Boyer-Moore algorithm could be used
> also to case-insensitive matching if MB_CUR_MAX == 1.

Thanks, I merged this patch into the savannah git master (attachment 1), 
applied a fixup patch for clarity and to fix some minor style issues 
(attachment 2), and fixed some longstanding kwset memory-allocation 
infelicities mostly having to do with unecessary code (attachment 3).

0001-grep-use-the-Galil-rule-for-Boyer-Moore-algorithm-in.patch
Description: Text document

0002-grep-minor-cleanups-for-Galil-speedups.patch
Description: Text document

0003-grep-simplify-memory-allocation-in-kwset.patch
Description: Text document