Received: by 2002:a25:683:0:0:0:0:0 with SMTP id 125csp1863975ybg; Thu, 4 Jun 2020 22:52:56 -0700 (PDT) X-Google-Smtp-Source: ABdhPJwNq9HbCDTK5HmQDcG+rzeEz1eY5h2V863JAHGkOcUGjT1b2Hi4y6ei4TleHpxunEPEx4K1 X-Received: by 2002:a17:906:d923:: with SMTP id rn3mr7234310ejb.261.1591336376055; Thu, 04 Jun 2020 22:52:56 -0700 (PDT) ARC-Seal: i=1; a=rsa-sha256; t=1591336376; cv=none; d=google.com; s=arc-20160816; b=kjE325mgBEby2bhQm0j8KU139eoq8IS2KCyr1FlUVPGSQPpfvEXD1zSn8S0HD+FKDG lHr8QKsMl6PDNxYZDrXW+t3U9p2L8sZXStv0gV7j16jDQpZ9D3C7MqU1VbLXemO89K1d EEONdKfZSAc1gALD8jq8pUnpMOmPj1q3JQtSNKsdBHQ6a7a0kV9z9gBVe1mFp7GJ0MY4 XXw3CdpAem0nKz5pcNXuldQDUdIwa4GuIzoLx4hTi8SNKW89zI4RJUVy+ZpDDZsEH3qk ovwo/2mFjUPSFSeOYO1NX0Eh0V7Dz+C3xVoR9qfpP/lnams40a6mjMUGZ/BGurkzOIVt Do2g== ARC-Message-Signature: i=1; a=rsa-sha256; c=relaxed/relaxed; d=google.com; s=arc-20160816; h=list-id:precedence:sender:content-language:mime-version:user-agent :date:message-id:to:autocrypt:from:subject:cc:dkim-signature; bh=lsm65JLszt/5VTbNbKQ1p4373DDZCkH2wXE+5O+35nM=; b=l9CCepFQifAgNIxZNucL90UTHvETfjn+r+4cOyxuvRvYwcvrbKiZ9SlyYMdFiNDRri ang/kGr1fHVifPkvqS2X0MgIkxsTpYm0wAZT5eMSWXS3p4vI8Q0kEPFyBY5Y1hxYEH6g d7kCQNHwV64ZPG+gnL//DLh1mvRtv+61ABYQFITJbOowbpBrtVPrLsT2K3IwpfzlzxqM yos5UbJYOnOdqqMU1iCHoTR0XNi1hXfNAXvzEjs0yqEv+Y9kMDtYVhX889EfyGCNQOsO M123/nLTdBe9+Pn3z4KhN7ItTJE8IC2gRHO+Tja31Phj/y79HBpjklf5G2nxZeOPp1QL PDaA== ARC-Authentication-Results: i=1; mx.google.com; dkim=pass header.i=@web.de header.s=dbaedf251592 header.b=CFpgAeyE; spf=pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 23.128.96.18 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org Return-Path: Received: from vger.kernel.org (vger.kernel.org. [23.128.96.18]) by mx.google.com with ESMTP id si25si3090658ejb.43.2020.06.04.22.52.32; Thu, 04 Jun 2020 22:52:56 -0700 (PDT) Received-SPF: pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 23.128.96.18 as permitted sender) client-ip=23.128.96.18; Authentication-Results: mx.google.com; dkim=pass header.i=@web.de header.s=dbaedf251592 header.b=CFpgAeyE; spf=pass (google.com: domain of linux-kernel-owner@vger.kernel.org designates 23.128.96.18 as permitted sender) smtp.mailfrom=linux-kernel-owner@vger.kernel.org Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1726044AbgFEFur (ORCPT + 99 others); Fri, 5 Jun 2020 01:50:47 -0400 Received: from mout.web.de ([212.227.15.4]:40605 "EHLO mout.web.de" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1725280AbgFEFuq (ORCPT ); Fri, 5 Jun 2020 01:50:46 -0400 DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=web.de; s=dbaedf251592; t=1591336229; bh=lsm65JLszt/5VTbNbKQ1p4373DDZCkH2wXE+5O+35nM=; h=X-UI-Sender-Class:Cc:Subject:From:To:Date; b=CFpgAeyEmpFHTqcPOUs/gV0CHxtcYjGyy/NFppK2td1QG1fWjkuQUn3aT50us+64o wqfaw9uNWMW4bPWOo8srCAnxfOERK1vLq+oK2rAYD2v7/HhPJzjWbW51tEbXd+9cH+ /En6qo4oclub1060LUvQgQpjVh5TdE4ce/8IsnQ8= X-UI-Sender-Class: c548c8c5-30a9-4db5-a2e7-cb6cb037b8f9 Received: from [192.168.1.2] ([93.131.102.114]) by smtp.web.de (mrweb003 [213.165.67.108]) with ESMTPSA (Nemesis) id 0MA5tp-1jnQtg0RBJ-00BNQC; Fri, 05 Jun 2020 07:50:29 +0200 Cc: Denis Efremov , Joe Perches , linux-kernel@vger.kernel.org Subject: Re: [PATCH v2] coccinelle: api: add kzfree script From: Markus Elfring 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: Julia Lawall , Coccinelle Message-ID: <27351b7d-cead-1c83-4ff1-5a94df9adec5@web.de> Date: Fri, 5 Jun 2020 07:50:18 +0200 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:68.0) Gecko/20100101 Thunderbird/68.8.1 MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Language: en-GB X-Provags-ID: V03:K1:btMBFr/5/lv39TIzw+1z99bDokrXr+hhPqbCNLa3YhZ7EpJEInH hcACWTsgT/0HJ5PyWETXxEqhD2pHzULoPIttUT44MmEisEyCjsShuZXp7pvVI0w7XcolNa/ mi4bxRHObU2IT9OZooEo4687RR5AQ7IO5dxsujlHErvVwhk6S29lKinOImBDooBtL20t4jp OQS6WcHJtvlGL5mqZyzdw== X-Spam-Flag: NO X-UI-Out-Filterresults: notjunk:1;V03:K0:G41polTFVPU=:/4IeMRAJjpErLMRJSM/JRh W46vlriBELwWZkiwWyYOyqNt/nLZrKbeFr1ZIZGUnetb+/Gur+HBM1FFzhSkYGSX0KpPexTph +//WiAH3oQv9IUYK33xJxGHcDGqK32ROyC6wz9z5G0/qKVZe4o/U7QkIaySjYmeKn6jL+mCOX 5Lim4rNHqstykjHYzmcujspbIR/YZMl97PAtI4K6p2nChhXLRKFFUxOkk+QNRrYD7u5yKxGPU TE2DLoPgl9QHBnSrXchvjQ1EgSGiTlaDwiN7S4dEa0fxnI/wVvpxbxe0vj7w8nunqC/Ugr9+4 n7eUp8OhVHagjC4zuebYbFdGud6szkt+KENht9sT4YKcbQ2gkPHrovJSpai9m408FCzAvAXpt /WE6Xi57UKsxCpAuZqDrhInHtLe0Mu/4tspMZcZVmH1a+sMnhju1IWWAbGh9b5/Z5BhG3WiVq BzVOG6WaAZJFv6x1lGhf87shuPZBLn9iQIWKrrwFCnOxb9PXuW153phqH+Fu1YrigKB/9gu2S vL+YJuefGAYlG/b8EEb6r/VInIZBXubIacgJ2mCSZPDOFumEFP1LZZN41eeYRc1rXduOrXENa EmIpLbZEPKFrslKbJQOYLQuVzjCgFP0tA+zem/y2ml9wwHBFDraXQW9jSP6vpGxfe6aHpMnjV swbklQE+Tn3g1BNAEjYUX20oQb+U3bcGzMCYXuCZbs4P79wRprvb7p7ne2V3NTQ7bIvlFMw7r 7oyJi6g3wPVvB4kn9eBiA8vYFFvMER8r8VweCeeiNXQO/FSZyBmRl1xID5jHTyHpd9VJ++KzH 93kufq0lnCbK/Kf2VrBVw9ZttAmxzW/ruXwvZOO+TBsl9ZLswI9Wfb6/rCfKYXxXn3oPsYYMV HPBFbVVn6cfGsIuuAN+/Z3Elc57wutcNlMjkwFU0MUk2IilsGrK6oziH+bjZw8Kk2vHhwrBUz +dEfhg56r3O1HKxFT0tSHaqZKMUuAGQcoz8d4LEq36ejkrQgAOcSMBvuIIp3Z/45UBx5pLTDY JOCYvleJNaR+IeZrQRcQY99GYPS1b+HmTISIJgTfwsy6Oh0T0deE4TB32GY18raXoEwlQmj9F pMgs6C2f44JiTgkebspH91ASPRBakVs50/MK7wHWVxLS/AsNUFbKZJTLDnu6kSga4xhU+hQDl YMky23jrHZdIMSq5qOmPWicH/cftzaeOeP/OJ/ghnBG7IgnsEmJUJfJ7I2U4bgl1Q/3ov7gPB akaZ12gt1wKRfNVoT Sender: linux-kernel-owner@vger.kernel.org Precedence: bulk List-ID: X-Mailing-List: linux-kernel@vger.kernel.org > On the other hand, do you really require E to be a pointer? > If you do that, it will have to find the type of E. I suggest to reconsider this information. > If E refers to a structure field, then the type might not be available > in the current function, and you may need command line argments like > --all-includes or --recursive-includes. Will the software documentation need corresponding extensions for the safe application of the semantic patch language? Will the used data structure access operator like arrow or dot influence the interpretation of the software situation? > Is avoiding transforming the case where E is not verified > to be a pointer a concern? I would find it desirable to express constraints for pointer data types according to the applied programming interfaces. Regards, Markus