From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (majordomo@vger.kernel.org) by vger.kernel.org via listexpand id S1757471AbbI1NNx (ORCPT ); Mon, 28 Sep 2015 09:13:53 -0400 Received: from mail2-relais-roc.national.inria.fr ([192.134.164.83]:12942 "EHLO mail2-relais-roc.national.inria.fr" rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP id S1757448AbbI1NNu (ORCPT ); Mon, 28 Sep 2015 09:13:50 -0400 X-IronPort-AV: E=Sophos;i="5.17,602,1437429600"; d="scan'208";a="179758360" Date: Mon, 28 Sep 2015 15:13:48 +0200 (CEST) From: Julia Lawall X-X-Sender: jll@hadrien To: SF Markus Elfring cc: Julia Lawall , Andrzej Hajda , Bartlomiej Zolnierkiewicz , Marek Szyprowski , Michal Marek , cocci@systeme.lip6.fr, kernel-janitors@vger.kernel.org, LKML Subject: Re: [Cocci] [PATCH v2] coccinelle: assign signed result to unsigned variable In-Reply-To: <560938D6.70305@users.sourceforge.net> Message-ID: References: <1443437687-16559-1-git-send-email-a.hajda@samsung.com> <56092D7B.4030106@users.sourceforge.net> <56092E98.9000103@samsung.com> <560930A7.2070400@users.sourceforge.net> <560938D6.70305@users.sourceforge.net> User-Agent: Alpine 2.10 (DEB 1266 2009-07-14) MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII Sender: linux-kernel-owner@vger.kernel.org List-ID: X-Mailing-List: linux-kernel@vger.kernel.org On Mon, 28 Sep 2015, SF Markus Elfring wrote: > > 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"? There is an option --use-cache, which caches the compiled code on the disk. But I have not found the effects to be very satisfactory. It is still necessary to read in the serialized code. julia