On 12/11/19 3:25 PM, Paul Eggert wrote: > On 3/22/19 7:49 PM, Norihiro Tanaka wrote: >> Missing a patch for dfa. Re-send correct patch file. > > Thanks, I installed the DFA-relevant parts of your proposed fix into Gnulib. > (The grep parts still need doing.)
I finally got around to reviewing the grep parts, and installed them into 'grep' master. Thanks again for the fix, and sorry about the delay. Closing the bug report, as the original bug has been fixed (though we can still talk about what name to give ptrdiff_t, in bug-gnulib perhaps). I followed up with this NEWS entry: A performance bug has been fixed for patterns like '01.2' that cause grep to reorder tokens internally. [Bug#34951 introduced in grep 3.2]
