From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.4.0 (2014-02-07) on aws-us-west-2-korg-lkml-1.web.codeaurora.org X-Spam-Level: X-Spam-Status: No, score=-5.5 required=3.0 tests=BAYES_00, HEADER_FROM_DIFFERENT_DOMAINS,MAILING_LIST_MULTI,SPF_HELO_NONE,SPF_PASS, URIBL_BLOCKED,USER_AGENT_SANE_1 autolearn=no autolearn_force=no version=3.4.0 Received: from mail.kernel.org (mail.kernel.org [198.145.29.99]) by smtp.lore.kernel.org (Postfix) with ESMTP id 7CA2CC433E2 for ; Sat, 5 Sep 2020 11:08:35 +0000 (UTC) Received: from isis.lip6.fr (isis.lip6.fr [132.227.60.2]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by mail.kernel.org (Postfix) with ESMTPS id 7B2262074B for ; Sat, 5 Sep 2020 11:08:34 +0000 (UTC) DMARC-Filter: OpenDMARC Filter v1.3.2 mail.kernel.org 7B2262074B Authentication-Results: mail.kernel.org; dmarc=none (p=none dis=none) header.from=inria.fr Authentication-Results: mail.kernel.org; spf=pass smtp.mailfrom=cocci-bounces@systeme.lip6.fr Received: from systeme.lip6.fr (systeme.lip6.fr [132.227.104.7]) by isis.lip6.fr (8.15.2/8.15.2) with ESMTP id 085B860A028375; Sat, 5 Sep 2020 13:08:06 +0200 (CEST) Received: from systeme.lip6.fr (systeme.lip6.fr [127.0.0.1]) by systeme.lip6.fr (Postfix) with ESMTP id C094E742E; Sat, 5 Sep 2020 13:08:06 +0200 (CEST) Received: from isis.lip6.fr (isis.lip6.fr [132.227.60.2]) (using TLSv1 with cipher DHE-RSA-AES256-SHA (256/256 bits)) (No client certificate requested) by systeme.lip6.fr (Postfix) with ESMTPS id A81AD6717 for ; Sat, 5 Sep 2020 13:08:05 +0200 (CEST) Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by isis.lip6.fr (8.15.2/8.15.2) with ESMTP id 085B85w8010275 for ; Sat, 5 Sep 2020 13:08:05 +0200 (CEST) X-IronPort-AV: E=Sophos;i="5.76,359,1592863200"; d="scan'208";a="466206228" Received: from abo-173-121-68.mrs.modulonet.fr (HELO hadrien) ([85.68.121.173]) by mail2-relais-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 05 Sep 2020 13:08:05 +0200 Date: Sat, 5 Sep 2020 13:08:04 +0200 (CEST) From: Julia Lawall X-X-Sender: jll@hadrien To: Markus Elfring In-Reply-To: <26349832-57a8-4c6e-efc9-0febd5650922@web.de> Message-ID: References: <8e76e81f-970b-b1f7-840d-10506dc3311a@linux.com> <34004dc6-e7a6-7557-4c64-2ec74872baea@web.de> <1e60d36d-7f2b-98eb-5fe3-9729b97ba360@web.de> <26349832-57a8-4c6e-efc9-0febd5650922@web.de> User-Agent: Alpine 2.22 (DEB 394 2020-01-19) MIME-Version: 1.0 Content-Type: multipart/mixed; boundary="8323329-1147194658-1599304085=:2363" X-Greylist: Sender IP whitelisted, Sender e-mail whitelisted, not delayed by milter-greylist-4.4.3 (isis.lip6.fr [132.227.60.2]); Sat, 05 Sep 2020 13:08:07 +0200 (CEST) X-Greylist: Sender passed SPF test, not delayed by milter-greylist-4.4.3 (isis.lip6.fr [132.227.60.2]); Sat, 05 Sep 2020 13:08:05 +0200 (CEST) X-Scanned-By: MIMEDefang 2.78 on 132.227.60.2 X-Scanned-By: MIMEDefang 2.78 on 132.227.60.2 Cc: Coccinelle Subject: Re: [Cocci] coccinelle: api: add sprintf() support to device_attr_show X-BeenThere: cocci@systeme.lip6.fr X-Mailman-Version: 2.1.13 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Sender: cocci-bounces@systeme.lip6.fr Errors-To: cocci-bounces@systeme.lip6.fr This message is in MIME format. The first part should be readable text, while the remaining parts are likely unreadable without MIME-aware tools. --8323329-1147194658-1599304085=:2363 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: 8BIT On Sat, 5 Sep 2020, Markus Elfring wrote: > > The clarification will be continued when you provide a small semantic > > patch and a C file that causes a problem. > > I imagine that a patch review was still running. > > > > I'm not going to hunt in years > > This action is not needed here. > > > > of mail archives to find it. > > Have you got ongoing difficulties with safe issue tracking? > > Please use the information also from available archive interfaces. > https://lore.kernel.org/cocci/0a9015b6-9037-59c5-31f2-cd2b32c86b50@linux.com/ > https://systeme.lip6.fr/pipermail/cocci/2020-August/008120.html > > > > If you want something to happen you have to provide that information now. > > Would you like to test the software any further with the attached SmPL script variant > (and the previously mentioned Linux source file “drivers/base/core.c” for example)? It doesn't work because you persist in thinking that you can put a disjunction around anything. This is not correct. You can only put disjuctions around expressions, statements, types, etc. But not fragments of an expression list. You have \(str\|huge_regexp,...\) This is matched against a single expression, which can either be str or a comma expression consisting of something that matches your huge regular expression followed by another expression. There is no problem here. There will be no changes with respect to this issue. julia --8323329-1147194658-1599304085=:2363 Content-Type: text/plain; charset="us-ascii" MIME-Version: 1.0 Content-Transfer-Encoding: 7bit Content-Disposition: inline _______________________________________________ Cocci mailing list Cocci@systeme.lip6.fr https://systeme.lip6.fr/mailman/listinfo/cocci --8323329-1147194658-1599304085=:2363--