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 S1757315AbbI1MMn (ORCPT <rfc822;w@1wt.eu>);
	Mon, 28 Sep 2015 08:12:43 -0400
Received: from mailout4.w1.samsung.com ([210.118.77.14]:49757 "EHLO
	mailout4.w1.samsung.com" rhost-flags-OK-OK-OK-OK) by vger.kernel.org
	with ESMTP id S1755966AbbI1MMl (ORCPT
	<rfc822;linux-kernel@vger.kernel.org>);
	Mon, 28 Sep 2015 08:12:41 -0400
X-AuditID: cbfec7f4-f79c56d0000012ee-04-56092eb73b01
Subject: Re: [PATCH v2] coccinelle: assign signed result to unsigned variable
To: SF Markus Elfring <elfring@users.sourceforge.net>
References: <alpine.DEB.2.10.1509261106040.2737@hadrien>
 <1443437687-16559-1-git-send-email-a.hajda@samsung.com>
 <56092D7B.4030106@users.sourceforge.net>
Cc: 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
Newsgroups: gmane.linux.kernel.janitors,gmane.linux.kernel,gmane.comp.version-control.coccinelle
From: Andrzej Hajda <a.hajda@samsung.com>
Message-id: <56092E98.9000103@samsung.com>
Date: Mon, 28 Sep 2015 14:12:08 +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: <56092D7B.4030106@users.sourceforge.net>
Content-type: text/plain; charset=iso-8859-15
Content-transfer-encoding: 7bit
X-Brightmail-Tracker: H4sIAAAAAAAAA+NgFvrOLMWRmVeSWpSXmKPExsVy+t/xq7rb9TjDDKZ+Y7TYOGM9q8WPTavZ
	LM53Lme2mP3zEpPF1lvSFpd3zWGzWHvkLrvFnNZZbBbHXi5ncuD0OHasldlj75Ysj74tqxg9
	1m+5yuLxaNl9Fo+mU+2sHp83yQWwR3HZpKTmZJalFunbJXBlfLqiUvCcpaLv7n+2BsZXzF2M
	nBwSAiYSr6Z8hLLFJC7cW8/WxcjFISSwlFFix4pbUM5zRombF7sZuxg5OIQFfCWuL1MGMUUE
	TCX+nAiBKJnLKPG17zoziMMssJFJYtqcRYwgU/kEkiROLP8GZrMJaEr83XyTDcTmFdCSeDPn
	IJjNIqAqcWflYnYQW1QgQuLU2bdQNYISPybfYwGxOYGWHfl+H+wGZgFdiQUbPEDCzALyEpvX
	vGWewCg4C0nHLISqWUiqFjAyr2IUTS1NLihOSs811CtOzC0uzUvXS87P3cQIiY4vOxgXH7M6
	xCjAwajEwztDnSNMiDWxrLgy9xCjBAezkgivkyhnmBBvSmJlVWpRfnxRaU5q8SFGaQ4WJXHe
	ubvehwgJpCeWpGanphakFsFkmTg4pRoYpy3n42dw/BrzO7PySIVLQ7BK+L7YYzbfMtxVW2t9
	mWdrBO7Pnb9sje3RUyLrqhIap6W/Nav48ufvxbwpPl9a5ZjuvcsTmqawpF/xjGJ7FG/uPoG4
	hfc+pzvOZZgQ2PLnIfPc9w9kun4WtKR6fmI/8jIn+/ks/7bQyt1l26zTs2SUjbkvTO1VYinO
	SDTUYi4qTgQAZwuo+4oCAAA=
Sender: linux-kernel-owner@vger.kernel.org
List-ID: <linux-kernel.vger.kernel.org>
X-Mailing-List: linux-kernel@vger.kernel.org

On 09/28/2015 02:07 PM, SF Markus Elfring wrote:
>> +// Options: --include-headers --all-includes
> 
> How do you think about the reuse of the parameter "--recursive-includes" here?

Last time I have tried it, kernel source check took more than 10 hours, so I
gave up.

Regards
Andrzej

> 
> Will the list of checked function calls become more complete then?
> 
> Regards,
> Markus
> --
> To unsubscribe from this list: send the line "unsubscribe kernel-janitors" in
> the body of a message to majordomo@vger.kernel.org
> More majordomo info at  http://vger.kernel.org/majordomo-info.html
>