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=-0.9 required=3.0 tests=DKIM_SIGNED,DKIM_VALID, DKIM_VALID_AU,FREEMAIL_FORGED_FROMDOMAIN,FREEMAIL_FROM, HEADER_FROM_DIFFERENT_DOMAINS,MAILING_LIST_MULTI,SPF_PASS 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 0FC70C43381 for ; Tue, 19 Feb 2019 09:30:45 +0000 (UTC) Received: from vger.kernel.org (vger.kernel.org [209.132.180.67]) by mail.kernel.org (Postfix) with ESMTP id 69FD821738 for ; Tue, 19 Feb 2019 09:30:44 +0000 (UTC) Authentication-Results: mail.kernel.org; dkim=pass (1024-bit key) header.d=web.de header.i=@web.de header.b="NU8PtAGe" Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1728013AbfBSJan (ORCPT ); Tue, 19 Feb 2019 04:30:43 -0500 Received: from mout.web.de ([212.227.15.14]:55725 "EHLO mout.web.de" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1725802AbfBSJam (ORCPT ); Tue, 19 Feb 2019 04:30:42 -0500 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=web.de; s=dbaedf251592; t=1550568623; bh=3Go9LLpLg43tjaCgwu1/ikSIejMQ0huQOzayPxm+aNU=; h=X-UI-Sender-Class:Subject:Cc:References:From:To:Date:In-Reply-To; b=NU8PtAGe2uriiB4Qskok5HVZEj9Y7K9kVs3sVImna3yshkBwOiG7rXe9QCYG3JNd9 Qow9YmPAyE35C6S0kJD/iAQv3OclZbNuTFaIGJ2Y5ow6PJDUofwLtN2MJAZsxGDVIc WN+ETj+jT7ORGEUYZynH7bKfFnzBzG9HCWGsRJ34= X-UI-Sender-Class: c548c8c5-30a9-4db5-a2e7-cb6cb037b8f9 Received: from [192.168.1.2] ([93.131.74.8]) by smtp.web.de (mrweb002 [213.165.67.108]) with ESMTPSA (Nemesis) id 0MYNkX-1gZjmY35IP-00V7zr; Tue, 19 Feb 2019 10:30:23 +0100 Subject: Re: [v6] coccinelle: semantic code search for missing put_device() Cc: Julia Lawall , Wen Yang , Gilles Muller , Nicolas Palix , Michal Marek , Masahiro Yamada , Cheng Shengyu , kernel-janitors@vger.kernel.org, linux-kernel@vger.kernel.org, cocci@systeme.lip6.fr References: <201902191709341581016@zte.com.cn> From: Markus Elfring Openpgp: preference=signencrypt 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= To: Wen Yang Message-ID: <98bf31c1-16f2-1058-14e3-cf3e67be06f6@web.de> Date: Tue, 19 Feb 2019 10:30:21 +0100 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:60.0) Gecko/20100101 Thunderbird/60.5.1 MIME-Version: 1.0 In-Reply-To: <201902191709341581016@zte.com.cn> Content-Type: text/plain; charset=utf-8 Content-Language: en-US Content-Transfer-Encoding: quoted-printable X-Provags-ID: V03:K1:827H3TS9sJljcb4aLPS/dCbomL8yN9+Gr8alOqYJ8iHD4TviJhG +Ftlz+KylppepRC1GkbPZmhcfmVwJFGuys62Ktzi48HZs91KsLjQVOZxqRnGGCr1JEHRnpV cRrq1CvAYv/g0iZOs6c3zbv5RNHYtK6WGZpfde1WEbZ/at3GBz/90AfA6jjbWqARbACMv9o t03dpa9owYRlTlh7lJ6jA== X-UI-Out-Filterresults: notjunk:1;V03:K0:rJChewy7U48=:LG6T4NDpX3cWaAiHL9MwGF /4lgYs3464pPWNdAmR/SYFaRkeoR7zxf7uRJbi9krS4VfmAJprhvM7qIf63iUHEjeFHJg45XO jUydBhwKPk0fjMZy7eYIwF6RYafCutd3k4eZluSza3Lry7UpGAE5T4tmxe1d2HzjvGspNF7WG nP6/TJqMD3Z228NwqlphReU9sZp9Q9aqk+5/RSV9yAT+upfRPAPPOCKBV56kDOZu5BL6k8HBz 6faFv0z6urcaV8bnQ1zQh5kmh5Q9N1WFWslNDOwmgVv/L4mqtaYMiK8zMgXQlepaozHGSvjWC fW8m0F756KvLOW6ONKWxdHE102YnnylNTyTC5ZvBTA+s8YtDDZhUlc/xWoAa7ZPOVbWTVLOHR 3Cnf5nPMO7oSllsf73sZzHDol6AlKyE+1Bq1P6tMoUOF1T16HXi7aLpWpPpADUY1Kr+SyBIG0 7Z6ckkU+wEBiuu9hsgqbV1ThRv62AxAQ2j+DmfbDmnwmCXEH82EM2HfZojo6W8JANdCfFzFgC Of7N7Gc4rZBrWkNX1L7cn3RADxBPxtq8BOep6oqL7zlxYMqtETkt0ShYxwfp+OUbphirNBVjk kqJXi+pP/0mQ05nyi6E4ILOxz4fi/ejnMCwn1Xx5wYSVoJOcW59JZ96+VuyMiKwlxB7c58Hbb ucWzqnYugU9AaY9w3MRaBUXvHIxWry4RYYKidhNX/Z3BVdc4hgsTPRtAU/fZADeMUj5vI892M jqwF6S8FBKToKxIZAmvk9IFXVIfTf1SE+Hxi39pokwBCCa2fAwuIbNFnmaGxmq5wLG0cjRTbk qCAlQGn4iXMEgLxvRH3THXpkcv4GnlOvqUuvTbShsFrlGOCqqy77IkNespHFfeWsHGkqjIoqk Vz+Wy0xA6WdiBegd3dYlcSMpDrYhyNPSBAkSjg/kc2G8iV9knMoZN4aBDR/as9DQnXtmyl8eT BZvLCqv3cgw== Sender: linux-kernel-owner@vger.kernel.org Precedence: bulk List-ID: X-Mailing-List: linux-kernel@vger.kernel.org >> Will corrections become relevant for specifications in (assignment) exc= lusions >> of the second SmPL ellipsis in the discussed script? > > Let's do some experiments with the code in the current kernel. It seems that you provided additional information for the adjustment of when specifications according to the first SmPL ellipsis. Other details are still in the waiting queue for the desired software clar= ification. Regards, Markus