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 S1753119AbbIOOyA (ORCPT <rfc822;w@1wt.eu>);
	Tue, 15 Sep 2015 10:54:00 -0400
Received: from mout.web.de ([212.227.15.4]:57931 "EHLO mout.web.de"
	rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP
	id S1751882AbbIOOx6 (ORCPT <rfc822;linux-kernel@vger.kernel.org>);
	Tue, 15 Sep 2015 10:53:58 -0400
Subject: Re: [Cocci] [PATCH] coccinelle: tests: unsigned value cannot be
 lesser than zero
To: Julia Lawall <julia.lawall@lip6.fr>
References: <1442309232-5902-1-git-send-email-a.hajda@samsung.com>
 <55F816BC.5050407@users.sourceforge.net> <55F8204D.3080606@samsung.com>
 <55F82D02.5010004@users.sourceforge.net>
 <alpine.DEB.2.10.1509151642200.2537@hadrien>
Cc: Andrzej Hajda <a.hajda@samsung.com>, kernel-janitors@vger.kernel.org,
        Bartlomiej Zolnierkiewicz <b.zolnierkie@samsung.com>,
        linux-kernel@vger.kernel.org, Michal Marek <mmarek@suse.com>,
        Joe Perches <joe@perches.com>, cocci@systeme.lip6.fr
From: SF Markus Elfring <elfring@users.sourceforge.net>
X-Enigmail-Draft-Status: N1110
Message-ID: <55F830F4.5010003@users.sourceforge.net>
Date: Tue, 15 Sep 2015 16:53:40 +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.1509151642200.2537@hadrien>
Content-Type: text/plain; charset=iso-8859-15
Content-Transfer-Encoding: 7bit
X-Provags-ID: V03:K0:+jNYlnUsfx+ZSwUfGCmAO//1kKYwoRA5LjX6kmP7vkThmAaRHyd
 ATMQan7GHiUeJ73Wb8le6OwjMAp4jM1YBUu71cVAjsihJZBoaNLc/YVYNNs0AAPHbsNG/Ae
 NdpKLZnCfwVePEZieQjbwSPvtgZ5Opv8OHEMKT6shnfWVl+SCUCypqNdIGOI32YMrEyIxl+
 477kd+tPwtI3SfoOqxf8A==
X-UI-Out-Filterresults: notjunk:1;V01:K0:LyVAORT7UGU=:vj4WT6vZhqQFe0pFbB2J4Z
 SVNkfUXOHPDtUwG8HpXjk84x4KcbCaZBv1EaQNnv5+SbvWYt6s+Y1Er/di8HJDuVsBnOaSGZB
 Yg01DoUfcSNEJCvSXDoKBmcGLz9q5oZnUw3lIS8AXsBsqxVW5eABXEX7qnZw7RYwZEO3Gnei4
 6xPCQDv5N76ghcIt6Dro+MTiX1/qordo/XuT6ywrSDtAwps0dxYEySon3Ejv9xZxkdScjZoq0
 O3O5pRyvQAKzwmY6yNjY9/1GFrhuBapKcv+jel7Uibje6gwbMXNvMW2iDXI2EzkMF8obZmerP
 jEDTUEP5a7T072URvIwRPMJrpsC9+5kLopAzoFepuqyn3a2+Ph/DwbxVFOh38527hDUIrlqKe
 +VM53ClXU2znMXMHEwC2Usny2oBXs08nC+RHFNGc+Q9VCvTFGH+s6oH8gJ0Th8X6a7gKUIrBj
 ltlJlx5vDvdGLjIcJATLvLTMYGiY0X+buvr9FdrSbEM9EZnnRcmGgJxs64EG8bjylz43o8LY1
 liDcyiUnWLfjqUELG9jDMbH3oWzoqxFzZEz555ZTrhO20bKkrUTh2Yxnk90X8SWPUG9QeMIg4
 i8Cem0jW7TNOjNdsGdjsHKDVV5etv5uPHZSHjEAv2qIFspx758k+N+KSDNlq2pvLqYIkw/NjA
 jCifEcEKzWvcHKppsXdbGo0C06ki7s80y0yCuLtwebcoexPpCRvz1mfCW74ylYiqJLGobs8cE
 tfxrsuaHPU1KzE2ncec8wJ+eIHlZ4AL/T7qdIA==
Sender: linux-kernel-owner@vger.kernel.org
List-ID: <linux-kernel.vger.kernel.org>
X-Mailing-List: linux-kernel@vger.kernel.org

> --recursive-includes is already a parameter.

I am unsure if its effect on source code analysis speed will matter here.


> size_t is also unsigned.

Will such a specification work also without an explicit SmPL typedef?

Regards,
Markus