Ævar Arnfjörð Bjarmason <avarab@xxxxxxxxx> 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 ;-)?