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 S1752082AbbIZJmP (ORCPT <rfc822;w@1wt.eu>);
	Sat, 26 Sep 2015 05:42:15 -0400
Received: from mout.web.de ([212.227.17.12]:63603 "EHLO mout.web.de"
	rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP
	id S1751561AbbIZJmO (ORCPT <rfc822;linux-kernel@vger.kernel.org>);
	Sat, 26 Sep 2015 05:42:14 -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>
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>
X-Enigmail-Draft-Status: N1110
Message-ID: <56066866.1060602@users.sourceforge.net>
Date: Sat, 26 Sep 2015 11:41:58 +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.1509261106040.2737@hadrien>
Content-Type: text/plain; charset=iso-8859-15
Content-Transfer-Encoding: 7bit
X-Provags-ID: V03:K0:7SwBggzOeLJeKlX19Jnw0HL4AFNgRK4XU8vZnSO0duRbhgPsQK6
 M5GlfdkCVIf+uAubfLf5avoo5lipCtJck91BjQlAzgsfKLtyFQq5ZkNglm9sLFtBP1f7K59
 dmf3Qd9GWFWu4Fwk3H3mWlp31wbXZazK+xKpV/f+5JbXDtVhPSwSNPYMeC9ZnwJrdcNprlE
 44hvyt3xCkrqC2shFXHoQ==
X-UI-Out-Filterresults: notjunk:1;V01:K0:w3t1gjNZujQ=:hcS2a027nLmU3uP7sO2bif
 1P3y43OwHKb9UqbXbxX8OTsB/bTu4bjtbc0kVOfM7bwoE2wxb7Zr6OGuqz4Us1uBLIorCqmJZ
 78NpFT3bbPk8hc3roK+YnlWaRNrlz7lUbYaH4eb1KmMRVJ3D90JmtDhK0VnZVSUski5omb+gX
 9tZZ15Oe4qMBffx9wsc4tZDMBb5dJ9T/k945v+0Gk9lh9nYyBjVqwJ0jb67uBA1Di9umAdPbW
 b2Sg2uNUTMC6iZrC91+ZUac7cweG24SIenGI98nB/G6U81P+kNnabYYM3obk7G3C5y3su1RhI
 fZkFxfV6RG5gC+bv1CCcsqI+fAzlm1KVLlEQMtI2ZiH7VaBPpR8Lg+xRggLPxgPrEigGeLqD3
 CsmXB/Z+HC7uBDSE/4Oul/BhOJi6XoKOO9xB/9puucIjl11r3YfaqivJ4AeF0brdfZuLHbgEF
 +CFjh+aAlkojBpXSecT0vy5kk+4ryRHCHnj5YZyJkRMcX1arHrnS4o4/YYjETqnMHQQgifo1G
 8m16BmviQ7d96Is0TTaD7QKkNP2OlAJSaA44uBl2znPxtVaLaPGEgrY1ktc7m/Vf7CwY1guNe
 8/FmGz6aoxBaUys2mBd+cMQlIMItJWjBJ3iSa4DuAKFdbOWAYOGUioKSe6COZGHqJPjI8GZX8
 G+OwsgkF9/aljbnlrpH7huijMcMyG+c9HeRvC7NqsAlCRiDnBHWuyQB/idrbC6k5Nh/plCwR8
 iIT/4e4uynAZDRCm5HAJDA/5C7cgsnLlOaA3pA==
Sender: linux-kernel-owner@vger.kernel.org
List-ID: <linux-kernel.vger.kernel.org>
X-Mailing-List: linux-kernel@vger.kernel.org

> To collect function calls that have a return value of a given type t,
> it should be sufficient to do the following:
> 
> @@
> t e;
> identifier f;
> @@
> 
> f(...)@e

Is such a SmPL approach better than a variant like the following?

@find_function@
type t;
identifier f;
@@
 t f(...)
 { ... }

Regards,
Markus