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=-7.1 required=3.0 tests=DKIM_SIGNED,DKIM_VALID, DKIM_VALID_AU,FREEMAIL_FORGED_FROMDOMAIN,FREEMAIL_FROM, HEADER_FROM_DIFFERENT_DOMAINS,MAILING_LIST_MULTI,MENTIONS_GIT_HOSTING, SPF_HELO_NONE,SPF_PASS,USER_AGENT_SANE_1 autolearn=ham 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 A9EBBC433E0 for ; Sun, 7 Jun 2020 06:43:10 +0000 (UTC) Received: from vger.kernel.org (vger.kernel.org [23.128.96.18]) by mail.kernel.org (Postfix) with ESMTP id 805EB206D5 for ; Sun, 7 Jun 2020 06:43:10 +0000 (UTC) Authentication-Results: mail.kernel.org; dkim=pass (1024-bit key) header.d=web.de header.i=@web.de header.b="pkSHQEsx" Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1726400AbgFGGnJ (ORCPT ); Sun, 7 Jun 2020 02:43:09 -0400 Received: from mout.web.de ([217.72.192.78]:33801 "EHLO mout.web.de" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1726192AbgFGGnI (ORCPT ); Sun, 7 Jun 2020 02:43:08 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=web.de; s=dbaedf251592; t=1591512172; bh=C14jTFdBniLyU//fambBzHFvEplMYic9zRGDYcczO5w=; h=X-UI-Sender-Class:Subject:From:To:Cc:References:Date:In-Reply-To; b=pkSHQEsxph8fvccKHxm7PO8otQ4Y0p1TVlXe+HeADE45zPRyj7HHK11dD0zod73Do TYajCT4O1fLZfux+O7f7YdVeTM1tdZkNkbSbHhTxXWR36FIJz+j3wHie36L4cFuq8n 4T3QWIqQFnUDKaE+UFoFzbKA7WollYdz/ALRRyp8= X-UI-Sender-Class: c548c8c5-30a9-4db5-a2e7-cb6cb037b8f9 Received: from [192.168.1.2] ([78.49.149.75]) by smtp.web.de (mrweb101 [213.165.67.124]) with ESMTPSA (Nemesis) id 0MKJ7S-1jhGmr3mxK-001h9E; Sun, 07 Jun 2020 08:42:52 +0200 Subject: Re: Coccinelle: Improving software components around usage of SmPL disjunctions From: Markus Elfring To: Julia Lawall , Denis Efremov , Coccinelle Cc: Gilles Muller , Masahiro Yamada , Michal Marek , Nicolas Palix , kernel-janitors@vger.kernel.org, linux-kernel@vger.kernel.org References: <99ed463c-b7ba-0400-7cf7-5bcc1992baef@web.de> <51a176d4-8c59-5da1-b4d2-c97b17b691a7@web.de> Autocrypt: addr=Markus.Elfring@web.de; prefer-encrypt=mutual; keydata= mQINBFg2+xABEADBJW2hoUoFXVFWTeKbqqif8VjszdMkriilx90WB5c0ddWQX14h6w5bT/A8 +v43YoGpDNyhgA0w9CEhuwfZrE91GocMtjLO67TAc2i2nxMc/FJRDI0OemO4VJ9RwID6ltwt mpVJgXGKkNJ1ey+QOXouzlErVvE2fRh+KXXN1Q7fSmTJlAW9XJYHS3BDHb0uRpymRSX3O+E2 lA87C7R8qAigPDZi6Z7UmwIA83ZMKXQ5stA0lhPyYgQcM7fh7V4ZYhnR0I5/qkUoxKpqaYLp YHBczVP+Zx/zHOM0KQphOMbU7X3c1pmMruoe6ti9uZzqZSLsF+NKXFEPBS665tQr66HJvZvY GMDlntZFAZ6xQvCC1r3MGoxEC1tuEa24vPCC9RZ9wk2sY5Csbva0WwYv3WKRZZBv8eIhGMxs rcpeGShRFyZ/0BYO53wZAPV1pEhGLLxd8eLN/nEWjJE0ejakPC1H/mt5F+yQBJAzz9JzbToU 5jKLu0SugNI18MspJut8AiA1M44CIWrNHXvWsQ+nnBKHDHHYZu7MoXlOmB32ndsfPthR3GSv jN7YD4Ad724H8fhRijmC1+RpuSce7w2JLj5cYj4MlccmNb8YUxsE8brY2WkXQYS8Ivse39MX BE66MQN0r5DQ6oqgoJ4gHIVBUv/ZwgcmUNS5gQkNCFA0dWXznQARAQABtCZNYXJrdXMgRWxm cmluZyA8TWFya3VzLkVsZnJpbmdAd2ViLmRlPokCVAQTAQgAPhYhBHDP0hzibeXjwQ/ITuU9 Figxg9azBQJYNvsQAhsjBQkJZgGABQsJCAcCBhUICQoLAgQWAgMBAh4BAheAAAoJEOU9Figx g9azcyMP/iVihZkZ4VyH3/wlV3nRiXvSreqg+pGPI3c8J6DjP9zvz7QHN35zWM++1yNek7Ar OVXwuKBo18ASlYzZPTFJZwQQdkZSV+atwIzG3US50ZZ4p7VyUuDuQQVVqFlaf6qZOkwHSnk+ CeGxlDz1POSHY17VbJG2CzPuqMfgBtqIU1dODFLpFq4oIAwEOG6fxRa59qbsTLXxyw+PzRaR LIjVOit28raM83Efk07JKow8URb4u1n7k9RGAcnsM5/WMLRbDYjWTx0lJ2WO9zYwPgRykhn2 sOyJVXk9xVESGTwEPbTtfHM+4x0n0gC6GzfTMvwvZ9G6xoM0S4/+lgbaaa9t5tT/PrsvJiob kfqDrPbmSwr2G5mHnSM9M7B+w8odjmQFOwAjfcxoVIHxC4Cl/GAAKsX3KNKTspCHR0Yag78w i8duH/eEd4tB8twcqCi3aCgWoIrhjNS0myusmuA89kAWFFW5z26qNCOefovCx8drdMXQfMYv g5lRk821ZCNBosfRUvcMXoY6lTwHLIDrEfkJQtjxfdTlWQdwr0mM5ye7vd83AManSQwutgpI q+wE8CNY2VN9xAlE7OhcmWXlnAw3MJLW863SXdGlnkA3N+U4BoKQSIToGuXARQ14IMNvfeKX NphLPpUUnUNdfxAHu/S3tPTc/E/oePbHo794dnEm57LuuQINBFg2+xABEADZg/T+4o5qj4cw nd0G5pFy7ACxk28mSrLuva9tyzqPgRZ2bdPiwNXJUvBg1es2u81urekeUvGvnERB/TKekp25 4wU3I2lEhIXj5NVdLc6eU5czZQs4YEZbu1U5iqhhZmKhlLrhLlZv2whLOXRlLwi4jAzXIZAu 76mT813jbczl2dwxFxcT8XRzk9+dwzNTdOg75683uinMgskiiul+dzd6sumdOhRZR7YBT+xC wzfykOgBKnzfFscMwKR0iuHNB+VdEnZw80XGZi4N1ku81DHxmo2HG3icg7CwO1ih2jx8ik0r riIyMhJrTXgR1hF6kQnX7p2mXe6K0s8tQFK0ZZmYpZuGYYsV05OvU8yqrRVL/GYvy4Xgplm3 DuMuC7/A9/BfmxZVEPAS1gW6QQ8vSO4zf60zREKoSNYeiv+tURM2KOEj8tCMZN3k3sNASfoG fMvTvOjT0yzMbJsI1jwLwy5uA2JVdSLoWzBD8awZ2X/eCU9YDZeGuWmxzIHvkuMj8FfX8cK/ 2m437UA877eqmcgiEy/3B7XeHUipOL83gjfq4ETzVmxVswkVvZvR6j2blQVr+MhCZPq83Ota xNB7QptPxJuNRZ49gtT6uQkyGI+2daXqkj/Mot5tKxNKtM1Vbr/3b+AEMA7qLz7QjhgGJcie qp4b0gELjY1Oe9dBAXMiDwARAQABiQI8BBgBCAAmFiEEcM/SHOJt5ePBD8hO5T0WKDGD1rMF Alg2+xACGwwFCQlmAYAACgkQ5T0WKDGD1rOYSw/+P6fYSZjTJDAl9XNfXRjRRyJSfaw6N1pA Ahuu0MIa3djFRuFCrAHUaaFZf5V2iW5xhGnrhDwE1Ksf7tlstSne/G0a+Ef7vhUyeTn6U/0m +/BrsCsBUXhqeNuraGUtaleatQijXfuemUwgB+mE3B0SobE601XLo6MYIhPh8MG32MKO5kOY hB5jzyor7WoN3ETVNQoGgMzPVWIRElwpcXr+yGoTLAOpG7nkAUBBj9n9TPpSdt/npfok9ZfL /Q+ranrxb2Cy4tvOPxeVfR58XveX85ICrW9VHPVq9sJf/a24bMm6+qEg1V/G7u/AM3fM8U2m tdrTqOrfxklZ7beppGKzC1/WLrcr072vrdiN0icyOHQlfWmaPv0pUnW3AwtiMYngT96BevfA qlwaymjPTvH+cTXScnbydfOQW8220JQwykUe+sHRZfAF5TS2YCkQvsyf7vIpSqo/ttDk4+xc Z/wsLiWTgKlih2QYULvW61XU+mWsK8+ZlYUrRMpkauN4CJ5yTpvp+Orcz5KixHQmc5tbkLWf x0n1QFc1xxJhbzN+r9djSGGN/5IBDfUqSANC8cWzHpWaHmSuU3JSAMB/N+yQjIad2ztTckZY pwT6oxng29LzZspTYUEzMz3wK2jQHw+U66qBFk8whA7B2uAU1QdGyPgahLYSOa4XAEGb6wbI FEE= Message-ID: Date: Sun, 7 Jun 2020 08:42:42 +0200 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:68.0) Gecko/20100101 Thunderbird/68.8.1 MIME-Version: 1.0 In-Reply-To: Content-Type: text/plain; charset=utf-8 Content-Language: en-GB Content-Transfer-Encoding: quoted-printable X-Provags-ID: V03:K1:i7Jb9vdrzAd2LmX4YKf9o5wC3r/vzdumhKlgqu5Qnwrfs/qj09c cPEwEkqdJ7HfvnKsSePbNKGQbpCf0wlJUe4mEerL8WZEtQsyHi8Hq8gbTD1hrfCAcr/8E7a NAR6m6Tu3ZjORyB1HYgjLmVvirqAkkrXbwry34/RicMT4r7plTuNHpVzCdgiAnV6lp4s6pW IRLdc//Gt5SaRbJKwvjGg== X-UI-Out-Filterresults: notjunk:1;V03:K0:7Y3KBZ3kMgU=:8KBAgmNI8Mr2D/CAQ6U6xG NI/xOnci3DLqn6+XLw2+IYbtAqZSArCTm0Nj80L/xXh+Xl+tPn5xkrYP5eqr9IhtrA98KQrdB Sv+jF7vhhDKOpyNm6vBYntfzvDmOrjX3MPJkO18Yh8l2zp4rBRT1byo9aGSbjTU0F78KjC4zn bcRWs8gWu7VTB79yAcDSYsh2o/LU7ziwsjvQ3bAPH9htzHpZruU+8jhE41dXccNb5r0wH1psW fD6co3T+Ti6uIi1Nv9+dJMhiw7xBAoR28PcXI/E8p4d3x5o9f4ebUi60IEXs1sZal/G7yrzrV IUsP9WOtPsvBgbU5czgRjDbjbMw85dxAiQ3awk/c5CU4Z7E3imHbOkqHEGUW+KwgFPQR5iyRB rjLyEUsKD+Vc5mexy2gx5MYkkHpr7qwsp2xln26Z4ShY75meYL6eupGJd63GjOpuHSEsiZDug a6Gd0+pxBwxN8AA+YqRQC3NGE9cn0XpWTAkq2VmvsiSJ63UoIX5QX43fLl2J5ousa8WZCqruz 2ocYsDjEDePTqktMsTEeTt97+d3TUK+YCUTebcVwQ9krN8WAOmYyhXgBbTvT5ZbqUFwAkahbJ +afDMjdfso9AIQ1YuNv5i2Es5fx7P3soaVktoPbwTy4UbrHmdMDuaECywTQJlbLK5ni/fu5sq rHZhPexHM72ALHqVINzuWUXE1cUeg+n6G3ibyhQAaGeSaZzPlv/0yRe7zS54EqYrX5bdEX9P4 Kn7TnIWGXcyhlCcRO0Wr7H+5Oc0eYAZWPKL3TrJDUC/mrM692dJT+8+VyN1K7dqmXaSTh74ee dS6bvfSPLDd42ytBiYjRGn6Cs2WAWbMuR275WyztqWvtAkZ8qe+qkvlXSTV3aeY0IKzlftUnJ q8V8ncf6sTf5iWfdbbnoyeN8ffCkVi+R66rsWVihNbdsLaZLtG5qWXphbm5SpI3REu7dBle4n ciVhhr6G9EGAbM6beXSFkWosifFPFWEPJT8AvMbAq+HpVwew4WIzzkCMhU7gQ62/zwaRindyw HabtyQjGoELCC35QkSWj/RczC7wGVhqEaY4htl6XLSZlQRoIpdaYaSifZBE4PXZ9XxhoRy7Jr WvDhdNhP7uzC759FXInF0srynabIZAFwrPtulC4bdIj6tCYkvehVCpEWCjk4LUEXeDQWZka+p Bkv4X+gJab7WyDyv+I4nYpfjrs/BoVe9enhKImFdLNg5WtH9VGMtGxys8xgxJl4wlJJSD+kaB Lnjka2P4fcVhsDNoL Sender: linux-kernel-owner@vger.kernel.org Precedence: bulk List-ID: X-Mailing-List: linux-kernel@vger.kernel.org >> But hiding information that could be apparent to the SmPL compiler >> and could be used to improve the performance of the matching >> process is not one of them. > > Will any software extensions become possible also in this area? You pointed out that SmPL disjunctions can trigger specific consequences according to functionality which is different from SmPL constraints. Both application areas support data processing for function name lists to some degree. Each element of a SmPL disjunction refers to a fragment of a detailed source code search pattern. We are discussing use cases where a search pattern is occasionally restricted in the way that only identifiers should be found at a specific place. * Does this detail provide the opportunity to improve the corresponding software any more? * Can a feature request like =E2=80=9CWorking with variables for case matc= h identification by SmPL disjunctions=E2=80=9D become more interesting? https://github.com/coccinelle/coccinelle/issues/159 Regards, Markus From mboxrd@z Thu Jan 1 00:00:00 1970 From: Markus Elfring Date: Sun, 07 Jun 2020 06:42:42 +0000 Subject: Re: Coccinelle: Improving software components around usage of SmPL disjunctions Message-Id: List-Id: References: <99ed463c-b7ba-0400-7cf7-5bcc1992baef@web.de> <51a176d4-8c59-5da1-b4d2-c97b17b691a7@web.de> In-Reply-To: MIME-Version: 1.0 Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: 8bit To: Julia Lawall , Denis Efremov , Coccinelle Cc: Michal Marek , Gilles Muller , Nicolas Palix , kernel-janitors@vger.kernel.org, linux-kernel@vger.kernel.org >> But hiding information that could be apparent to the SmPL compiler >> and could be used to improve the performance of the matching >> process is not one of them. > > Will any software extensions become possible also in this area? You pointed out that SmPL disjunctions can trigger specific consequences according to functionality which is different from SmPL constraints. Both application areas support data processing for function name lists to some degree. Each element of a SmPL disjunction refers to a fragment of a detailed source code search pattern. We are discussing use cases where a search pattern is occasionally restricted in the way that only identifiers should be found at a specific place. * Does this detail provide the opportunity to improve the corresponding software any more? * Can a feature request like “Working with variables for case match identification by SmPL disjunctions” become more interesting? https://github.com/coccinelle/coccinelle/issues/159 Regards, Markus 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=-6.8 required=3.0 tests=DKIM_INVALID,DKIM_SIGNED, FREEMAIL_FORGED_FROMDOMAIN,FREEMAIL_FROM,HEADER_FROM_DIFFERENT_DOMAINS, MAILING_LIST_MULTI,MENTIONS_GIT_HOSTING,SPF_HELO_NONE,SPF_PASS, USER_AGENT_SANE_1 autolearn=ham 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 5DDF5C433E0 for ; Sun, 7 Jun 2020 06:43:05 +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 74DB9206D5 for ; Sun, 7 Jun 2020 06:43:04 +0000 (UTC) Authentication-Results: mail.kernel.org; dkim=fail reason="signature verification failed" (1024-bit key) header.d=web.de header.i=@web.de header.b="pkSHQEsx" DMARC-Filter: OpenDMARC Filter v1.3.2 mail.kernel.org 74DB9206D5 Authentication-Results: mail.kernel.org; dmarc=none (p=none dis=none) header.from=web.de 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 0576h09K020805; Sun, 7 Jun 2020 08:43:00 +0200 (CEST) Received: from systeme.lip6.fr (systeme.lip6.fr [127.0.0.1]) by systeme.lip6.fr (Postfix) with ESMTP id BAF013F9A; Sun, 7 Jun 2020 08:43:00 +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 D53583BAB for ; Sun, 7 Jun 2020 08:42:58 +0200 (CEST) Received: from mout.web.de (mout.web.de [217.72.192.78]) by isis.lip6.fr (8.15.2/8.15.2) with ESMTPS id 0576gv56028385 (version=TLSv1.2 cipher=DHE-RSA-AES256-GCM-SHA384 bits=256 verify=NO); Sun, 7 Jun 2020 08:42:57 +0200 (CEST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=web.de; s=dbaedf251592; t=1591512172; bh=C14jTFdBniLyU//fambBzHFvEplMYic9zRGDYcczO5w=; h=X-UI-Sender-Class:Subject:From:To:Cc:References:Date:In-Reply-To; b=pkSHQEsxph8fvccKHxm7PO8otQ4Y0p1TVlXe+HeADE45zPRyj7HHK11dD0zod73Do TYajCT4O1fLZfux+O7f7YdVeTM1tdZkNkbSbHhTxXWR36FIJz+j3wHie36L4cFuq8n 4T3QWIqQFnUDKaE+UFoFzbKA7WollYdz/ALRRyp8= X-UI-Sender-Class: c548c8c5-30a9-4db5-a2e7-cb6cb037b8f9 Received: from [192.168.1.2] ([78.49.149.75]) by smtp.web.de (mrweb101 [213.165.67.124]) with ESMTPSA (Nemesis) id 0MKJ7S-1jhGmr3mxK-001h9E; Sun, 07 Jun 2020 08:42:52 +0200 From: Markus Elfring To: Julia Lawall , Denis Efremov , Coccinelle References: <99ed463c-b7ba-0400-7cf7-5bcc1992baef@web.de> <51a176d4-8c59-5da1-b4d2-c97b17b691a7@web.de> Autocrypt: addr=Markus.Elfring@web.de; prefer-encrypt=mutual; keydata= mQINBFg2+xABEADBJW2hoUoFXVFWTeKbqqif8VjszdMkriilx90WB5c0ddWQX14h6w5bT/A8 +v43YoGpDNyhgA0w9CEhuwfZrE91GocMtjLO67TAc2i2nxMc/FJRDI0OemO4VJ9RwID6ltwt mpVJgXGKkNJ1ey+QOXouzlErVvE2fRh+KXXN1Q7fSmTJlAW9XJYHS3BDHb0uRpymRSX3O+E2 lA87C7R8qAigPDZi6Z7UmwIA83ZMKXQ5stA0lhPyYgQcM7fh7V4ZYhnR0I5/qkUoxKpqaYLp YHBczVP+Zx/zHOM0KQphOMbU7X3c1pmMruoe6ti9uZzqZSLsF+NKXFEPBS665tQr66HJvZvY GMDlntZFAZ6xQvCC1r3MGoxEC1tuEa24vPCC9RZ9wk2sY5Csbva0WwYv3WKRZZBv8eIhGMxs rcpeGShRFyZ/0BYO53wZAPV1pEhGLLxd8eLN/nEWjJE0ejakPC1H/mt5F+yQBJAzz9JzbToU 5jKLu0SugNI18MspJut8AiA1M44CIWrNHXvWsQ+nnBKHDHHYZu7MoXlOmB32ndsfPthR3GSv jN7YD4Ad724H8fhRijmC1+RpuSce7w2JLj5cYj4MlccmNb8YUxsE8brY2WkXQYS8Ivse39MX BE66MQN0r5DQ6oqgoJ4gHIVBUv/ZwgcmUNS5gQkNCFA0dWXznQARAQABtCZNYXJrdXMgRWxm cmluZyA8TWFya3VzLkVsZnJpbmdAd2ViLmRlPokCVAQTAQgAPhYhBHDP0hzibeXjwQ/ITuU9 Figxg9azBQJYNvsQAhsjBQkJZgGABQsJCAcCBhUICQoLAgQWAgMBAh4BAheAAAoJEOU9Figx g9azcyMP/iVihZkZ4VyH3/wlV3nRiXvSreqg+pGPI3c8J6DjP9zvz7QHN35zWM++1yNek7Ar OVXwuKBo18ASlYzZPTFJZwQQdkZSV+atwIzG3US50ZZ4p7VyUuDuQQVVqFlaf6qZOkwHSnk+ CeGxlDz1POSHY17VbJG2CzPuqMfgBtqIU1dODFLpFq4oIAwEOG6fxRa59qbsTLXxyw+PzRaR LIjVOit28raM83Efk07JKow8URb4u1n7k9RGAcnsM5/WMLRbDYjWTx0lJ2WO9zYwPgRykhn2 sOyJVXk9xVESGTwEPbTtfHM+4x0n0gC6GzfTMvwvZ9G6xoM0S4/+lgbaaa9t5tT/PrsvJiob kfqDrPbmSwr2G5mHnSM9M7B+w8odjmQFOwAjfcxoVIHxC4Cl/GAAKsX3KNKTspCHR0Yag78w i8duH/eEd4tB8twcqCi3aCgWoIrhjNS0myusmuA89kAWFFW5z26qNCOefovCx8drdMXQfMYv g5lRk821ZCNBosfRUvcMXoY6lTwHLIDrEfkJQtjxfdTlWQdwr0mM5ye7vd83AManSQwutgpI q+wE8CNY2VN9xAlE7OhcmWXlnAw3MJLW863SXdGlnkA3N+U4BoKQSIToGuXARQ14IMNvfeKX NphLPpUUnUNdfxAHu/S3tPTc/E/oePbHo794dnEm57LuuQINBFg2+xABEADZg/T+4o5qj4cw nd0G5pFy7ACxk28mSrLuva9tyzqPgRZ2bdPiwNXJUvBg1es2u81urekeUvGvnERB/TKekp25 4wU3I2lEhIXj5NVdLc6eU5czZQs4YEZbu1U5iqhhZmKhlLrhLlZv2whLOXRlLwi4jAzXIZAu 76mT813jbczl2dwxFxcT8XRzk9+dwzNTdOg75683uinMgskiiul+dzd6sumdOhRZR7YBT+xC wzfykOgBKnzfFscMwKR0iuHNB+VdEnZw80XGZi4N1ku81DHxmo2HG3icg7CwO1ih2jx8ik0r riIyMhJrTXgR1hF6kQnX7p2mXe6K0s8tQFK0ZZmYpZuGYYsV05OvU8yqrRVL/GYvy4Xgplm3 DuMuC7/A9/BfmxZVEPAS1gW6QQ8vSO4zf60zREKoSNYeiv+tURM2KOEj8tCMZN3k3sNASfoG fMvTvOjT0yzMbJsI1jwLwy5uA2JVdSLoWzBD8awZ2X/eCU9YDZeGuWmxzIHvkuMj8FfX8cK/ 2m437UA877eqmcgiEy/3B7XeHUipOL83gjfq4ETzVmxVswkVvZvR6j2blQVr+MhCZPq83Ota xNB7QptPxJuNRZ49gtT6uQkyGI+2daXqkj/Mot5tKxNKtM1Vbr/3b+AEMA7qLz7QjhgGJcie qp4b0gELjY1Oe9dBAXMiDwARAQABiQI8BBgBCAAmFiEEcM/SHOJt5ePBD8hO5T0WKDGD1rMF Alg2+xACGwwFCQlmAYAACgkQ5T0WKDGD1rOYSw/+P6fYSZjTJDAl9XNfXRjRRyJSfaw6N1pA Ahuu0MIa3djFRuFCrAHUaaFZf5V2iW5xhGnrhDwE1Ksf7tlstSne/G0a+Ef7vhUyeTn6U/0m +/BrsCsBUXhqeNuraGUtaleatQijXfuemUwgB+mE3B0SobE601XLo6MYIhPh8MG32MKO5kOY hB5jzyor7WoN3ETVNQoGgMzPVWIRElwpcXr+yGoTLAOpG7nkAUBBj9n9TPpSdt/npfok9ZfL /Q+ranrxb2Cy4tvOPxeVfR58XveX85ICrW9VHPVq9sJf/a24bMm6+qEg1V/G7u/AM3fM8U2m tdrTqOrfxklZ7beppGKzC1/WLrcr072vrdiN0icyOHQlfWmaPv0pUnW3AwtiMYngT96BevfA qlwaymjPTvH+cTXScnbydfOQW8220JQwykUe+sHRZfAF5TS2YCkQvsyf7vIpSqo/ttDk4+xc Z/wsLiWTgKlih2QYULvW61XU+mWsK8+ZlYUrRMpkauN4CJ5yTpvp+Orcz5KixHQmc5tbkLWf x0n1QFc1xxJhbzN+r9djSGGN/5IBDfUqSANC8cWzHpWaHmSuU3JSAMB/N+yQjIad2ztTckZY pwT6oxng29LzZspTYUEzMz3wK2jQHw+U66qBFk8whA7B2uAU1QdGyPgahLYSOa4XAEGb6wbI FEE= Message-ID: Date: Sun, 7 Jun 2020 08:42:42 +0200 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:68.0) Gecko/20100101 Thunderbird/68.8.1 MIME-Version: 1.0 In-Reply-To: Content-Language: en-GB X-Provags-ID: V03:K1:i7Jb9vdrzAd2LmX4YKf9o5wC3r/vzdumhKlgqu5Qnwrfs/qj09c cPEwEkqdJ7HfvnKsSePbNKGQbpCf0wlJUe4mEerL8WZEtQsyHi8Hq8gbTD1hrfCAcr/8E7a NAR6m6Tu3ZjORyB1HYgjLmVvirqAkkrXbwry34/RicMT4r7plTuNHpVzCdgiAnV6lp4s6pW IRLdc//Gt5SaRbJKwvjGg== X-UI-Out-Filterresults: notjunk:1;V03:K0:7Y3KBZ3kMgU=:8KBAgmNI8Mr2D/CAQ6U6xG NI/xOnci3DLqn6+XLw2+IYbtAqZSArCTm0Nj80L/xXh+Xl+tPn5xkrYP5eqr9IhtrA98KQrdB Sv+jF7vhhDKOpyNm6vBYntfzvDmOrjX3MPJkO18Yh8l2zp4rBRT1byo9aGSbjTU0F78KjC4zn bcRWs8gWu7VTB79yAcDSYsh2o/LU7ziwsjvQ3bAPH9htzHpZruU+8jhE41dXccNb5r0wH1psW fD6co3T+Ti6uIi1Nv9+dJMhiw7xBAoR28PcXI/E8p4d3x5o9f4ebUi60IEXs1sZal/G7yrzrV IUsP9WOtPsvBgbU5czgRjDbjbMw85dxAiQ3awk/c5CU4Z7E3imHbOkqHEGUW+KwgFPQR5iyRB rjLyEUsKD+Vc5mexy2gx5MYkkHpr7qwsp2xln26Z4ShY75meYL6eupGJd63GjOpuHSEsiZDug a6Gd0+pxBwxN8AA+YqRQC3NGE9cn0XpWTAkq2VmvsiSJ63UoIX5QX43fLl2J5ousa8WZCqruz 2ocYsDjEDePTqktMsTEeTt97+d3TUK+YCUTebcVwQ9krN8WAOmYyhXgBbTvT5ZbqUFwAkahbJ +afDMjdfso9AIQ1YuNv5i2Es5fx7P3soaVktoPbwTy4UbrHmdMDuaECywTQJlbLK5ni/fu5sq rHZhPexHM72ALHqVINzuWUXE1cUeg+n6G3ibyhQAaGeSaZzPlv/0yRe7zS54EqYrX5bdEX9P4 Kn7TnIWGXcyhlCcRO0Wr7H+5Oc0eYAZWPKL3TrJDUC/mrM692dJT+8+VyN1K7dqmXaSTh74ee dS6bvfSPLDd42ytBiYjRGn6Cs2WAWbMuR275WyztqWvtAkZ8qe+qkvlXSTV3aeY0IKzlftUnJ q8V8ncf6sTf5iWfdbbnoyeN8ffCkVi+R66rsWVihNbdsLaZLtG5qWXphbm5SpI3REu7dBle4n ciVhhr6G9EGAbM6beXSFkWosifFPFWEPJT8AvMbAq+HpVwew4WIzzkCMhU7gQ62/zwaRindyw HabtyQjGoELCC35QkSWj/RczC7wGVhqEaY4htl6XLSZlQRoIpdaYaSifZBE4PXZ9XxhoRy7Jr WvDhdNhP7uzC759FXInF0srynabIZAFwrPtulC4bdIj6tCYkvehVCpEWCjk4LUEXeDQWZka+p Bkv4X+gJab7WyDyv+I4nYpfjrs/BoVe9enhKImFdLNg5WtH9VGMtGxys8xgxJl4wlJJSD+kaB Lnjka2P4fcVhsDNoL X-Greylist: Sender IP whitelisted, Sender e-mail whitelisted, not delayed by milter-greylist-4.4.3 (isis.lip6.fr [132.227.60.2]); Sun, 07 Jun 2020 08:43:01 +0200 (CEST) X-Greylist: Sender passed SPF test, not delayed by milter-greylist-4.4.3 (isis.lip6.fr [132.227.60.2]); Sun, 07 Jun 2020 08:42:57 +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: Michal Marek , Gilles Muller , Nicolas Palix , kernel-janitors@vger.kernel.org, linux-kernel@vger.kernel.org Subject: Re: [Cocci] Coccinelle: Improving software components around usage of SmPL disjunctions 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: , Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: base64 Sender: cocci-bounces@systeme.lip6.fr Errors-To: cocci-bounces@systeme.lip6.fr Pj4gQnV0IGhpZGluZyBpbmZvcm1hdGlvbiB0aGF0IGNvdWxkIGJlIGFwcGFyZW50IHRvIHRoZSBT bVBMIGNvbXBpbGVyCj4+IGFuZCBjb3VsZCBiZSB1c2VkIHRvIGltcHJvdmUgdGhlIHBlcmZvcm1h bmNlIG9mIHRoZSBtYXRjaGluZwo+PiBwcm9jZXNzIGlzIG5vdCBvbmUgb2YgdGhlbS4KPgo+IFdp bGwgYW55IHNvZnR3YXJlIGV4dGVuc2lvbnMgYmVjb21lIHBvc3NpYmxlIGFsc28gaW4gdGhpcyBh cmVhPwoKWW91IHBvaW50ZWQgb3V0IHRoYXQgU21QTCBkaXNqdW5jdGlvbnMgY2FuIHRyaWdnZXIg c3BlY2lmaWMgY29uc2VxdWVuY2VzCmFjY29yZGluZyB0byBmdW5jdGlvbmFsaXR5IHdoaWNoIGlz IGRpZmZlcmVudCBmcm9tIFNtUEwgY29uc3RyYWludHMuCkJvdGggYXBwbGljYXRpb24gYXJlYXMg c3VwcG9ydCBkYXRhIHByb2Nlc3NpbmcgZm9yIGZ1bmN0aW9uIG5hbWUgbGlzdHMKdG8gc29tZSBk ZWdyZWUuCkVhY2ggZWxlbWVudCBvZiBhIFNtUEwgZGlzanVuY3Rpb24gcmVmZXJzIHRvIGEgZnJh Z21lbnQgb2YgYSBkZXRhaWxlZApzb3VyY2UgY29kZSBzZWFyY2ggcGF0dGVybi4gV2UgYXJlIGRp c2N1c3NpbmcgdXNlIGNhc2VzIHdoZXJlIGEgc2VhcmNoCnBhdHRlcm4gaXMgb2NjYXNpb25hbGx5 IHJlc3RyaWN0ZWQgaW4gdGhlIHdheSB0aGF0IG9ubHkgaWRlbnRpZmllcnMKc2hvdWxkIGJlIGZv dW5kIGF0IGEgc3BlY2lmaWMgcGxhY2UuCgoqIERvZXMgdGhpcyBkZXRhaWwgcHJvdmlkZSB0aGUg b3Bwb3J0dW5pdHkgdG8gaW1wcm92ZSB0aGUgY29ycmVzcG9uZGluZwogIHNvZnR3YXJlIGFueSBt b3JlPwoKKiBDYW4gYSBmZWF0dXJlIHJlcXVlc3QgbGlrZSDigJxXb3JraW5nIHdpdGggdmFyaWFi bGVzIGZvciBjYXNlIG1hdGNoCiAgaWRlbnRpZmljYXRpb24gYnkgU21QTCBkaXNqdW5jdGlvbnPi gJ0gYmVjb21lIG1vcmUgaW50ZXJlc3Rpbmc/CiAgaHR0cHM6Ly9naXRodWIuY29tL2NvY2NpbmVs bGUvY29jY2luZWxsZS9pc3N1ZXMvMTU5CgpSZWdhcmRzLApNYXJrdXMKX19fX19fX19fX19fX19f X19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX18KQ29jY2kgbWFpbGluZyBsaXN0CkNvY2Np QHN5c3RlbWUubGlwNi5mcgpodHRwczovL3N5c3RlbWUubGlwNi5mci9tYWlsbWFuL2xpc3RpbmZv L2NvY2NpCg==