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 S933495AbbI1Mz7 (ORCPT <rfc822;w@1wt.eu>);
	Mon, 28 Sep 2015 08:55:59 -0400
Received: from mout.web.de ([212.227.15.14]:52423 "EHLO mout.web.de"
	rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP
	id S932908AbbI1Mz6 (ORCPT <rfc822;linux-kernel@vger.kernel.org>);
	Mon, 28 Sep 2015 08:55:58 -0400
Subject: Re: [Cocci] [PATCH v2] coccinelle: assign signed result to unsigned
 variable
To: Julia Lawall <julia.lawall@lip6.fr>
References: <alpine.DEB.2.10.1509261106040.2737@hadrien>
 <1443437687-16559-1-git-send-email-a.hajda@samsung.com>
 <56092D7B.4030106@users.sourceforge.net> <56092E98.9000103@samsung.com>
 <560930A7.2070400@users.sourceforge.net>
 <alpine.DEB.2.10.1509281440320.3108@hadrien>
Cc: Andrzej Hajda <a.hajda@samsung.com>,
        Bartlomiej Zolnierkiewicz <b.zolnierkie@samsung.com>,
        Marek Szyprowski <m.szyprowski@samsung.com>,
        Michal Marek <mmarek@suse.com>, cocci@systeme.lip6.fr,
        kernel-janitors@vger.kernel.org, LKML <linux-kernel@vger.kernel.org>
From: SF Markus Elfring <elfring@users.sourceforge.net>
X-Enigmail-Draft-Status: N1110
Message-ID: <560938D6.70305@users.sourceforge.net>
Date: Mon, 28 Sep 2015 14:55:50 +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.1509281440320.3108@hadrien>
Content-Type: text/plain; charset=windows-1252
Content-Transfer-Encoding: 7bit
X-Provags-ID: V03:K0:wrPNw9QA7T3qf0lnLtTe6qJFgl9Zg0fS3alKho+k+xEunbJPzbt
 saBRd2gGWuQ4xZlYpvDqG+NzKS76VJ3knbx8pwdIvre5zHuRyCtDf6rSqmMQwzEh5PIAHoL
 JQFjE6nUlII8KopDb2y9LOApEwxnLvCUrdADVwAzbOVDANuNF/XhJZudW7NEH/jT/4xRx3w
 lDWi1NeYSpXeNmAgUFr7w==
X-UI-Out-Filterresults: notjunk:1;V01:K0:pj16yF6FQH0=:KGgG8MYUdTzNrMR4hGahnS
 m62aaI6fUIld23rX7+H1XAB+gW80KjbGhX4kKe3I6M0a+OvpFoAcRq1Ns7pbVBzUaD2IwT9Wn
 G8KFbgOE3vO3TkyRg8Zv2RMc18qw/TtObhttyvjevMa2jVDOELUFY2w8Q41bCKQbFmjiYwnN6
 FkgqmbyArOh+Pgefc+q85lmy/iEC+FG459HzrDC3ZnVomBveauhTPpz9PNxBs4P84wWM2uQfY
 rZtnKCXgCm3/VMzEzsEDjifef7WiF5m8lELBn6OU3bvx066DrWO8/3vtii/ML+zpLsK5t9VBB
 v6XDr/+Gx9c+gnym2q4YO/ubfTQ63qMjrcH68rW6/Lt+LZeQgL5nJFCHslE7zOItzaY8tGCRa
 i6YxSEso/ZibbIoA1aPWyZvOPfWlE9XyYeaFvahlVGTuJweLT6aaype7Z6lumRREqDrVkrGWh
 IabjNx/1Wcua1XvioVI/MfJeJX1PFEAWSQVyr1mrtNfcj8UtJM6XUam0mMTeNiJqwQ/8zEZyD
 cN8NSTWKnqoZO8SaCac9kpCNUUKIzp137f2YFdO4nSSHcGB81aebOnBLItrT8x7h8N4w8PKuX
 G7tbm/h9E269xBkFHiBqkRCG/WDQcQGnoOm8bgUve46HjTJ3HJxT74l2OO4vJibAHhiW0imlv
 731herPSiwPuvrzMbbuWr9UCMRKaLmMRLyp7YIAmqa2ML51vFrV4mLTYFZo5WwbCt671ejaIN
 l/cSPTAjly2V8IDP4crJbzgI/8qap1+JcVehFw==
Sender: linux-kernel-owner@vger.kernel.org
List-ID: <linux-kernel.vger.kernel.org>
X-Mailing-List: linux-kernel@vger.kernel.org

> I guess parallelism would be helpful?
> You could try the following options:
> 
> -j n --chunksize 10 --recursive-includes --include-headers-for-types
> 
> where n is the number of cores that you want to use.

Has the make target "coccicheck" direct support for such special parameters?


> Parsed header files will be cached within chunks.

Can the Coccinelle software work together with a kind of "precompiled
header database"?

Regards,
Markus