Subject: Re: bug#71179: [PATCH] In rgrep, check matching files before excluding files

From: Dmitry Gutov <[email-masked]>
Date: Sat, 25 May 2024 17:51:11 +0300

On 25/05/2024 17:13, Eli Zaretskii wrote:
>>   For example, you never
>>   considered the cases where the files which match the pattern to search
>>   also match the ignored-extensions, and many other possibilities.
>>
>> In that case the file will not be searched, same as before this change.  No behavior change.
> We are talking about performance here.

FWIW I don't see which performance problem you have in mind.

If you mean the possible regression in the case "user picked file 
extension that's already in ignores", then I don't think it's going to 
be any noticeably slower in vast majority of cases. And it's not a 
scenario to optimize for anyway.