Paul Eggert <egg...@cs.ucla.edu> wrote: > The optimization was a hack anyway, and these bugs suggest that it's> > not a hack worth keeping.
Thanks. I improved this hack instead of removal, but it had little effect in comparison with your patch, even if `execute' ran for each character. $ yes j | head -1000000 >k (Current master): $ time -p src/grep -Po j ../k >/dev/null real 0.46 user 0.40 sys 0.02 (My patch): $ time -p src/grep -Po j ../k >/dev/null real 0.46 user 0.41 sys 0.01
