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 S933992AbbI1Nxa (ORCPT <rfc822;w@1wt.eu>);
	Mon, 28 Sep 2015 09:53:30 -0400
Received: from mout.web.de ([212.227.15.3]:53799 "EHLO mout.web.de"
	rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP
	id S933800AbbI1Nx3 (ORCPT <rfc822;linux-kernel@vger.kernel.org>);
	Mon, 28 Sep 2015 09:53:29 -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>
 <560938D6.70305@users.sourceforge.net>
 <alpine.DEB.2.10.1509281512510.3148@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>
Message-ID: <56094646.2010301@users.sourceforge.net>
Date: Mon, 28 Sep 2015 15:53:10 +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.1509281512510.3148@hadrien>
Content-Type: text/plain; charset=windows-1252
Content-Transfer-Encoding: 7bit
X-Provags-ID: V03:K0:VLnKU4gYJjyrt55U2DmPXP4OxZdN+6+uT+VYtE1yyqSe7zsv0s9
 y6sCp4qV4+ue7JMR61X36qZVXN3Orj/cYmdLrFatWi/3n18ynDULXbfjRxtUGx7T9qgSPCT
 rARCJmPVSJaj1CY1/w+g80JQuIJzeoW3EAbnUv4BqNspvBacNSIL/OwBtOGyi5Tzupi+iaM
 30oIHPhhGB2wM/oNm0pBw==
X-UI-Out-Filterresults: notjunk:1;V01:K0:+ScC/+hLibY=:OfbOOZmUr470KIjduIyPIN
 ensrzRbRQxVJEL1eFLt46E4zwR3H7QP/PtfyDZ1TA1ZwgnvekcezUIsJlPho9Dzll/3T3C/3X
 KckD/UX7wqCIFyGNFoSMsZcDfpq0c5ROOhuLYfnHibLWuwFvDf4adDLpL8cSMKQEzcYbqysjL
 CDeaOuU6WZZGOLoXUc7opJjETBlsDpVnuVOZZtDU/7ScFdCdYmXTqX1GfmcKXYDb0wF5kXIRX
 IiG/Paudig3OUdqPRdzBPWgML5U8FFCUBQLHccuPxf8LmKyylE/IsZhuGpFuqmYUvNgZW7Gbd
 iiaJbNwe29CBnQrmbH8Idu4Y4yAsGYHmbkJpjlLeV6kNzMdwJOn4s7zzZ5jWsbw1qzphahCZQ
 WCnr/6bTq3cmik5hCC0n9wWySnrdyhJdlxJvn8RJpCsictMygIy75zlbzPWcgy76VmCA9qsyJ
 cPjV1GH3GVqswprdRcsdFnVJWraeEx68iwMhP4iwpDQnTHhxRNUCN3CCafndSTDcWF+OYq27+
 Ibz+2cjHStor05d6cF0GBQ2t7C1DVH/B5u5wblY7Wsjrk1/p1hsShUkMUToftdMFaBHABJluI
 lW3/vJmr5l4FrHHA0aRsyX6cxKoo6U8EcbGKA5zxyZCHPU/zlx166/dzAXWadI9BCjz40LAR3
 iblrosb2ehfG2hzu0FolHJ8E6YCNxuSp3vpxwY/q/CYKuRkYHxhUuDJh5GDZg8vOMmpVFDcUv
 +asirO6Eu1AOOLRpOKvcXH8peQGFnArEwMnCNw==
Sender: linux-kernel-owner@vger.kernel.org
List-ID: <linux-kernel.vger.kernel.org>
X-Mailing-List: linux-kernel@vger.kernel.org

>> 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.

I am curious if this situation will be improved by further software evolution.

Regards,
Markus