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 S1756215AbeASQnV (ORCPT <rfc822;w@1wt.eu>);
        Fri, 19 Jan 2018 11:43:21 -0500
Received: from mout.web.de ([212.227.17.11]:52948 "EHLO mout.web.de"
        rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP
        id S1755940AbeASQnN (ORCPT <rfc822;linux-kernel@vger.kernel.org>);
        Fri, 19 Jan 2018 11:43:13 -0500
Subject: Re: Coccinelle: zalloc-simple: Checking consequences from the usage
 of at signs in Python strings
To: Julia Lawall <julia.lawall@lip6.fr>,
        Masahiro Yamada <yamada.masahiro@socionext.com>,
        Himanshu Jha <himanshujha199640@gmail.com>
Cc: cocci@systeme.lip6.fr, 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>
References: <CAK7LNAR27r4j4c1FCh_ObpMpBKXgSP6Vq3P=reA-JKoTji6Q1A@mail.gmail.com>
 <ff8a1313-90a3-d009-dbc4-034fdbae82af@users.sourceforge.net>
 <alpine.DEB.2.20.1801191717510.3668@hadrien>
From: SF Markus Elfring <elfring@users.sourceforge.net>
Message-ID: <5db0f153-2e51-6728-79af-e15b8989d017@users.sourceforge.net>
Date: Fri, 19 Jan 2018 17:43:00 +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: <alpine.DEB.2.20.1801191717510.3668@hadrien>
Content-Type: text/plain; charset=utf-8
Content-Language: en-GB
Content-Transfer-Encoding: 7bit
X-Provags-ID: V03:K0:QdYKa/8KgGR53D+Xn6ylUG+TUuntb81dVUDpO2ZqgT4jFj2wpex
 us+S/+rmmuct/0mBzNlT2jRlDOHbfb5RmrlWnL/aVZTFEHNQ6rMI1dBAYKh009tB6WeSxnd
 OCiJeo/rjsEUpGRBzII/6szpsbQ7/xK0+q/aJY1w9rbaHJzLIUZhOtPIUGGVVANI15giR3Q
 VOeYeyLpzi4CVc2aZZLJA==
X-UI-Out-Filterresults: notjunk:1;V01:K0:R0ljZJ5lUT4=:L5VFx22yc5i1+82id/s+7m
 mStZ/qvDeCzzhXph5OMUHJfvcAoU/lsMi/qj5QrPaURF9YzX/rpBN3Ix/gowD/aQZmLFHXUqR
 esgaz2QjxgEAH31qBuqrykWxB8z8NkKkLnarVUwGKr7uE+FJzHgn3KxS/bZzQUCHhqwhksC7K
 c7R9zsSn/b0+CMYEFvj+fCZUI/dJKBQiFWEzuju7wlpvRQsTQLoUYi/5QpFikXanweM7KEbmm
 zrd3ymqefpR4mssqoyJKAA7rECqVwrKMIyrWBzZI/L6B9a2mQJLwt9Sxpa4Y/Yu8JiEc7szjC
 07vN8C8xDFm8LOlYjoFYKLlnVyjV30x20heMBiUg5CQL69co+1PdjoRZo7eZvAQpqNl9KNldd
 vIKMpiYJOv2VEtspDrUX3d927EVn7GE+MmP6cqBlCdVjCtgZbHIdvNhCVnI+GXtR6bISo32tu
 LUOjCd3TUR2fegaXmYov6qWSDR+Jpot4o6SNmfRcl5i1ZSJQZDQx54wfZn1sqd4e+iK5qtA8z
 NnDUwGaMzuot/0GccRB/vjXy81WBD8NG3JjE625Gu0gC8eWmvlJA9ImayES2URYNyrT9jndwh
 /FcA4Z3MXbHMcM87DAePPlmalvpURc5qUPQhad5a4dUqCTbZdi9zeQ8bK03s9HRvIV7LM8jhj
 SQtMCsMe1JcU7pWNj5dScLcSj+/MwLuchyMKWNpz0y2zjZjp93bJzrAA4Dwi0nItlfVc9hfvu
 GQ1cbRBNiTy2sg1RBLyaeIKbmijENVKFY9cd6lY9mjjXbIvX4F+brFTlzEtoQCx4DdmRwOLyy
 Z0w8cxJ1uG8RR+wHmGX/1g2IOVMrCMx5JKszyx7h4k17d/hfxo=
Sender: linux-kernel-owner@vger.kernel.org
List-ID: <linux-kernel.vger.kernel.org>
X-Mailing-List: linux-kernel@vger.kernel.org

> So it works, but you are complaining anyway?

I dare to point a contradiction out between two information sources
once more.

Is this SmPL script really working in intended way already?


> I guess the conclusion is that it woks in strings (which are pretty
> universal) and not in comments (which are language specific).

Does the documentation need another update for the Coccinelle software
to achieve the desired correctness?


Which software design direction will get priority in such an use case?

Regards,
Markus