From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <linux-kernel-owner@vger.kernel.org>
Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand
        id S932230AbeAQQrT (ORCPT <rfc822;w@1wt.eu>);
        Wed, 17 Jan 2018 11:47:19 -0500
Received: from mout.web.de ([212.227.15.14]:59333 "EHLO mout.web.de"
        rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP
        id S932177AbeAQQrQ (ORCPT <rfc822;linux-kernel@vger.kernel.org>);
        Wed, 17 Jan 2018 11:47:16 -0500
To: cocci@systeme.lip6.fr, Masahiro Yamada <yamada.masahiro@socionext.com>,
        Himanshu Jha <himanshujha199640@gmail.com>
References: <CAK7LNAR27r4j4c1FCh_ObpMpBKXgSP6Vq3P=reA-JKoTji6Q1A@mail.gmail.com>
Subject: Re: [v2] Coccinelle: zalloc-simple: Safer transformations with SmPL
From: SF Markus Elfring <elfring@users.sourceforge.net>
Cc: LKML <linux-kernel@vger.kernel.org>, kernel-janitors@vger.kernel.org,
        Gilles Muller <Gilles.Muller@lip6.fr>,
        "Luis R. Rodriguez" <mcgrof@kernel.org>,
        Michal Marek <michal.lkml@markovi.net>,
        Nicolas Palix <nicolas.palix@imag.fr>
Message-ID: <ccb782c1-decb-6181-cdf0-022965b3df59@users.sourceforge.net>
Date: Wed, 17 Jan 2018 17:47:03 +0100
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:52.0) Gecko/20100101
 Thunderbird/52.5.2
MIME-Version: 1.0
In-Reply-To: <CAK7LNAR27r4j4c1FCh_ObpMpBKXgSP6Vq3P=reA-JKoTji6Q1A@mail.gmail.com>
Content-Type: text/plain; charset=utf-8
Content-Language: en-GB
Content-Transfer-Encoding: 7bit
X-Provags-ID: V03:K0:mNfqzxqkI5rvaNidekJL7tNyJsOxiSu2Wgs5pl3IMaZmH9h4VED
 ycnPCKC63ehMKj0k1w8b8jbFXi+zA4oIcrtqMaE+j3I3Q3gPHc5mt9jOCTAn4vzfBD+w9Py
 EA9zEmRCjAIruaF4R6lP6IOzlRVbc9s7NJaPziIz+TPhDQgpjR4zSBO4is6grhOHbznrbaa
 icBXciFdadMaPTnOQWVJw==
X-UI-Out-Filterresults: notjunk:1;V01:K0:BSDtyHN1ewQ=:TyiTB3TaMu5l7fb3/8Xr+s
 96OOoGmMv4xP1i2WSFQwSWZmT3HAIcDMfiWJ35V8BWvtAtD0gYNmGjne9+/kslQN3v8KJtNXa
 xvJlXFis3U0J4xSZ8mO+dR1qIRGUenemQZqJltxe7n0vCcYm8NfNFYQy2XXlugUVtPkxe6t1E
 KUg1PlIwGW53b2CkEIl5xQR+HKPb4CEvrEhNN9VuVR4KaIj6EwIED5f8A21m6gGdbyHZ7/ctr
 1Xyr5DhuBXCPmlmWbRV/5Cwhsy1JnNO4dUmfB2QytiY7TK6+AiSbkMR63bw+buWL1maQ7VV1E
 jphnprKOcbE2zBPeBHYxP4pVTqGznOEPlIDHEfEwu2Ni1zmgL9GV7foHP70YcS9213wOdfpE/
 7EV86MhehKxkRdzy8bpLo7zXB7nZ2ZYLr8ENU8LKEVa3SPZICdiM2ycUIRf+dS/oLwQg69XFn
 xwogQD0lbF245MR7yqgpLImqIkJaB4MORKzbBsbsu1BljHxFyjCPI8i5ZgLzBiRsKXfPN4Dro
 ON/NGNNcG834YVIRYgDfzVwDGCTm7ljCMEBy7cN/6XDen4ES3X8CvrrOMo4lHHMGPCz7QO9/r
 UYJ69+29QIqZlZ2qjTwAFbK2mWUxWAWsHtPZETQNgXDORUbO+armh2eDKalZJUN3h0cz6LC3A
 O8imkzKBrZLPRudVRgiTjrSrSyFRRtq9+NruKadc2ngit1FmKaGiraIED60cArPVJgP/KBq4j
 LeZ8ZzpjotEFik2EkFZ2WVy0k8hqiIYnsawU/+1dLDm2mWgy3J8apcKf3/N6UO8cDnZXJUhva
 CEzSIXUdIjEbWI05qy2ELXS0nLOom6JZkNmKBQOaaXyDgGVUKM=
Sender: linux-kernel-owner@vger.kernel.org
List-ID: <linux-kernel.vger.kernel.org>
X-Mailing-List: linux-kernel@vger.kernel.org

> I removed the blank line at EOF,
> then applied to linux-kbuild/misc.

This script for the semantic patch language was extended. Now I find
that this development version contains some update candidates.
Implementation details can become safer in a few software design directions.

I suggest to start with another look at the distinction between pointer data types
and the other types. How much can corresponding source code review result in
further software improvements?

Regards,
Markus