From: Junio C Hamano <gitster@pobox.com>
To: "Ævar Arnfjörð Bjarmason" <avarab@gmail.com>
Cc: git@vger.kernel.org, "Elijah Newren" <newren@gmail.com>,
"Han-Wen Nienhuys" <hanwen@google.com>,
"Jeff King" <peff@peff.net>, "Taylor Blau" <me@ttaylorr.com>,
"René Scharfe" <l.s.r@web.de>
Subject: Re: What's cooking in git.git (Mar 2021, #03; Wed, 10)
Date: Thu, 11 Mar 2021 23:10:17 -0800 [thread overview]
Message-ID: <xmqqwnucaluu.fsf@gitster.g> (raw)
In-Reply-To: <xmqqy2etczqi.fsf@gitster.g> (Junio C. Hamano's message of "Thu, 11 Mar 2021 10:27:33 -0800")
Junio C Hamano <gitster@pobox.com> writes:
>>> * ab/make-cocci-dedup (2021-03-05) 4 commits
>>> - Makefile/coccicheck: set SPATCH_BATCH_SIZE to 8
>>> - Makefile/coccicheck: allow for setting xargs concurrency
>>> - Makefile/coccicheck: speed up and fix bug with duplicate hunks
>>> - Makefile/coccicheck: add comment heading for all SPATCH flags
>>>
>>> An attempt to speed up the coccicheck target with incorrect
>>> results.
>>>
>>> A reroll exists to address correctness issue, but not picked up.
>>
>> Any reason for not picked up other than "rc period etc...".
>
> As I always say, please don't read anything more than "I happen to
> have seen it" in being in 'seen'. And that does not even mean
> everything I saw would be on 'seen'. Especially during the
> pre-release freeze. I may have time to pick up a replacement for a
> topic that is already in 'seen', to make sure there aren't unexpected
> new conflicts I'll later have to resolve, and if it is too bad, I may
> even drop the old iteration (because it is stale and a new one exists)
> and the new iteration (because it may be fresher but does not work
> well with others).
>
>> I'm
>> confident the patch at
>> https://lore.kernel.org/git/20210306192525.15197-1-avarab@gmail.com/
>> addresses the intra-series bug, and the whole thing solves outstanding
>> bugs on master.
>
> I recall seeing you use a new option to coccinelle that I did not
> get any hit on my search engine in the updated series. Is the world
> ready for the thing?
So, I had a chance to go back to the list discussion to double check
the details of what I vaguely recalled when I wrote it.
In [v2 5/4] we revert an earlier change to use "--no-includes" in
[v2 2/4] (which got "This part still doesn't make any sense to me."
by Peff) back to use "--all-includes". If we were fixing an earlier
regression in a hurry, such a messy history may have to be accepted,
but because we are not in a hurry, I'd rather see the series
straightened up.
We start using "--include-headers-for-types" on SPATCH_FLAGS while
doing so, which I didn't find any hits, but a fresh search found
this http://lira.epac.to:8080/doc/coccinelle-doc/manual.pdf and it
seems that at least at release 1.0.4 (Jan 6, 2019) the option is
available. I couldn't find a reference for the oldest version that
we can safely use, though.
For now, I'll drop the one listed in the "What's cooking" report you
cited above (because it is stale and a new one is coming), and will
wait for a new iteration in a cleaned-up form (because we do not
want to see "ok, let's do no-includes" followed by "ah, that was a
mistake, let's use all-includes like before").
Thanks.
next prev parent reply other threads:[~2021-03-12 7:11 UTC|newest]
Thread overview: 14+ messages / expand[flat|nested] mbox.gz Atom feed top
2021-03-11 3:01 What's cooking in git.git (Mar 2021, #03; Wed, 10) Junio C Hamano
2021-03-11 4:49 ` Elijah Newren
2021-03-11 6:08 ` Junio C Hamano
2021-03-11 5:20 ` ZheNing Hu
2021-03-11 5:28 ` Junio C Hamano
2021-03-11 6:18 ` ZheNing Hu
2021-03-11 11:44 ` Ævar Arnfjörð Bjarmason
2021-03-11 13:01 ` Han-Wen Nienhuys
2021-03-11 18:12 ` Junio C Hamano
2021-03-11 16:17 ` Elijah Newren
2021-03-11 18:27 ` Junio C Hamano
2021-03-11 19:17 ` Jeff King
2021-03-12 7:10 ` Junio C Hamano [this message]
2021-03-11 19:13 ` René Scharfe.
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=xmqqwnucaluu.fsf@gitster.g \
--to=gitster@pobox.com \
--cc=avarab@gmail.com \
--cc=git@vger.kernel.org \
--cc=hanwen@google.com \
--cc=l.s.r@web.de \
--cc=me@ttaylorr.com \
--cc=newren@gmail.com \
--cc=peff@peff.net \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.