[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#39678: 'grep --ignore-case --color' does not always color the matche
From: |
Tomasz Dziendzielski |
Subject: |
bug#39678: 'grep --ignore-case --color' does not always color the matches |
Date: |
Tue, 19 Oct 2021 20:36:43 +0200 |
I found that for optimization purposes common cases in re_string_peek_byte
are missed if pstr->mbs_allocated is true, thus skipping them also for case
insensitive.
My solution would be to return re_string_peek_byte also if pstr->icase is
true. mbs_allocated is changed also depending on icase but I don't think we
want to change it globally, so I think my patch should be fine and not
affect optimization.
Please check the attachment. If the patch is fine should I also send this
to gnulib mailing list to have it submitted or is this one enough?
Best regards,
Tomasz Dziendzielski
0001-regex-Handle-common-easiest-cases-if-case-insensitiv.patch
Description: Text Data
- bug#39678: 'grep --ignore-case --color' does not always color the matches, Tomasz Dziendzielski, 2021/10/18
- bug#39678: 'grep --ignore-case --color' does not always color the matches, Tomasz Dziendzielski, 2021/10/18
- bug#39678: 'grep --ignore-case --color' does not always color the matches, Paul Eggert, 2021/10/18
- bug#39678: 'grep --ignore-case --color' does not always color the matches, Tomasz Dziendzielski, 2021/10/18
- bug#39678: 'grep --ignore-case --color' does not always color the matches, Tomasz Dziendzielski, 2021/10/18
- bug#39678: 'grep --ignore-case --color' does not always color the matches, Tomasz Dziendzielski, 2021/10/18
- bug#39678: 'grep --ignore-case --color' does not always color the matches, Tomasz Dziendzielski, 2021/10/18
- bug#39678: 'grep --ignore-case --color' does not always color the matches, Tomasz Dziendzielski, 2021/10/18
- bug#39678: 'grep --ignore-case --color' does not always color the matches, Paul Eggert, 2021/10/18
- bug#39678: 'grep --ignore-case --color' does not always color the matches,
Tomasz Dziendzielski <=
- bug#39678: 'grep --ignore-case --color' does not always color the matches, Paul Eggert, 2021/10/19
- bug#39678: 'grep --ignore-case --color' does not always color the matches, Tomasz Dziendzielski, 2021/10/19