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 S1758244AbbIVP2H (ORCPT <rfc822;w@1wt.eu>);
	Tue, 22 Sep 2015 11:28:07 -0400
Received: from mout.web.de ([212.227.15.3]:57598 "EHLO mout.web.de"
	rhost-flags-OK-OK-OK-OK) by vger.kernel.org with ESMTP
	id S1751580AbbIVP2E (ORCPT <rfc822;linux-kernel@vger.kernel.org>);
	Tue, 22 Sep 2015 11:28:04 -0400
Subject: Re: [PATCH v3] coccinelle: tests: unsigned value cannot be lesser
 than zero
To: Andrzej Hajda <a.hajda@samsung.com>
References: <alpine.DEB.2.02.1509180734350.2064@localhost6.localdomain6>
 <1442831864-25759-1-git-send-email-a.hajda@samsung.com>
 <55FFFFF4.4000007@users.sourceforge.net> <56000777.6060208@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>
Message-ID: <56017374.3080402@users.sourceforge.net>
Date: Tue, 22 Sep 2015 17:27:48 +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: <56000777.6060208@samsung.com>
Content-Type: text/plain; charset=iso-8859-15
Content-Transfer-Encoding: 7bit
X-Provags-ID: V03:K0:J1JGW5ZB9gI4QWyVaAMqLH1SJCZGy74h3pkrLGph5+kRYCD1Xu+
 vtaSfomRLJPzav/Vk4ZUAhMXSIM5O92H/We6HxBb6mBHos8h8FHOvUHAGttnGOyjThp3E28
 AQGqW86VYlFt842qXwuZdAKaXAIn7ElHCcTbZ1zKOjiZ6WWcHQYLcdjdgUCzt2YeTNREjpM
 lA5s4YS8+BEzj26dNKU2w==
X-UI-Out-Filterresults: notjunk:1;V01:K0:FBD5T9GsvCg=:N54hJZHqU1LHcyqJJoEroQ
 aSwLe/RS9S8dxSt7HpHZ/itOrNeOsQL7IdZe5j+vXjIUNoa6VUQwayfJ0+lQknxVPNkMD6LnK
 /cvKU6Z4fF5/O2cO7dPIxff3a50MmSE69VYY/eiuQM0z3STQI+jNyLix9UOtwxzKIaI1qlcwn
 FbyuIsIkgf9DpJ1CqjKa/yH6pJq7DkoZo6aiayVEEx7WFED0e8yOqQIZMdQHyzZfe/sphYXw+
 FVbhMnn6d3x8fU6ATe9I0nCfZSYXm68iUTrAnj6KdqBXwN/pJV6+ED3//4VM55RGNo2FwrKFu
 kZ/Nw0JTyyYIfk4nL5x6Av4hmDcUJEUSN8lh+YVQpWhkXcsGQ7Xl8sXp70S7ek+fl+jpim9/k
 AU7jahFVt7/3QhQL+Gfhott2a/9/fHYFxhMONZDgfFOZfW2UmEA8JUZnKUxuUBeDoATCb/TI7
 NaPkUKwKNlwDIxBZq4l0vvfqjq5xpVqRZe4N6cy6b40picxZa2mygXD3Er/4NzXODB3le/e/g
 DLXtnUMrIZNdyPa38DK4I+RTT/DVaK5hthFx27raglr73gz1ZUMcX/0rBIXmg0gwq8z64l12o
 KF3N3bZm5AzzEOHcuBwwk4NMvkMWc46A3OLtUxIuVbmMYWKINHeFqo41mG1KD3iRMOBkg7JIc
 PQiAR01PrKqI82WNuaPpfMacxrMGsQMYuJq5/GbTGWvYl1IscURe0HT7xtM9E1B7eZNXCd1Hz
 MKx7gavvjaML5lJdthqnVEofpufQido19jgTTA==
Sender: linux-kernel-owner@vger.kernel.org
List-ID: <linux-kernel.vger.kernel.org>
X-Mailing-List: linux-kernel@vger.kernel.org

> If you mean adding int to 'unsigned long [long]' types, it does not work.
> For some reason it works only without adding int after long.

Do you get any error message for this SmPL approach?
With which source files do you try the extended SmPL script out?

Regards,
Markus