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 S1752141AbbIZJwj (ORCPT <rfc822;w@1wt.eu>);
	Sat, 26 Sep 2015 05:52:39 -0400
Received: from mout.web.de ([212.227.15.14]:54970 "EHLO mout.web.de"
	rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP
	id S1751988AbbIZJwh (ORCPT <rfc822;linux-kernel@vger.kernel.org>);
	Sat, 26 Sep 2015 05:52:37 -0400
Subject: Re: [PATCH] coccinelle: assign signed result to unsigned variable
To: Julia Lawall <julia.lawall@lip6.fr>
References: <1443099286-16559-1-git-send-email-a.hajda@samsung.com>
 <56041BE5.5010005@users.sourceforge.net> <56051D2B.5040802@samsung.com>
 <56064D0B.8060907@users.sourceforge.net>
 <alpine.DEB.2.10.1509261106040.2737@hadrien>
 <56066866.1060602@users.sourceforge.net>
 <alpine.DEB.2.10.1509261144270.2737@hadrien>
Cc: Andrzej Hajda <a.hajda@samsung.com>,
        Bartlomiej Zolnierkiewicz <b.zolnierkie@samsung.com>,
        Gilles Muller <Gilles.Muller@lip6.fr>,
        Marek Szyprowski <m.szyprowski@samsung.com>,
        Michal Marek <mmarek@suse.com>, Nicolas Palix <nicolas.palix@imag.fr>,
        kernel-janitors@vger.kernel.org, linux-kernel@vger.kernel.org,
        cocci@systeme.lip6.fr
From: SF Markus Elfring <elfring@users.sourceforge.net>
Message-ID: <56066AD4.9060306@users.sourceforge.net>
Date: Sat, 26 Sep 2015 11:52:20 +0200
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:38.0) Gecko/20100101
 Thunderbird/38.2.0
MIME-Version: 1.0
In-Reply-To: <alpine.DEB.2.10.1509261144270.2737@hadrien>
Content-Type: text/plain; charset=iso-8859-15
Content-Transfer-Encoding: 7bit
X-Provags-ID: V03:K0:uPl6ABICO6qJn/zY30A5tkbA4X/P8M55dAD4TR3NQ3jQY/ctBO6
 IlxW+iSKfrYYyPH7sVissZVFRYOiAuIJh7HUIoXNz648LQ1cD8P0qHvQzop/3DRJEaihA4/
 9TPceNKzrhEZ2vQzP7V57ORuOuFYWl3gzNlwnbpmJ6VgE0Mxz7IL9rxE+WZsZ7hIjj4igUF
 siHt7BbpyKjC2cLr7mU6g==
X-UI-Out-Filterresults: notjunk:1;V01:K0:fKFooyOfSwU=:4tP9H8h4aNmqLXo8T+nbtD
 lIhTa337hLpPf5XGfShjlOuvhe7Mcop0R9eGztocW0zLhClei2hnVyCDQlYAMupOd+6T+drcn
 5x+HeV86FekbB40RISLzqCPKCdvSToqss6/tydAOKJD2JXI34L/68Iw2LoJhZVOOaIbvg33ha
 Xlot/vsvIj4oE3aP8eoauUqcX4DGQqC+PswLVR/oij9FS4UVWXegGRSW1QrkT/ThyC8A3OsdV
 opMfaNp7ijfJf8K1oA5gC4urbL2+PCepzGmZ91jcRc83HNzpcusbRC8LbZakMhD/nvJs5R5/V
 qv5ZDxF4rQSg/2D1WJl5PgytkNy8puN3hFjFqJsS3Q4hu0m+LSqy362Z2uLQrmZ4yPnFATfsP
 A4j/KPwrc5WZRRRodpNQMboUKqmlOX6hiUJ7oF5MNFIRdu3zEDzpWY+mONLgwiv6NirMFuuTz
 F8xrwBJMX1Jw0gAaBp7SzZPMy/+r9/8GGsJ1qj/cTSXKixjnkb+cQUCUxuqDkJnrvvkLnYYSE
 bsO/GSDiMYmD6YMaPPw3BG154+8e0EgZwsIEnNk8+aHoV6AVeAYPzs1OL3el8ODM7cc0sloTB
 kGvKcV2wBg3obrlElVl7p41z8xcLau2r+Cd7XaUylxyIiyZPBU8XQE2jxgFi6Xy6jYJ1OZ8k/
 /NDkGarncB9VHdx4EHRnGvn54ZjAV75mCvaHWDliV+0s9o/jxK9aWg1mCsSBzTIKuHa1D75pR
 nPmVd3xBkd6kgpJAsdSgdBuKhDUo3ekcVvPffw==
Sender: linux-kernel-owner@vger.kernel.org
List-ID: <linux-kernel.vger.kernel.org>
X-Mailing-List: linux-kernel@vger.kernel.org

> Your approach finds a function definition.

Yes. - I assumed that it might also be relevant.



> My approach works on the call directly, using whatever type information is available.

The connection between the SmPL specification "f(...)@e" and the desired return type
was not obvious for me so far.

Regards,
Markus