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 S1754292AbbIOOhJ (ORCPT <rfc822;w@1wt.eu>);
	Tue, 15 Sep 2015 10:37:09 -0400
Received: from mout.web.de ([212.227.15.14]:49753 "EHLO mout.web.de"
	rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP
	id S1753703AbbIOOhG (ORCPT <rfc822;linux-kernel@vger.kernel.org>);
	Tue, 15 Sep 2015 10:37:06 -0400
Subject: Re: [PATCH] coccinelle: tests: unsigned value cannot be lesser than
 zero
To: Andrzej Hajda <a.hajda@samsung.com>
References: <1442309232-5902-1-git-send-email-a.hajda@samsung.com>
 <55F816BC.5050407@users.sourceforge.net> <55F8204D.3080606@samsung.com>
Cc: Bartlomiej Zolnierkiewicz <b.zolnierkie@samsung.com>,
        Gilles Muller <Gilles.Muller@lip6.fr>, Joe Perches <joe@perches.com>,
        Nicolas Palix <nicolas.palix@imag.fr>, Michal Marek <mmarek@suse.com>,
        linux-kernel@vger.kernel.org, kernel-janitors@vger.kernel.org,
        cocci@systeme.lip6.fr
From: SF Markus Elfring <elfring@users.sourceforge.net>
X-Enigmail-Draft-Status: N1110
Message-ID: <55F82D02.5010004@users.sourceforge.net>
Date: Tue, 15 Sep 2015 16:36: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: <55F8204D.3080606@samsung.com>
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: 7bit
X-Provags-ID: V03:K0:mhIi0yfOJ5i0Iyytrfy6OiQsWH3krb/id4yysXfIZvoJBdlsdbW
 zIZ409XOavWpLq5CrdIRx+bVSYocayMibBQEyJo6y10sSuqQoMHPU4c0llt8TMv8PdvsJ6X
 aWa8T6s9r5bv9LdYKVza+dlqGgWyEkwqHqn2V2FPwRV6ZfBKGTYKpBm7XIovvz9Xj4G+t3O
 sFItwAgH2xXf3Op9R843Q==
X-UI-Out-Filterresults: notjunk:1;V01:K0:jejrl/Ijgz8=:sP7G3cDDh5FNY3L0HHFlna
 vs5FFRL8sqeAWMJo/MfIHtYbY1lS+GbSPT0SzhOwb+O6pEztyJR+Eal+IzfUs6ohe25Y61fC4
 xQM3/KE8VSZj+fnK6yiE2TalHv17H7/f3WtBpKb3MSN3YzPq+HeoHr7G7H2mLVk2S4zGWVEzA
 EWtpS4ZLlgsQFtpDjWkNmV9dtbF6JgtJb+aS34L0CBXyisqAuTP9cnXvhWeHmTQ+Wewhjubx4
 Wsf7beZ9789YAve9p5YWSRxvWXqDcGOVaEykPzl52FU0sC3Og1LEJytW9xIa626g49VtZ8MPb
 L8Z0y+grz0wSl4/pZMs3kGOMc0pLIVyV5KMcw1oFH7k0GALH7XbjgbpjKtMYDvQ2sk2sEhNGq
 pjYUVNz3CRI6jRsl4b9NC5S4kkG8lNW5ZRKBSuA9QVZ7YxrEtexc41hMMGqV75EyoS3Q8n6LZ
 YsFuvrFYrnsvtEFEEzO4Y6tidvRQIu8PRpsWnKtRlvVHvObhBv1iL3Zxj6Fkzd/aNVYkB3Cw9
 rrd0qHTp9t+s02FnxtA3h8TSRLaUdS3B/jQ7AhAHKXkhGpDDN/X9YKDKX9TFI6KhpXuEGTpr5
 cE0lXK6LQX42ai+CKYYsXXkpTwMWnD8sOm4s6KBwsX11Fz3GXhCwIOiujuffdpAoPJRSCchbW
 7rj5UrNaA9oIN/lRYgJMGwI2VphMvjJwgPfzcTTPNriwkoQ6hO6vDbRvr9msNBHJDqeudMaGe
 rJr6PvJCC2iTCdsnzuWwDWplEuCf4vApS9r8XA==
Sender: linux-kernel-owner@vger.kernel.org
List-ID: <linux-kernel.vger.kernel.org>
X-Mailing-List: linux-kernel@vger.kernel.org

> If you think about removing all u* typedefs

I became interested in the use case to consider more type definitions
besides the ones which should usually be handled for Linux source files.


> it will result in omitting u* related comparisons,
> unless you use --recursive-includes option.

How do you think about to make this source code analysis parameter configurable?


>>> +{unsigned char, unsigned short int, unsigned int, unsigned long, unsigned long long, size_t, u8, u16, u32, u64} v;

How does the data type "size_t" fit into the suggested SmPL approach?

Would you like to reuse your approach for checking of more software eventually?

Regards,
Markus