Sorry, the patch still had bugs. I fixed them. I confirmed that the patched version passed all regression tests.
patch.txt
Description: Binary data
- bug#16966: [PATCH] grep: optimizatio... Norihiro Tanaka
- bug#16966: [PATCH] grep: optimiz... Paolo Bonzini
- bug#16966: [PATCH] grep: optimiz... Norihiro Tanaka
- bug#16966: [PATCH] grep: optimiz... Norihiro Tanaka
- bug#16966: [PATCH] grep: optimiz... Paolo Bonzini
- bug#16966: [PATCH] grep: optimiz... Norihiro Tanaka
- bug#16966: [PATCH] grep: optimiz... Norihiro Tanaka
- bug#16966: [PATCH] grep: optimiz... Norihiro Tanaka
- bug#16966: [PATCH] grep: optimiz... Norihiro Tanaka
- bug#16966: [PATCH] grep: optimization with the su... Paul Eggert
- bug#16966: [PATCH] grep: optimization with the superset of... Norihiro Tanaka
