Subject: Re: [PATCH v3 00/11] cocci: make "incremental" possible + a ccache-like tool

From: Junio C Hamano <[email-masked]>
Date: Mon, 17 Oct 2022 12:08:44 -0700

Ævar Arnfjörð Bjarmason <[email-masked]> writes:

> But as 10/11 notes we can just avoid this by not picking conflicting
> names, which doesn't seem like an undue burden.

As long as it is clearly documented to make it well known to
everybody who would attempt to touch or add .cocci files, I am OK
with that direction.

> AFAICT we have 5 named rules, and seemingly only 1/4 actually needs its
> name, the rest are apparently only using it for self-documentation, and
> we could either remove the name, or accomplish the same with a comment:

Well, if they are for self-documentation, they'd better be unique,
or they are not self-documenting enough, no ;-)?