[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#43527: [PATCH] grep: avoid unneeded compilation of regex
From: |
Jim Meyering |
Subject: |
bug#43527: [PATCH] grep: avoid unneeded compilation of regex |
Date: |
Tue, 22 Sep 2020 16:25:06 -0700 |
On Tue, Sep 22, 2020 at 3:57 PM Norihiro Tanaka <noritnk@kcn.ne.jp> wrote:
> On Tue, 22 Sep 2020 08:50:03 -0700
> Jim Meyering <jim@meyering.net> wrote:
>
> > On Tue, Sep 22, 2020 at 7:54 AM Norihiro Tanaka <noritnk@kcn.ne.jp> wrote:
> > > On Mon, 21 Sep 2020 17:33:25 -0700
> > > Jim Meyering <jim@meyering.net> wrote:
> > ...
> > > > Here are the two patches (tested on top of a third that updates to
> > > > latest gnulib). I'll await an 'ok' from Norihiro Tanaka before
> > > > pushing, since commit-log metadata is essentially immutable once
> > > > pushed.
> > >
> > > Great, thank you. I confirmed it.
> >
> > Thanks. Pushed.
>
> Oh, I found a bug for this fix. If Fexecute is called first without
> start_ptr and next with start_ptr, it may break.
Oh! Good timing. I was about to make a new snapshot.
Do you happen to have a test case handy that demonstrates the failure?
- bug#43527: [PATCH] grep: avoid unneeded compilation of regex, Norihiro Tanaka, 2020/09/20
- bug#43527: [PATCH] grep: avoid unneeded compilation of regex, Jim Meyering, 2020/09/20
- bug#43527: [PATCH] grep: avoid unneeded compilation of regex, Jim Meyering, 2020/09/21
- bug#43527: [PATCH] grep: avoid unneeded compilation of regex, Norihiro Tanaka, 2020/09/22
- bug#43527: [PATCH] grep: avoid unneeded compilation of regex, Jim Meyering, 2020/09/22
- bug#43527: [PATCH] grep: avoid unneeded compilation of regex, Norihiro Tanaka, 2020/09/22
- bug#43527: [PATCH] grep: avoid unneeded compilation of regex,
Jim Meyering <=
- bug#43527: [PATCH] grep: avoid unneeded compilation of regex, Norihiro Tanaka, 2020/09/22
- bug#43527: [PATCH] grep: avoid unneeded compilation of regex, Jim Meyering, 2020/09/23
- bug#43527: [PATCH] grep: avoid unneeded compilation of regex, Paul Eggert, 2020/09/23
- bug#43527: [PATCH] grep: avoid unneeded compilation of regex, Jim Meyering, 2020/09/23
- bug#43527: [PATCH] grep: avoid unneeded compilation of regex, Jim Meyering, 2020/09/26
- bug#43527: [PATCH] grep: avoid unneeded compilation of regex, Paul Eggert, 2020/09/26
- bug#43527: [PATCH] grep: avoid unneeded compilation of regex, Norihiro Tanaka, 2020/09/26