From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.4.2 (2018-09-13) on dcvr.yhbt.net X-Spam-Level: X-Spam-ASN: AS3215 2.6.0.0/16 X-Spam-Status: No, score=-3.8 required=3.0 tests=AWL,BAYES_00,DKIM_SIGNED, DKIM_VALID,DKIM_VALID_AU,HEADER_FROM_DIFFERENT_DOMAINS, MAILING_LIST_MULTI,SPF_HELO_NONE,SPF_PASS shortcircuit=no autolearn=ham autolearn_force=no version=3.4.2 Received: from out1.vger.email (out1.vger.email [IPv6:2620:137:e000::1:20]) by dcvr.yhbt.net (Postfix) with ESMTP id DED7D1F403 for ; Mon, 17 Oct 2022 19:08:54 +0000 (UTC) Authentication-Results: dcvr.yhbt.net; dkim=pass (1024-bit key; unprotected) header.d=pobox.com header.i=@pobox.com header.b="jc3s1WDh"; dkim-atps=neutral Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S230027AbiJQTIv (ORCPT ); Mon, 17 Oct 2022 15:08:51 -0400 Received: from lindbergh.monkeyblade.net ([23.128.96.19]:46426 "EHLO lindbergh.monkeyblade.net" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S229597AbiJQTIu (ORCPT ); Mon, 17 Oct 2022 15:08:50 -0400 Received: from pb-smtp20.pobox.com (pb-smtp20.pobox.com [173.228.157.52]) by lindbergh.monkeyblade.net (Postfix) with ESMTPS id 9992BF3C for ; Mon, 17 Oct 2022 12:08:49 -0700 (PDT) Received: from pb-smtp20.pobox.com (unknown [127.0.0.1]) by pb-smtp20.pobox.com (Postfix) with ESMTP id 35FB61B2D37; Mon, 17 Oct 2022 15:08:49 -0400 (EDT) (envelope-from junio@pobox.com) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed; d=pobox.com; h=from:to:cc :subject:references:date:in-reply-to:message-id:mime-version :content-type:content-transfer-encoding; s=sasl; bh=g1wuMVqRb+t7 zxLbVs/fZ7QgddGLCDbxXCdLN1OBCFE=; b=jc3s1WDh6LKDXjG/P16cTMvAvfpM y/nddQ7ZpWyTM5dBbUO/dM8VK6/NNChr+wPVUoeTbcSc6gaTNVPLxMAsqsO5tmPI ujn5DsN/o9N6liiNQ7i6cS4vXemgOpmNTLnZDVchl+S+j8zyqdw07SLAC0YGjwJQ l2aWZWJVcgec/rw= Received: from pb-smtp20.sea.icgroup.com (unknown [127.0.0.1]) by pb-smtp20.pobox.com (Postfix) with ESMTP id 2DF1E1B2D35; Mon, 17 Oct 2022 15:08:49 -0400 (EDT) (envelope-from junio@pobox.com) Received: from pobox.com (unknown [34.83.5.33]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by pb-smtp20.pobox.com (Postfix) with ESMTPSA id 45E171B2D34; Mon, 17 Oct 2022 15:08:45 -0400 (EDT) (envelope-from junio@pobox.com) From: Junio C Hamano To: =?utf-8?B?w4Z2YXIgQXJuZmrDtnLDsA==?= Bjarmason Cc: Jeff King , git@vger.kernel.org, SZEDER =?utf-8?Q?G?= =?utf-8?Q?=C3=A1bor?= Subject: Re: [PATCH v3 00/11] cocci: make "incremental" possible + a ccache-like tool References: <221017.86czaqjnhy.gmgdl@evledraar.gmail.com> Date: Mon, 17 Oct 2022 12:08:44 -0700 In-Reply-To: <221017.86czaqjnhy.gmgdl@evledraar.gmail.com> (=?utf-8?B?IsOG?= =?utf-8?B?dmFyIEFybmZqw7Zyw7A=?= Bjarmason"'s message of "Mon, 17 Oct 2022 20:36:46 +0200") Message-ID: User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/28.1 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 X-Pobox-Relay-ID: 1F4F6306-4E4F-11ED-A7DF-C2DA088D43B2-77302942!pb-smtp20.pobox.com Content-Transfer-Encoding: quoted-printable Precedence: bulk List-ID: X-Mailing-List: git@vger.kernel.org =C3=86var Arnfj=C3=B6r=C3=B0 Bjarmason 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 ;-)?